5055 search results - page 18 / 1011 » Relative Timing |
177
Voted
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
156
Voted
OTM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Representing and reasoning over evolving objects has been investigated widely. Less attention has been devoted to the similar notion of relation migration, i.e., how tupl...
165
Voted
ECRTS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, event-triggered and time-triggered task sets, which communicate...
159
Voted
TIME
2007
IEEE
16 years 19 days ago
2007
IEEE
Forty-four relations are found between an interval and an interval with a gap ( rIIg ), capturing semantics that are distinct from those of the sets of constituting intervals and ...
154
Voted
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
Tight data- and timing constraints are imposed by communication and multimedia applications. The architecture for the embedded processor imply resource constraints. Instead of ran...