246 search results - page 3 / 50 » A Process Algebra for Real-Time Programs |
104
Voted
ICCD
1992
IEEE
15 years 5 months ago
1992
IEEE
This paper presents a data- ow computer, constituted of a large array of data- ow processors and programmed using a functional language, and its application to realtime image proc...
123
Voted
RTSS
2008
IEEE
15 years 7 months ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
117
Voted
MVA
1992
15 years 2 months ago
1992
The development of a real time image processing on a specific architecture is always restricting for the user who must master all the elementary mechanisms of the machine. Such sp...
117
Voted
FORMATS
2009
Springer
15 years 7 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
128
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...