Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Antoine Miné, David Delmas |
Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 65-74, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sanjoy K. Baruah |
The federated scheduling of systems of conditional sporadic DAG tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 1-10, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Farley Lai, Daniel Schmidt, Octav Chipara |
Static memory management for efficient mobile sensing applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 187-196, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Baudart, Albert Benveniste, Timothy Bourke |
Loosely time-triggered architectures: improvements and comparisons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 85-94, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh |
Forward invariant cuts to simplify proofs of safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 227-236, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Truong X. Nghiem, Rahul Mangharam |
Scalable scheduling of energy control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 137-146, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adel Dokhanchi, Aditya Zutshi 0001, Rahul T. Sriniva, Sriram Sankaranarayanan 0001, Georgios Fainekos |
Requirements driven falsification with coverage metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 31-40, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Edward A. Lee, Mehrdad Niknami, Thierry S. Nouidui, Michael Wetter |
Modeling and simulating cyber-physical systems using CyPhySim. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 115-124, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Biao Hu 0001, Kai Huang 0001, Gang Chen 0023, Long Cheng 0007, Alois C. Knoll |
Adaptive runtime shaping for mixed-criticality systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 11-20, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Tretter, Jani Boutellier, James Guthrie, Lars Schor, Lothar Thiele |
Executing dataflow actors as kahn processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 105-114, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sejun Kwon, Sang-Hoon Kim, Jin-Soo Kim 0001, Jinkyu Jeong |
Managing gpu buffers for caching more apps in mobile systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 207-216, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Manderscheid, Gereon Weiss, Rudi Knorr |
Verifying network performance of cyber-physical systems with multiple runtime configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 247-255, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Moreno 0002, M. Anwar Hasan, Sebastian Fischmeister |
Exp-HE: a family of fast exponentiation algorithms resistant to SPA, fault, and combined attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 157-166, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Nelson 0001, Kees Goossens |
Distributed power management of real-time applications on a GALS multiprocessor SOC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 147-156, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, Sebastian Fischmeister |
A framework for mining hybrid automata from input/output traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 177-186, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth |
Parametrized dataflow scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 95-104, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alain Girault, Nan Guan (eds.) |
2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![IEEE, 978-1-4673-8079-9 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Miroslav Pajic, Junkil Park, Insup Lee 0001, George J. Pappas, Oleg Sokolsky |
Automatic verification of linear controller software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 217-226, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Renato Mancuso 0001, Andrew V. Louis, Marco Caccamo |
Using traffic phase shifting to improve AFDX link utilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 256-265, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott |
A scalable algebraic method to infer quadratic invariants of switched systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 75-84, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Iegorov, Vincent Leroy 0001, Alexandre Termier, Jean-François Méhaut, Miguel Santana |
Data mining approach to temporal debugging of embedded streaming applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 167-176, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marc Pouzet |
Building a hybrid systems modeler from synchronous language principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 125-126, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lothar Thiele, Pratyush Kumar |
Can real-time systems be chaotic? ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 21-30, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Goran Frehse |
Reachability of hybrid systems in space-time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 41-50, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schrammel |
Unbounded-time reachability analysis of hybrid systems by abstract acceleration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 51-54, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chen Pan, Mimi Xie, Chengmo Yang, Zili Shao, Jingtong Hu |
Nonvolatile main memory aware garbage collection in high-level language virtual machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 197-206, 2015, IEEE, 978-1-4673-8079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Milos Panic, Eduardo Quiñones, Pavel G. Zaykov, Carles Hernández 0001, Jaume Abella 0001, Francisco J. Cazorla |
Parallel many-core avionics systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 26:1-26:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001 |
Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 15:1-15:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan |
Contract-based integration of cyber-physical analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 23:1-23:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Joost-Pieter Katoen, Hao Wu 0013 |
Exponentially timed SADF: Compositional semantics, reductions, and analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 1:1-1:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kan Zhong, Tianzheng Wang 0001, Xiao Zhu, Linbo Long, Duo Liu, Weichen Liu, Zili Shao, Edwin Hsing-Mean Sha |
Building high-performance smartphones via non-volatile memory: The swap approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 30:1-30:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jan C. Kleinsorge, Peter Marwedel |
Computing maximum blocking times with explicit path analysis under non-local flow bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 9:1-9:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Mehdi Zeinali Zadeh, Mahmoud Salem, Neeraj Kumar 0004, Greta Cutulenco, Sebastian Fischmeister |
SiPTA: Signal processing for trace-based anomaly detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 6:1-6:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Raymond |
A general approach for expressing infeasibility in Implicit Path Enumeration Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 8:1-8:9, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Aditya Zutshi 0001, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan 0001, James Kapinski |
Multiple shooting, CEGAR-based falsification for hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 5:1-5:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Nimit Singhania |
Precise piecewise affine models from input-output data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 3:1-3:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Borislav Nikolic, Stefan M. Petters |
EDF as an arbitration policy for wormhole-switched priority-preemptive NoCs - Myth or fact? ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 28:1-28:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zain Alabedin Haj Hammadeh, Sophie Quinton, Rolf Ernst |
Extending typical worst-case analysis using response-time dependencies to bound deadline misses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 10:1-10:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pengcheng Huang, Pratyush Kumar, Georgia Giannopoulou, Lothar Thiele |
Energy efficient DVFS scheduling for mixed-criticality systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 11:1-11:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tulika Mitra, Jan Reineke 0001 (eds.) |
2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![ACM The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pratyush Kumar, Lothar Thiele |
P-YDS algorithm: An optimal extension of YDS algorithm to minimize expected energy for real-time jobs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 12:1-12:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Guangmo Tong, Cong Liu 0005 |
Supporting read/write applications in embedded real-time systems via suspension-aware analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 21:1-21:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Viorel Preoteasa, Stavros Tripakis |
Refinement calculus of reactive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 2:1-2:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Husheng Zhou, Cong Liu 0005 |
Task mapping in heterogeneous embedded systems for fast completion time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 22:1-22:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rayna Dimitrova, Rupak Majumdar |
Deductive control synthesis for alternating-time logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 14:1-14:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David Ferry, Gregory Bunting, Amin Maghareh, Arun Prakash, Shirley Dyke, Kunal Agrawal, Christopher D. Gill, Chenyang Lu 0001 |
Real-time system support for hybrid structural simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 25:1-25:40, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Goessler, Lacramioara Astefanoaei |
Blaming in component-based real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 7:1-7:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Björn Döbel, Hermann Härtig |
Can we put concurrency back into redundant multithreading? ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 19:1-19:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Alhammad, Rodolfo Pellizzoni |
Schedulability analysis of global memory-predictable scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 20:1-20:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jian-Jia Chen, Muhammad Shafique 0001 |
Embedded software reliability for unreliable hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 4:1, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sisu Xi, Meng Xu 0010, Chenyang Lu 0001, Linh T. X. Phan, Christopher D. Gill, Oleg Sokolsky, Insup Lee 0001 |
Real-time multi-core virtual machine scheduling in Xen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 27:1-27:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Garvit Juniwal, Alexandre Donzé, Jeff C. Jensen, Sanjit A. Seshia |
CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 24:1-24:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Young Wn Song, Yann-Hang Lee |
On the existence of probe effect in multi-threaded embedded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 18:1-18:9, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sudipta Chattopadhyay 0001, Petru Eles, Zebo Peng |
Automated software testing of memory performance in embedded GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 17:1-17:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 13:1-13:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre |
Synthesising optimal timing delays for Timed I/O Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 16:1-16:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ethan K. Jackson, Gabor Simko, Janos Sztipanovits |
Diversely enumerating system-level architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 11:1-11:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yeong-Jae Woo, Jin-Soo Kim |
Diversifying wear index for MLC NAND flash memory to extend the lifetime of SSDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 6:1-6:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Ernst, Oleg Sokolsky |
Message from the program co-chairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eleftherios Matsikoudis, Christos Stergiou 0001, Edward A. Lee |
On the schedulability of real-time discrete-event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 12:1-12:15, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dai N. Bui, Edward A. Lee |
StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 20:1-20:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha |
Synthesis of fixed-point programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 22:1-22:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Baldovin, Enrico Mezzetti, Tullio Vardanega |
Limited preemptive scheduling of non-independent task sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 18:1-18:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet |
A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 1:1-1:12, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Duc-Hiep Chu, Joxan Jaffar |
Path-sensitive resource analysis compliant with assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 15:1-15:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Georgia Giannopoulou, Nikolay Stoimenov, Pengcheng Huang, Lothar Thiele |
Scheduling of mixed-criticality applications on resource-sharing multicore systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 17:1-17:15, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Paula Herber, Robert Reicherdt, Patrick Bittner |
Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 8:1-8:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Biswajit Mazumder, Jason O. Hallstrom |
An efficient code update solution for wireless sensor network reprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 4:1-4:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Mover, Alessandro Cimatti, Ashish Tiwari 0001, Stefano Tonetta |
Time-aware relational abstractions for hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 14:1-14:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jan C. Kleinsorge, Heiko Falk, Peter Marwedel |
Simple analysis of partial worst-case execution paths on general control flow graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 16:1-16:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, Shengchao Qin |
Verifying Simulink diagrams via a Hybrid Hoare Logic Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 9:1-9:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pansy Arafa, Hany Kashif, Sebastian Fischmeister |
DIME: Time-aware dynamic binary instrumentation using rate-based resource allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 25:1-25:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pavithra Prabhakar, Jun Liu 0015, Richard M. Murray |
Pre-orders for reasoning about stability properties with respect to input of hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 24:1-24:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Henry Hoffmann, Martina Maggio, Marco D. Santambrogio, Alberto Leva, Anant Agarwal |
A generalized software framework for accurate and efficient management of performance goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 19:1-19:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Ernst, Oleg Sokolsky (eds.) |
Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![IEEE, 978-1-4799-1443-2 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Magnus Persson 0001, Martin Törngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe, Joachim Denil |
A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 10:1-10:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter |
Determinate composition of FMUs for co-simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 2:1-2:12, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Parasara Sridhar Duggirala, Ashish Tiwari 0001 |
Safety verification for linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 7:1-7:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rajiv Nishtala, Daniel Mossé, Vinicius Petrucci |
Energy-aware thread co-location in heterogeneous multicore processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 21:1-21:9, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur |
BPDF: A statically analyzable dataflow model with integer and boolean parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 3:1-3:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001 |
Verification of annotated models from executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 26:1-26:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Abdullah Al-Nayeem, Cheolgi Kim, Woochul Kang, Po-Liang Wu, Lui Sha |
Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 5:1-5:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin |
Stability-aware analysis and design of embedded control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 23:1-23:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss |
On composing and proving the correctness of reactive behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 13:1-13:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kwanghwan Kim, Hojung Cha |
WakeScope: Runtime WakeLock anomaly management scheme for Android platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013, pp. 27:1-27:10, 2013, IEEE, 978-1-4799-1443-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi |
An overview of the career of Paul Caspi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012, pp. 195-196, 2012, ACM, 978-1-4503-1425-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Georgia Giannopoulou, Kai Lampka, Nikolay Stoimenov, Lothar Thiele |
Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012, pp. 63-72, 2012, ACM, 978-1-4503-1425-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Patricia López Cueva, Aurélie Bertaux, Alexandre Termier, Jean-François Méhaut, Miguel Santana |
Debugging embedded multimedia application traces through periodic pattern mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012, pp. 13-22, 2012, ACM, 978-1-4503-1425-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Joost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, Marco Bekooij |
Compositional temporal analysis model for incremental hard real-time system design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012, pp. 185-194, 2012, ACM, 978-1-4503-1425-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar |
Input-output robustness for discrete systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012, pp. 217-226, 2012, ACM, 978-1-4503-1425-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luís Nogueira, Luís Miguel Pinho |
Server-based scheduling of parallel real-time tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012, pp. 73-82, 2012, ACM, 978-1-4503-1425-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paul Dubrulle, Stéphane Louise, Renaud Sirdey, Vincent David |
A low-overhead dedicated execution support for stream applications on shared-memory cmp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012, pp. 143-152, 2012, ACM, 978-1-4503-1425-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yong Fu, Nicholas Kottenstette, Chenyang Lu 0001, Xenofon D. Koutsoukos |
Feedback thermal control of real-time systems on multicore processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012, pp. 113-122, 2012, ACM, 978-1-4503-1425-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu |
Finite automata with time-delay blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012, pp. 43-52, 2012, ACM, 978-1-4503-1425-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alok Lele, Orlando Moreira, Pieter J. L. Cuijpers |
A new data flow analysis model for TDM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012, pp. 237-246, 2012, ACM, 978-1-4503-1425-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Archana Ravindar, Y. N. Srikant |
Estimation of probabilistic bounds on phase CPI and relevance in WCET analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012, pp. 165-174, 2012, ACM, 978-1-4503-1425-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Che-Wei Chang, Jian-Jia Chen, Waqaas Munawar, Tei-Wei Kuo, Heiko Falk |
Partitioned scheduling for real-time tasks on multiprocessor embedded systems with programmable shared srams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012, pp. 153-162, 2012, ACM, 978-1-4503-1425-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla |
Synthesis from incompatible specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012, pp. 53-62, 2012, ACM, 978-1-4503-1425-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gedare Bloom, Gabriel Parmer, Bhagirath Narahari, Rahul Simha |
Shared hardware data structures for hard real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012, pp. 133-142, 2012, ACM, 978-1-4503-1425-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Björn Döbel, Hermann Härtig, Michael Engel |
Operating system support for redundant multithreading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012, pp. 83-92, 2012, ACM, 978-1-4503-1425-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|