378 search results - page 1 / 76 » A framework for interactive analysis of timing constraints i... |
CODES
1996
IEEE
13 years 9 months ago
1996
IEEE
RTSS
2002
IEEE
13 years 10 months ago
2002
IEEE
In addition to real-time requirements, the program code size is a critical design factor for real-time embedded systems. To take advantage of the code size vs. execution time trad...
ECRTS
2006
IEEE
13 years 11 months ago
2006
IEEE
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
EMSOFT
2006
Springer
13 years 7 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
EPIA
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...