Search Sciweavers | Sciweavers

31387 search results - page 218 / 6278

» Abstracting abstract machines

172

click to vote

CSCLP
2003
Springer

111views Artificial Intelligence» more CSCLP 2003»

Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs

15 years 12 months ago

Download www.math.unipd.it

Stefano Bistarelli, Francesca Rossi, Isabella Pila...

claim paper

Read More »

click to vote

ECOOP
2003
Springer

99views Programming Languages» more ECOOP 2003»

Language Support for Connector Abstractions

15 years 12 months ago

Download archjava.fluid.cs.cmu.edu

Jonathan Aldrich, Vibha Sazawal, Craig Chambers, D...

claim paper

Read More »

136

click to vote

ECOOPW
2003
Springer

92views Distributed And Parallel Com...» more ECOOPW 2003»

Communication Abstractions for Distributed Systems

15 years 12 months ago

Download ti.arc.nasa.gov

Antoine Beugnard, Ludger Fiege, Robert E. Filman, ...

claim paper

Read More »

108

click to vote

EMSOFT
2003
Springer

106views Software Engineering» more EMSOFT 2003»

Eliminating Stack Overflow by Abstract Interpretation

15 years 12 months ago

Download www.cs.utah.edu

act Interpretation John Regehr Alastair Reid Kirk Webb University of Utah

John Regehr, Alastair Reid, Kirk Webb

claim paper

Read More »

159

click to vote

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers