Embedded Systems Engineering
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- 2012
- Published
Elimination of Parallel Copies using Code Motion on Data Dependence Graphs. / Brandner, Florian; Colombet, Quentin.
In: Computer Languages, Systems and Structures, Vol. 39, No. 1, 2012, p. 25–47.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Declarative Specification of Fault Tolerant Auction Protocols: The English Auction Case Study. / Dragoni, Nicola; Gaspari, Mauro.
In: Computational Intelligence, Vol. 28, No. 4, 2012, p. 617-641.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Handover Incentives for Self-Interested WLANs with Overlapping Coverage. / Fafoutis, Xenofon; Siris, Vasilios A.
In: I E E E Transactions on Mobile Computing, Vol. 11, No. 12, 2012, p. 2033-2046.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation. / Harmon, Trevor; Schoeberl, Martin; Kirner, Raimund; Klefstad, Raymond; Kim, Kwang H.; Lowry, Michael R.
In: I E E E Transactions on Industrial Informatics, Vol. 8, No. 2, 2012, p. 366-377.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Worst-case execution time analysis-driven object cache design. / Huber, Benedikt; Puffitsch, Wolfgang; Schoeberl, Martin.
In: Concurrency and Computation: Practice & Experience, Vol. 24, No. 8, 2012, p. 753-771.Publication: Research - peer-review › Journal article – Annual report year: 2011
- Published
Scheduling and Optimization of Fault-Tolerant Embedded Systems with Transparency/Performance Trade-Offs. / Izosimov, Viacheslav; Pop, Paul; Eles, Petru; Peng, Zebo.
In: A C M Transactions on Embedded Computing Systems, Vol. 11, No. 3, 2012, p. Article No. 61.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Power Efficient Division and Square Root Unit. / Liu, Wei; Nannarelli, Alberto.
In: I E E E Transactions on Computers, Vol. 61, No. 8, 2012, p. 1059-1070.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Routing-based synthesis of digital microfluidic biochips. / Maftei, Elena; Pop, Paul; Madsen, Jan.
In: Design Automation for Embedded Systems, Vol. 16, No. 1, 2012, p. 19-44.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Implementing Workflow Reconfiguration in WS-BPEL. / Mazzara, Manuel; Dragoni, Nicola; Zhou, Mu.
In: Journal of Internet Services and Information Security, Vol. 2, No. 1/2, 2012, p. 73-92.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Safety-critical Java with cyclic executives on chip-multiprocessors. / Ravn, Anders P.; Schoeberl, Martin.
In: Concurrency and Computation: Practice & Experience, Vol. 24, No. 8, 2012, p. 772–788.Publication: Research - peer-review › Journal article – Annual report year: 2011