Search Sciweavers | Sciweavers

31387 search results - page 203 / 6278

» Abstracting abstract machines

160

click to vote

VMCAI
2005
Springer

108views Software Engineering» more VMCAI 2005»

Automata as Abstractions

16 years 2 days ago

Download www.dsi.unive.it

Dennis Dams, Kedar S. Namjoshi

claim paper

Read More »

165

click to vote

VMCAI
2005
Springer

115views Software Engineering» more VMCAI 2005»

The Arithmetic-Geometric Progression Abstract Domain

16 years 2 days ago

Download www.di.ens.fr

Domain VMCAI 2005 Jérôme Feret Laboratoire d’Informatique de l’École Normale Supérieure INRIA, ÉNS, CNRS ØØÔ »»ÛÛÛº º Ò×º Ö»∼ Ö Ø December, 2008.

Jérôme Feret

claim paper

Read More »

142

click to vote

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

16 years 2 days ago

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

134

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

16 years 2 days ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

138

click to vote

AUSAI
2005
Springer

87views Artificial Intelligence» more AUSAI 2005»

Structural Abstraction Experiments in Reinforcement Learning

16 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers