355 search results - page 71 / 71 » Schedule Validation for Embedded Reactive Real-Time Systems |
110
click to vote
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
105
click to vote
CODES
2008
IEEE
15 years 1 months ago
2008
IEEE
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...
ISLPED
2004
ACM
15 years 5 months ago
2004
ACM
Increasing demand for larger high-performance applications requires developing more complex systems with hundreds of processing cores on a single chip. To allow dynamic voltage sc...
SCOPES
2005
Springer
15 years 5 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
100
click to vote
SAMOS
2007
Springer
15 years 5 months ago
2007
Springer
—This paper presents a new methodology based on evolutionary multi-objective optimization (EMO) to synthesize multiple complex modules on programmable devices (FPGAs). It starts ...