444 search results - page 55 / 89 » Model Based Synthesis of Embedded Software |
122
click to vote
ENTCS
2006
15 years 1 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
134
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
143
click to vote
CODES
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper describes PowerBooter, an automated power model construction technique that uses built-in battery voltage sensors and knowledge of battery discharge behavior to monitor...
112
Voted
EMSOFT
2010
Springer
14 years 12 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
133
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compil...