Projekter pr. år
Fingerprint Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 6 Lignende profiler
Object oriented programming
Teknik og materialevidenskab
Wireless local area networks (WLAN)
Teknik og materialevidenskab
Mobile devices
Teknik og materialevidenskab
Wi-Fi
Teknik og materialevidenskab
Location based services
Teknik og materialevidenskab
Global positioning system
Teknik og materialevidenskab
Computer programming languages
Teknik og materialevidenskab
Specifications
Teknik og materialevidenskab
Netværk
Klik på punkterne for at se detaljerne.
Projekter 2003 2019
- 9 Afsluttet
P3: Popular Parallel Programming
Thomsen, B., Thomsen, L. L., Larsen, K. G. & Bøgholm, T.
01/02/2015 → 31/03/2019
Projekter: Projekt › Forskning
InfinIT Embedded Systems Engineering interest group
Thomsen, B. & Madsen, J.
01/07/2014 → 31/12/2018
Projekter: Projekt › Forskning
Euro-TM: Action IC1001: Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM)
10/02/2011 → 09/02/2015
Projekter: Projekt › Forskning
InfinIT Interessegruppen for højniveau sprog til indlejrede systemer
22/04/2009 → 30/06/2014
Projekter: Projekt › Forskning
Publikationer 2003 2018
Analyzing spreadsheets for parallel execution via model checking
Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2018, (Accepteret/In press) Essays on the Occasion of Bernhard Steffen's 60th Birthday. Springer, (Lecture Notes in Computer Science).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Concrete and Abstract Cost Semantics for Spreadsheets
Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., 2018, IT-Universitetet i København. (IT University Technical Report Series, Bind TR-2018-203).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Åben adgang
Fil
Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking
Ravn, A. P., Thomsen, B., Søe Luckow, K., Thomsen, L. L. & Bøgholm, T., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (red.). Cham: Springer, s. 269-288 20 s. (Lecture Notes in Computer Science, Bind 10460).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
HVMTP: A time predictable and portable java virtual machine for hard real-time embedded systems
Luckow, K. S., Thomsen, B. & Korsholm, S., 2017, I : Concurrency and Computation: Practice & Experience. 29, 22, 26 s., e3828.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Assessing Problem-Based Learning in a Software Engineering Curriculum Using Bloom’s Taxonomy and the IEEE Software Engineering Body of Knowledge.
Dolog, P., Thomsen, L. L. & Thomsen, B., maj 2016, I : ACM Transactions on Computing Education. 16, 3, 41 s., 9.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review