456 search results - page 26 / 92 » The Logical Execution Time Paradigm |
147
click to vote
RTCSA
2008
IEEE
15 years 11 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
147
click to vote
RSP
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
154
Voted
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...
140
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
135
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...