Sciweavers

31387 search results - page 3 / 6278

» Abstracts

34

AMAST
1997
Springer

124views Software Engineering» more AMAST 1997»

Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract)

14 years 2 months ago

Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract)

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

25

ICFP
2010
ACM

148views Programming Languages» more ICFP 2010»

Abstracting abstract machines

13 years 11 months ago

Abstracting abstract machines

Download www.ccs.neu.edu

David Van Horn, Matthew Might

claim paper

Read More »

31

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

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

Download www.eecs.berkeley.edu

Sumit Kumar Jha, Susmit Jha

posted by susmitjha

Read More »

29

JUCS
2008

182views more JUCS 2008»

The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering

13 years 9 months ago

The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering

Download www.jucs.org

Martin Ouimet, Kristina Lundqvist

claim paper

Read More »

21

CORR
2004
Springer

81views Education» more CORR 2004»

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

13 years 9 months ago

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

Download www.cs.unipr.it

Roberto Bagnara, Patricia M. Hill, Elena Mazzi, En...

claim paper

Read More »

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