Sciweavers

4233 search results - page 13 / 847

» Three Paths to Effectiveness

15

ASPDAC
2009
ACM

120views Hardware» more ASPDAC 2009»

Path selection for monitoring unexpected systematic timing effects

14 years 3 days ago

Path selection for monitoring unexpected systematic timing effects

Download www.aspdac.com

Nicholas Callegari, Pouria Bastani, Li-C. Wang, Sr...

claim paper

Read More »

31

EURODAC
1994
IEEE

110views VHDL» more EURODAC 1994»

An experimental analysis of the effectiveness of the circular self-test path technique

13 years 11 months ago

An experimental analysis of the effectiveness of the circular self-test path technique

Download www.cad.polito.it

Paolo Prinetto, Fulvio Corno, Matteo Sonza Reorda

claim paper

Read More »

21

ITC
1994
IEEE

82views Hardware» more ITC 1994»

Making the Circular Self-Test Path Technique Effective for Real Circuits

13 years 11 months ago

Making the Circular Self-Test Path Technique Effective for Real Circuits

Download www.cad.polito.it

Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda

claim paper

Read More »

12

COLING
1990

74views Computational Linguistics» more COLING 1990»

A Computational Theory of Processing Overload and Garden-Path Effects

13 years 8 months ago

A Computational Theory of Processing Overload and Garden-Path Effects

Download acl.ldc.upenn.edu

Edward Gibson

claim paper

Read More »

23

CONCUR
2004
Springer

98views Distributed And Parallel Com...» more CONCUR 2004»

Model Checking Restricted Sets of Timed Paths

14 years 24 days ago

Model Checking Restricted Sets of Timed Paths

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

« Prev « First page 13 / 847 Last » Next »