Search Sciweavers | Sciweavers

32

ITP
2010

143views Mathematics» more ITP 2010»

A Certified Denotational Abstract Interpreter

13 years 11 months ago

ied Denotational Abstract Interpreter (Proof Pearl) David Cachera1 and David Pichardie2 1 IRISA / ENS Cachan (Bretagne), France 2 INRIA Rennes

David Cachera, David Pichardie

claim paper

Read More »

31

click to vote

CGF
2008

77views more CGF 2008»

A Screen Space Quality Method for Data Abstraction

13 years 10 months ago

Download webstaff.itn.liu.se

Space Quality Method for Data Abstraction J. Johansson and M. Cooper Norrk

Jimmy Johansson, Matthew Cooper

claim paper

Read More »

25

click to vote

JSYML
2006

61views more JSYML 2006»

Shelah's categoricity conjecture from a successor for tame abstract elementary classes

13 years 9 months ago

Download www.math.cmu.edu

R FOR TAME ABSTRACT ELEMENTARY CLASSES RAMI GROSSBERG AND MONICA VANDIEREN We prove a categoricity transfer theorem for tame abstract elementary classes.

Rami P. Grossberg, Monica Van Dieren

claim paper

Read More »

30

click to vote

CLUSTER
2010
IEEE

116views Distributed And Parallel Com...» more CLUSTER 2010»

Harnessing parallelism in multicore clusters with the All-Pairs, Wavefront, and Makeflow abstractions

13 years 7 months ago

Download www.cse.nd.edu

All-Pairs, Wavefront, and Makeflow Abstractions Li Yu

Li Yu, Christopher Moretti, Andrew Thrasher, Scott...

claim paper

Read More »

18

click to vote

ECAI
2004
Springer

128views Artificial Intelligence» more ECAI 2004»

A Semantics for Abstraction

14 years 3 months ago

Download sra.itc.it

ics for abstraction Chiara Ghidini1 and Fausto Giunchiglia2 Abstract. The goal of this paper is to propose a model-theoretic formalization of abstraction, where abstraction is mode...

Chiara Ghidini, Fausto Giunchiglia

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers