Search Sciweavers | Sciweavers

31387 search results - page 320 / 6278

» Abstracts

174

click to vote

AI
2005
Springer

65views Artificial Intelligence» more AI 2005»

Task-dependent qualitative domain abstraction

15 years 6 months ago

Download people.csail.mit.edu

ion M. Sachenbacher a,, P. Struss b aMIT CSAIL, 200 Technology Square, Cambridge, MA 02139, USA bTechnische Universit

Martin Sachenbacher, Peter Struss

claim paper

Read More »

click to vote

SMR
2008

81views more SMR 2008»

An automated approach for abstracting execution logs to execution events

15 years 6 months ago

Download sail.cs.queensu.ca

Zhen Ming Jiang, Ahmed E. Hassan, Gilbert Hamann, ...

claim paper

Read More »

153

click to vote

SPE
2008

83views more SPE 2008»

Conditioned semantic slicing for abstraction; industrial experiment

15 years 6 months ago

Download www.cse.dmu.ac.uk

raction; Industrial Experiment Martin Ward, , Hussein Zedan

Martin P. Ward, Hussein Zedan, Matthias Ladkau, St...

claim paper

Read More »

157

click to vote

TAP
2008
Springer

110views Hardware» more TAP 2008»

Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model

15 years 6 months ago

Download www.pietro.ferrara.name

Pietro Ferrara

claim paper

Read More »

121

click to vote

APAL
2005

79views more APAL 2005»

Abstract State Machines: a unifying view of models of computation and of system design frameworks

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers