1179 search results - page 76 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
146
Voted
HUC
2010
Springer
15 years 3 months ago
2010
Springer
This work presents the design and evaluation of an activity recognition system for seven important motion related activities. The only sensor used is an Inertial Measurement Unit ...
149
Voted
ET
2010
15 years 1 months ago
2010
This work justifies several quantum gate level fault models and discusses the causal error mechanisms thwarting correct function. A quantum adaptation of the classical test set gen...
128
Voted
WSCG
2000
15 years 5 months ago
2000
This paper presents an immersive virtual environment which allows the user to virtually explore and experience special relativity, including phenomena such as Lorentz contraction,...
122
Voted
DEDS
2002
15 years 3 months ago
2002
This article presents an extension to the timed binary Cell-DEVS paradigm. The goal is to allow the modelling of n-dimensional generic cell spaces, including transport or inertial...
145
Voted
FAC
2000
15 years 3 months ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...