Search Sciweavers | Sciweavers

31387 search results - page 217 / 6278

» Abstracting abstract machines

129

click to vote

CAV
2003
Springer

120views Hardware» more CAV 2003»

Hybrid Acceleration Using Real Vector Automata (Extended Abstract)

15 years 12 months ago

Download www.labri.fr

Bernard Boigelot, Frédéric Herbretea...

claim paper

Read More »

165

click to vote

CAV
2003
Springer

97views Hardware» more CAV 2003»

Iterating Transducers in the Large (Extended Abstract)

15 years 12 months ago

Download www.montefiore.ulg.ac.be

Bernard Boigelot, Axel Legay, Pierre Wolper

claim paper

Read More »

147

click to vote

CAV
2003
Springer

125views Hardware» more CAV 2003»

A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement

15 years 12 months ago

Download www.cs.technion.ac.il

Sharon Shoham, Orna Grumberg

claim paper

Read More »

133

click to vote

CHARME
2003
Springer

68views Hardware» more CHARME 2003»

Predicate Abstraction with Minimum Predicates

15 years 12 months ago

Download www.cs.cmu.edu

Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer St...

claim paper

Read More »

136

click to vote

CP
2003
Springer

98views Artificial Intelligence» more CP 2003»

Control Abstractions for Local Search

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers