391 search results - page 36 / 79 » Embedded software development on top of transaction-level mo... |
131
click to vote
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...
170
Voted
ISCAPDCS
2008
15 years 5 months ago
2008
This paper introduces a combination of models and proofs for optimal power management via Dynamic Frequency Scaling and Dynamic Voltage Scaling. The approach is suitable for syste...
126
Voted
ACMSE
2004
ACM
15 years 9 months ago
2004
ACM
Although component-based software development has widespread acceptance in the enterprise business and desktop application domains, developers of distributed, real-time and embedd...
127
Voted
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
Complex design, targeting System-on-Chip based on reconfigurable architectures, still lacks a generalized methodology allowing both the automatic derivation of a complete system s...
142
Voted
ECBS
2010
IEEE
15 years 10 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...