175 search results - page 15 / 35 » Partially Ordered Runs: A Case Study |
AI
2004
Springer
13 years 7 months ago
2004
Springer
Orderings and inference relations can be successfully used to model the behavior of a rational agent. This behavior is indeed represented either by a set of ordered pairs that ref...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
Graphics Processing Units (GPUs) have been growing in popularity due to their impressive processing capabilities, and with general purpose programming languages such as NVIDIA’s...
ESOP
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. We introduce an approach to designing filtering algorithms by derivation from finite automata operating on constraint signatures. We illustrate this approach in two cas...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The group isomorphism problem asks whether two given groups are isomorphic or not. Whereas the case where both groups are abelian is well understood and can be solved eff...
WDAG
2007
Springer
14 years 1 months ago
2007
Springer
We study replacement algorithms for non-uniform access caches that are used in distributed storage systems. Considering access latencies as major costs of data management in such a...