Search Sciweavers | Sciweavers

31387 search results - page 26 / 6278

» Abstracting abstract machines

click to vote

VMCAI
2005
Springer

101views Software Engineering» more VMCAI 2005»

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists

14 years 3 months ago

Download www.cs.tau.ac.il

Roman Manevich, Eran Yahav, Ganesan Ramalingam, Sh...

claim paper

Read More »

click to vote

DSVIS
2003
Springer

112views Human Computer Interaction» more DSVIS 2003»

Canonical Abstract Prototypes for Abstract Visual and Interaction

14 years 3 months ago

Download www.foruse.com

Larry L. Constantine

claim paper

Read More »

click to vote

AMAST
1997
Springer

124views Software Engineering» more AMAST 1997»

Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract)

14 years 2 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

click to vote

HASE
2008
IEEE

146views Control Systems» more HASE 2008»

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions

13 years 11 months ago

Download www.eecs.berkeley.edu

Sumit Kumar Jha, Susmit Jha

posted by susmitjha

Read More »

click to vote

CORR
2004
Springer

81views Education» more CORR 2004»

Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract)

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers