355 search results - page 71 / 71 » Schedule Validation for Embedded Reactive Real-Time Systems |
192
Voted
RTSS
2007
IEEE
16 years 19 days 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...
198
Voted
CODES
2008
IEEE
15 years 8 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...
159
Voted
ISLPED
2004
ACM
15 years 11 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...
159
Voted
SCOPES
2005
Springer
15 years 12 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...
163
Voted
SAMOS
2007
Springer
16 years 14 days 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 ...