1179 search results - page 47 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
136
Voted
HYBRID
1995
Springer
15 years 7 months ago
1995
Springer
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
121
Voted
GLVLSI
2006
IEEE
15 years 9 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
144
Voted
RTSS
1990
IEEE
15 years 7 months ago
1990
IEEE
Time-critical scheduling in real-time database systems has two components: real-time transaction scheduling,which is related to task scheduling in realtime operating systems, and ...
132
Voted
JAISE
2010
14 years 10 months ago
2010
The design and development of active RFID tag systems requires several iterations, and thorough testing in order to ensure that the prototype systems behave as intended. Facilitati...
121
click to vote
HASE
1998
IEEE
15 years 7 months ago
1998
IEEE
In safety-critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the ...