Search Sciweavers | Sciweavers

666 search results - page 1 / 134

» Inspector Methods for State Abstraction

160

Voted

JOT
2007

69views more JOT 2007»

Inspector Methods for State Abstraction

15 years 7 months ago

Download www.jot.fm

Bart Jacobs, Frank Piessens

claim paper

Read More »

165

Voted

ISPA
2004
Springer

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

An Inspector-Executor Algorithm for Irregular Assignment Parallelization

16 years 1 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 »

129

Voted

AAAI
2008

75views Intelligent Agents» more AAAI 2008»

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

15 years 10 months ago

Download www.informatik.uni-freiburg.de

Malte Helmert, Patrik Haslum, Jörg Hoffmann

claim paper

Read More »

151

click to vote

FM
1999
Springer

99views Formal Methods» more FM 1999»

Logspace Reducibility via Abstract State Machines

15 years 12 months ago

Download www.eecs.umich.edu

Erich Grädel, Marc Spielmann

claim paper

Read More »

180

Voted

FM
1998
Springer

155views Formal Methods» more FM 1998»

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

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers