Sciweavers

18 search results - page 1 / 4
» emsoft 2010
Sort
View
EMSOFT
2010
Springer
13 years 8 months ago
Ptera: an event-oriented model of computation for heterogeneous systems
Thomas Huining Feng, Edward A. Lee, Lee W. Shruben
EMSOFT
2010
Springer
13 years 8 months ago
Modeling buffers with data refresh semantics in automotive architectures
Automotive architectures consist of multiple electronic control units (ECUs) which run distributed control applications. Such ECUs are connected to sensors and actuators and commu...
Linh Thi Xuan Phan, Reinhard Schneider, Samarjit C...
EMSOFT
2010
Springer
13 years 8 months ago
Model-based implementation of real-time applications
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
EMSOFT
2010
Springer
13 years 8 months ago
Components, platforms and possibilities: towards generic automation for MDA
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Di...
EMSOFT
2010
Springer
13 years 8 months ago
A marketplace for cloud resources
Cloud computing is an emerging paradigm aimed to offer users pay-per-use computing resources, while leaving the burden of managing the computing infrastructure to the cloud provid...
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, T...