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 7 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

14 years 24 days 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 9 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 11 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 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers