Search Sciweavers | Sciweavers

99

CAV
2006
Springer

141views Hardware» more CAV 2006»

SMT Techniques for Fast Predicate Abstraction

15 years 3 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 »

58

click to vote

SIGGRAPH
1995
ACM

113views Computer Graphics» more SIGGRAPH 1995»

Automated learning of muscle-actuated locomotion through control abstraction

15 years 3 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 »

85

click to vote

ATVA
2008
Springer

111views Hardware» more ATVA 2008»

Loop Summarization Using Abstract Transformers

15 years 1 months ago

Download verify.inf.unisi.ch

marization using Abstract Transformers Daniel Kr

Daniel Kroening, Natasha Sharygina, Stefano Tonett...

claim paper

Read More »

112

click to vote

ESOP
2008
Springer

75views Programming Languages» more ESOP 2008»

Ranking Abstractions

15 years 1 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 »

68

click to vote

OPODIS
2008

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

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

15 years 1 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