Search Sciweavers | Sciweavers

32

CAV
2006
Springer

141views Hardware» more CAV 2006»

SMT Techniques for Fast Predicate Abstraction

14 years 1 months ago

niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...

Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oli...

claim paper

Read More »

22

click to vote

SIGGRAPH
1995
ACM

113views Computer Graphics» more SIGGRAPH 1995»

Automated learning of muscle-actuated locomotion through control abstraction

14 years 1 months ago

Download www.cs.ucla.edu

Control Abstraction Radek Grzeszczuk and Demetri Terzopoulos Department of Computer Science, University of Toronto 1

Radek Grzeszczuk, Demetri Terzopoulos

claim paper

Read More »

23

click to vote

ATVA
2008
Springer

111views Hardware» more ATVA 2008»

Loop Summarization Using Abstract Transformers

13 years 11 months ago

Download verify.inf.unisi.ch

marization using Abstract Transformers Daniel Kr

Daniel Kroening, Natasha Sharygina, Stefano Tonett...

claim paper

Read More »

27

click to vote

ESOP
2008
Springer

75views Programming Languages» more ESOP 2008»

Ranking Abstractions

13 years 11 months ago

Download www.cs.tau.ac.il

Abstractions Aziem Chawdhary1 , Byron Cook2 , Sumit Gulwani2 , Mooly Sagiv3 , and Hongseok Yang1 1 Queen Mary, University of London 2 Microsoft Research 3 Tel Aviv University Abstr...

Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly ...

claim paper

Read More »

24

click to vote

OPODIS
2008

96views Distributed And Parallel Com...» more OPODIS 2008»

Geo-registers: An Abstraction for Spatial-Based Distributed Computing

13 years 11 months ago

Download homepages.laas.fr

sters : an abstraction for spatial-based distributed computing Matthieu Roy1 , Fran

Matthieu Roy, François Bonnet, Leonardo Que...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers