Search Sciweavers | Sciweavers

25

AAAI
2004

93views Intelligent Agents» more AAAI 2004»

Branching and Pruning: An Optimal Temporal POCL Planner Based on Constraint Programming

13 years 9 months ago

A key feature of modern optimal planners such as Graphplan and Blackbox is their ability to prune large parts of the search space. Previous Partial Order Causal Link (POCL) planne...

Vincent Vidal, Hector Geffner

claim paper

Read More »

25

click to vote

ISCI
2008

137views more ISCI 2008»

Inference of differential equation models by genetic programming

13 years 7 months ago

Download www.cs.bham.ac.uk

This paper describes an evolutionary method for identifying a causal model from the observed time series data. We use a system of ordinary differential equations (ODEs) as the cau...

Hitoshi Iba

claim paper

Read More »

29

click to vote

ISCA
2000
IEEE

111views Hardware» more ISCA 2000»

Understanding the backward slices of performance degrading instructions

14 years 2 days ago

Download www.ece.lsu.edu

For many applications, branch mispredictions and cache misses limit a processor’s performance to a level well below its peak instruction throughput. A small fraction of static i...

Craig B. Zilles, Gurindar S. Sohi

claim paper

Read More »

23

click to vote

SCP
2010

108views more SCP 2010»

Combining dynamic and static slicing for analysing assembler

13 years 6 months ago

Download www.cse.dmu.ac.uk

One of the most challenging tasks a programmer can face is attempting to analyse and understand a legacy assembler system. Many features of assembler make analysis diﬃcult, and ...

Martin P. Ward, Hussein Zedan

claim paper

Read More »

15

click to vote

CASES
2004
ACM

115views System Software» more CASES 2004»

Causality analysis of synchronous programs with delayed actions

14 years 1 months ago

Download rsg.informatik.uni-kl.de

Klaus Schneider, Jens Brandt, Tobias Schüle

claim paper