Search Sciweavers | Sciweavers

31387 search results - page 251 / 6278

» Abstracting abstract machines

123

click to vote

STOC
1994
ACM

94views Algorithms» more STOC 1994»

Balanced allocations (extended abstract)

15 years 10 months ago

Download www.cs.brown.edu

Yossi Azar, Andrei Z. Broder, Anna R. Karlin, Eli ...

claim paper

Read More »

132

click to vote

UIST
1993
ACM

121views Software Engineering» more UIST 1993»

Animation Support in a User Interface Toolkit: Flexible, Robust, and Reusable Abstractions

15 years 10 months ago

Download www.cc.gatech.edu

Scott E. Hudson, John T. Stasko

claim paper

Read More »

109

click to vote

VLDB
1994
ACM

99views Database» more VLDB 1994»

Materialization: A Powerful and Ubiquitous Abstraction Pattern

15 years 10 months ago

Download www.vldb.org

Alain Pirotte, Esteban Zimányi, David Massa...

claim paper

Read More »

161

click to vote

PLILP
1992
Springer

125views Programming Languages» more PLILP 1992»

Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation

15 years 10 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

135

Voted

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers