521 search results - page 17 / 105 » Timing Verification Using HDTV |
145
Voted
WSC
1998
15 years 7 months ago
1998
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...
178
Voted
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...
178
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
164
Voted
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
210
Voted
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
The problem of face verification across the short wave infrared spectrum (SWIR) is studied in order to illustrate the advantages and limitations of SWIR face verification. The cont...