10707 search results - page 347 / 2142 » Designing executable abstractions |
128
click to vote
CEEMAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We discuss the application of Model-Based Diagnosis in (agentbased) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It...
155
click to vote
ICA3PP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we evaluate message-passing applications in Grid environments using domain decomposition technique. We compare two domain decomposition strategies: a balan...
150
click to vote
HIPEAC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In transactional memory, aborted transactions reduce performance, and waste computing resources. Ideally, concurrent execution of transactions should be optimally ordered...
145
click to vote
IFL
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. We discuss a new optimisation for recursive functions yielding multiple results in tuples for lazy functional languages, like Clean and Haskell. This optimisation improve...
150
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we describe the OnEQL system, a query engine that implements optimization techniques and evaluation strategies to speed up the evaluation time of querying a...