Search Sciweavers | Sciweavers

31387 search results - page 232 / 6278

» Abstracting abstract machines

203

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

15 years 11 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

122

click to vote

APL
1999
ACM

64views Software Engineering» more APL 1999»

Regions: an abstraction for expressing array computation

15 years 11 months ago

Download www.cs.uiuc.edu

Bradford L. Chamberlain, E. Christopher Lewis, Cal...

claim paper

Read More »

128

click to vote

GLVLSI
1999
IEEE

74views VLSI» more GLVLSI 1999»

Formal Checking of Properties in Complex Systems Using Abstractions

15 years 11 months ago

Download www.cecs.uci.edu

Dinos Moundanos, Jacob A. Abraham

claim paper

Read More »

146

click to vote

STOC
1999
ACM

105views Algorithms» more STOC 1999»

Algorithmic Mechanism Design (Extended Abstract)

15 years 11 months ago

Download www.cs.cmu.edu

Noam Nisan, Amir Ronen

claim paper

Read More »

193

click to vote

ADL
1999
Springer

112views Digital Library» more ADL 1999»

Adjustable Filmstrips and Skims as Abstractions for a Digital Video Library

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers