1715 search results - page 57 / 343 » Embedded Systems and Real-Time Programming |
104
click to vote
LATA
2010
Springer
15 years 11 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
106
click to vote
EUROMICRO
2009
IEEE
15 years 5 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
100
click to vote
RTAS
1996
IEEE
15 years 5 months ago
1996
IEEE
Communication between current military real-time systems and future interconnection of general purpose, embedded real-time systems will often require wireless communications. Howe...
100
click to vote
ICTAC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
118
click to vote
FASE
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...