Sciweavers

5525 search results - page 100 / 1105

» Verification of Model Transformations

140

APN
2010
Springer

148views Artificial Intelligence» more APN 2010»

The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification

15 years 11 months ago

The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification

Download www-lipn.univ-paris13.fr

Christine Choppy, Anna Dedova, Sami Evangelista, S...

claim paper

Read More »

121

ICCAD
2000
IEEE

55views Hardware» more ICCAD 2000»

Verification of Delta-Sigma Converters Using Adaptive Regression Modeling

15 years 10 months ago

Verification of Delta-Sigma Converters Using Adaptive Regression Modeling

Download www.cecs.uci.edu

Jeongjin Roh, Suresh Seshadri, Jacob A. Abraham

claim paper

Read More »

111

CAV
1999
Springer

85views Hardware» more CAV 1999»

Java Bytecode Verification by Model Checking

15 years 10 months ago

Java Bytecode Verification by Model Checking

Download www.vs.inf.ethz.ch

David A. Basin, Stefan Friedrich, Joachim Posegga,...

claim paper

Read More »

134

ISMVL
1994
IEEE

98views Hardware» more ISMVL 1994»

Digital Circuit Verification Using Partially-Ordered State Models

15 years 10 months ago

Digital Circuit Verification Using Partially-Ordered State Models

Download www.cs.cmu.edu

Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over "weakened" state values. This technique has long been practice...

Carl-Johan H. Seger, Randal E. Bryant

claim paper

Read More »

133

DAC
1990
ACM

86views Computer Architecture» more DAC 1990»

Sequential Circuit Verification Using Symbolic Model Checking

15 years 10 months ago

Sequential Circuit Verification Using Symbolic Model Checking

Download www.cadence.com

Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMil...

claim paper

Read More »

« Prev « First page 100 / 1105 Last » Next »