2145 search results - page 13 / 429 » Architectural Specifications in CASL |
EMSOFT
2010
Springer
13 years 5 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Recent evidences indicate that most faults in software systems are found in only a few of a system's components [1]. The early identification of these components allows an or...
ARVLSI
1999
IEEE
13 years 11 months ago
1999
IEEE
Application-specific processor design is a promising approach for meeting the performance and cost goals of a system. Application-specific processors are especially promising for ...
EUROMICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
EUROMICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
