Search Sciweavers | Sciweavers

31387 search results - page 344 / 6278

» Abstracting abstract machines

175

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 »

155

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 »

154

click to vote

TCOS
2008

93views Computer Science» more TCOS 2008»

Toward a Generic Mathematical Model of Abstract Game Theories

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers