632 search results - page 35 / 127 » Performance Engineering for Industrial Embedded Data-Process... |
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
98
Voted
LCTRTS
2009
Springer
15 years 7 months ago
2009
Springer
Embedded systems, like general-purpose systems, can benefit from parallel execution on a symmetric multicore platform. Unfortunately, concurrency issues present in general-purpos...
115
click to vote
CODES
2005
IEEE
15 years 6 months ago
2005
IEEE
Memory is a scarce resource in many embedded systems. Increasing memory often increases packaging and cooling costs, size, and energy consumption. This paper presents CRAMES, an e...
95
Voted
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents a methodology to combine Transaction Level Modeling and System/Network co-simulation for the design of networked embedded systems. As a result, a new design di...