Sciweavers

31387 search results - page 172 / 6278

» Abstracts

158

CAV
2004
Springer

89views Hardware» more CAV 2004»

Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors

15 years 12 months ago

Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors

Download www.cs.cmu.edu

Amit Goel, Randal E. Bryant

claim paper

Read More »

136

CMSB
2004
Springer

104views Applied Computing» more CMSB 2004»

The Biochemical Abstract Machine BIOCHAM

15 years 12 months ago

The Biochemical Abstract Machine BIOCHAM

Download hal.archives-ouvertes.fr

Nathalie Chabrier-Rivier, François Fages, S...

claim paper

Read More »

112

CSL
2004
Springer

95views Automated Reasoning» more CSL 2004»

Proving Abstract Non-interference

15 years 12 months ago

Proving Abstract Non-interference

Download profs.sci.univr.it

Roberto Giacobazzi, Isabella Mastroeni

claim paper

Read More »

100

ECAI
2004
Springer

97views Artificial Intelligence» more ECAI 2004»

Contextualized Abstraction for Assertion-Level Theorem Proving

15 years 12 months ago

Contextualized Abstraction for Assertion-Level Theorem Proving

Download www.ict.swin.edu.au

Quoc Bao Vo

claim paper

Read More »

147

ESOP
2004
Springer

97views Programming Languages» more ESOP 2004»

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

15 years 12 months ago

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

« Prev « First page 172 / 6278 Last » Next »