Sciweavers

144227 search results - page 31 / 28846

» Using the

26

DAC
1999
ACM

129views Computer Architecture» more DAC 1999»

Proptest: A Property Based Test Pattern Generator for Sequential Circuits Using Test Compaction

14 years 10 months ago

Proptest: A Property Based Test Pattern Generator for Sequential Circuits Using Test Compaction

Download computing.ece.vt.edu

Ruifeng Guo, Sudhakar M. Reddy, Irith Pomeranz

claim paper

Read More »

24

CAV
2009
Springer

126views Hardware» more CAV 2009»

Reachability Analysis of Hybrid Systems Using Support Functions

14 years 10 months ago

Reachability Analysis of Hybrid Systems Using Support Functions

Download www-verimag.imag.fr

Colas Le Guernic, Antoine Girard

claim paper

Read More »

16

SIGMOD
2004
ACM

102views Database» more SIGMOD 2004»

Adaptive Stream Resource Management Using Kalman Filters

14 years 10 months ago

Adaptive Stream Resource Management Using Kalman Filters

Download excelsior.cs.ucsb.edu

Ankur Jain, Edward Y. Chang, Yuan-Fang Wang

claim paper

Read More »

25

PODS
2002
ACM

125views Database» more PODS 2002»

Answering Queries Using Views with Arithmetic Comparisons

14 years 10 months ago

Answering Queries Using Views with Arithmetic Comparisons

Download www-db.ics.uci.edu

Foto N. Afrati, Chen Li, Prasenjit Mitra

claim paper

Read More »

16

ICSE
2007
IEEE-ACM

88views Software Engineering» more ICSE 2007»

Reliability Analysis of Concurrent Systems Using LTSA

14 years 10 months ago

Reliability Analysis of Concurrent Systems Using LTSA

Download eprints.ucl.ac.uk

Genaína Nunes Rodrigues, David S. Rosenblum...

claim paper

Read More »

« Prev « First page 31 / 28846 Last » Next »