1179 search results - page 9 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
128
click to vote
ENTCS
2002
15 years 5 months ago
2002
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
158
Voted
RSP
2003
IEEE
15 years 10 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
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
153
Voted
FTCS
1998
15 years 6 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
148
Voted
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
The architectural study of wireless communication systems typically requires simulations with high-level models for different analog and RF blocks. Among these blocks, frequency-t...