3616 search results - page 240 / 724 » Conditional Memory Ordering |
163
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
We consider two-player games which are played on a finite state space for an infinite number of rounds. The games are concurrent, that is, in each round, the two players choose ...
178
click to vote
CP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
210
click to vote
AROBOTS
2007
15 years 6 months ago
2007
— A central goal of robotics and AI is to be able to deploy an agent to act autonomously in the real world over an extended period of time. To operate in the real world, autonomo...
169
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We study two-player games of infinite duration that are played on finite or infinite game graphs. A winning strategy for such a game is positional if it only depends on the current...
179
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The identification of biologically interesting genes in a temporal expression profiling dataset is challenging and complicated by high levels of experimental noise. Mo...