default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10. EMSOFT 2010: Scottsdale, Arizona, USA
- Luca P. Carloni, Stavros Tripakis:
Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010. ACM 2010, ISBN 978-1-60558-904-6 - Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies
, Damien Zufferey:
A marketplace for cloud resources. 1-8
Verification & synthesis
- Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada:
Automatic verification of control system implementations. 9-18 - Ankur Taly, Ashish Tiwari:
Switching logic synthesis for reachability. 19-28 - Joseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits:
Online stability validation using sector analysis. 29-38 - Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen:
Components, platforms and possibilities: towards generic automation for MDA. 39-48
Applications & tools
- Yongjin Cho, Seungkyun Kim, Jaejin Lee, Heonshik Shin:
Parallelizing the H.264 decoder on the cell BE architecture. 49-58 - Hui Wu, Jingling Xue, Sridevan Parameswaran:
Optimal WCET-aware code selection for scratchpad memory. 59-68 - Padma Iyenghar, Clemens Westerkamp, Juergen Wuebbelmann, Elke Pulvermüller:
A model based approach for debugging embedded systems in real-time. 69-78 - Kevin Marquet, Matthieu Moy:
PinaVM: a systemC front-end based on an executable intermediate representation. 79-88
Scheduling & optimization
- Jinkyu Lee, Insik Shin, Arvind Easwaran:
Online robust optimization framework for QoS guarantees in distributed soft real-time systems. 89-98 - Haohan Li, Sanjoy K. Baruah:
Load-based schedulability analysis of certifiable mixed-criticality systems. 99-108 - Gang Yao, Giorgio C. Buttazzo:
Reducing stack with intra-task threshold priorities in real-time systems. 109-118
Automotive & wireless sensor networks
- Linh Thi Xuan Phan, Reinhard Schneider, Samarjit Chakraborty, Insup Lee:
Modeling buffers with data refresh semantics in automotive architectures. 119-128 - A. C. Rajeev, Swarup Mohalik, Manoj G. Dixit, Devesh B. Chokshi, S. Ramesh:
Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation. 129-138 - Min-Hua Chen, Pai H. Chou:
TeleScribe: a scalable, resumable wireless reprogramming approach. 139-148 - Jiwon Hahn, Pai H. Chou:
Nucleos: a runtime system for ultra-compact wireless sensor nodes. 149-158
Flash memory
- Kwangyoon Cho, Kyoung-Soo We, Chang-Gun Lee, Kanghee Kim:
Using NAND flash memory for executing large volume real-time programs in automotive embedded systems. 159-168 - Hunki Kwon, Eunsam Kim, Jongmoo Choi, Donghee Lee, Sam H. Noh:
Janus-FTL: finding the optimal point on the spectrum between page and block mapping schemes. 169-178 - Yuan-Hao Chang, Tei-Wei Kuo:
A reliable MTD design for MLC flash-memory storage systems. 179-188
Distribution & event graphs
- Albert Benveniste, Anne Bouillard, Paul Caspi:
A unifying view of loosely time-triggered architectures. 189-198 - Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister:
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures. 199-208 - Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis:
From high-level component-based models to distributed implementations. 209-218 - Thomas Huining Feng, Edward A. Lee, Lee W. Shruben:
Ptera: an event-oriented model of computation for heterogeneous systems. 219-228
Model-based design & patterns
- Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis:
Model-based implementation of real-time applications. 229-238 - Christian Buckl, Irina Gaponova, Michael Geisinger, Alois C. Knoll, Edward A. Lee:
Model-based specification of timing requirements. 239-248 - Sally K. Wahba, Jason O. Hallstrom, Neelam Soundarajan:
Initiating a design pattern catalog for embedded network systems. 249-258
Scheduling & control
- Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova:
Power-aware temporal isolation with variable-bandwidth servers. 259-268 - Nikolay Stoimenov, Lothar Thiele, Luca Santinelli, Giorgio C. Buttazzo:
Resource adaptations with servers for hard real-time systems. 269-278 - Luca Santinelli, Mauro Marinoni, Francesco Prosperi, Francesco Esposito, Gianluca Franchino, Giorgio C. Buttazzo:
Energy-aware packet and task co-scheduling for embedded systems. 279-288 - Tushar Kumar, Romain Cledat, Santosh Pande:
Dynamic tuning of feature set in highly variant interactive applications. 289-298
Tutorials
- Samarjit Chakraborty, S. Ramesh, Jürgen Teich:
Model-based analysis, synthesis and testing of automotive hardware/software architectures. 299-300 - Holger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans:
Quantitative system validation in model driven design. 301-302
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-18 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
