4679 search results - page 275 / 936 » The Timely Computing Base Model and Architecture |
183
click to vote
VLSID
1999
IEEE
15 years 11 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
184
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Modern distributed industrial control systems need improvements in their dependability. In this paper we study the dependability of a fault tolerant distributed industrial control ...
180
click to vote
ASM
2005
ASM
16 years 5 days ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
175
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
212
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
A fundamental issue in differential motion analysis is the compromise between the flexibility of the matching criterion for image regions and the ability of recovering the motion....