Sciweavers

855 search results - page 29 / 171
» A Software Synthesis Tool for Distributed Embedded System De...
Sort
View
ARCS
2010
Springer
15 years 5 months ago
A Hierarchical Distributed Control for Power and Performances Optimization of Embedded Systems
Power and resource management are key goals for the success of modern battery-supplied multimedia devices. This kind of devices are usually based on SoCs with a wide range of subsy...
Patrick Bellasi, William Fornaciari, David Siorpae...
EMSOFT
2007
Springer
15 years 8 months ago
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
Edward A. Lee, Haiyang Zheng
PFE
2001
Springer
15 years 6 months ago
Introducing Product Lines in Small Embedded Systems
: How do you introduce product lines into a hardware dominated organization that has increasing software architecture awareness and products with extremely limited memory resources...
Christoph Stoermer, Markus Roeddiger
128
Voted
HASE
2007
IEEE
15 years 5 months ago
Validation Support for Distributed Real-Time Embedded Systems in VDM++
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen...
COMPUTER
2006
160views more  COMPUTER 2006»
15 years 1 months ago
Developing Applications Using Model-Driven Design Environments
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...
Krishnakumar Balasubramanian, Aniruddha S. Gokhale...