Search Sciweavers | Sciweavers

21430 search results - page 36 / 4286

» Abstract Effective Models

166

click to vote

FPCA
1995

110views Programming Languages» more FPCA 1995»

Abstract Models of Memory Management

15 years 9 months ago

Download www.cs.cmu.edu

Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...

J. Gregory Morrisett, Matthias Felleisen, Robert H...

claim paper

Read More »

124

click to vote

EACL
2009
ACL Anthology

93views Natural Language Processing» more EACL 2009»

A General, Abstract Model of Incremental Dialogue Processing

16 years 6 months ago

Download www.aclweb.org

David Schlangen, Gabriel Skantze

claim paper

Read More »

131

click to vote

CGO
2009
IEEE

117views Software Engineering» more CGO 2009»

A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models

16 years 22 days ago

Download ls12-www.cs.tu-dortmund.de

Daniel Cordes, Heiko Falk, Peter Marwedel

claim paper

Read More »

115

click to vote

FM
2009
Springer

90views Formal Methods» more FM 2009»

Fair Model Checking with Process Counter Abstraction

16 years 14 days ago

Download www.comp.nus.edu.sg

Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...

claim paper

Read More »

140

click to vote

ICFEM
2009
Springer

94views Software Engineering» more ICFEM 2009»

RAFFS: Model Checking a Robust Abstract Flash File Store

16 years 14 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers