Sciweavers

4233 search results - page 13 / 847
» Three Paths to Effectiveness
Sort
View
ASPDAC
2009
ACM
120views Hardware» more  ASPDAC 2009»
15 years 2 months ago
Path selection for monitoring unexpected systematic timing effects
Nicholas Callegari, Pouria Bastani, Li-C. Wang, Sr...
EURODAC
1994
IEEE
110views VHDL» more  EURODAC 1994»
15 years 1 months ago
An experimental analysis of the effectiveness of the circular self-test path technique
Paolo Prinetto, Fulvio Corno, Matteo Sonza Reorda
ITC
1994
IEEE
82views Hardware» more  ITC 1994»
15 years 1 months ago
Making the Circular Self-Test Path Technique Effective for Real Circuits
Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
CONCUR
2004
Springer
15 years 3 months ago
Model Checking Restricted Sets of Timed Paths
In this paper, we study the complexity of model-checking formulas of three important real-time logics (MTL, MITL, and TCTL) over restricted sets of timed paths. The classes of rest...
Nicolas Markey, Jean-François Raskin