Search Sciweavers | Sciweavers

666 search results - page 1 / 134

» Inspector Methods for State Abstraction

click to vote

JOT
2007

69views more JOT 2007»

Inspector Methods for State Abstraction

13 years 5 months ago

Download www.jot.fm

Bart Jacobs, Frank Piessens

claim paper

Read More »

click to vote

ISPA
2004
Springer

123views Distributed And Parallel Com...» more ISPA 2004»

An Inspector-Executor Algorithm for Irregular Assignment Parallelization

13 years 10 months ago

Download www.des.udc.es

Abstract. A loop with irregular assignment computations contains loopcarried output data dependences that can only be detected at run-time. In this paper, a load-balanced method ba...

Manuel Arenaz, Juan Touriño, Ramon Doallo

claim paper

Read More »

click to vote

AAAI
2008

75views Intelligent Agents» more AAAI 2008»

Explicit-State Abstraction: A New Method for Generating Heuristic Functions

13 years 7 months ago

Download www.informatik.uni-freiburg.de

Malte Helmert, Patrik Haslum, Jörg Hoffmann

claim paper

Read More »

click to vote

FM
1999
Springer

99views Formal Methods» more FM 1999»

Logspace Reducibility via Abstract State Machines

13 years 9 months ago

Download www.eecs.umich.edu

Erich Grädel, Marc Spielmann

claim paper

Read More »

click to vote

FM
1998
Springer

155views Formal Methods» more FM 1998»

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers