918 search results - page 36 / 184 » Speculative Issue Logic |
165
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
We extend the alternating-time temporal logics ATL and ATL with strategy contexts and memory constraints: the first extension makes strategy quantifiers to not “forget” the s...
138
click to vote
IPPS
2007
IEEE
16 years 9 days ago
2007
IEEE
Recent advancements in FPGA technology have allowed manufacturers to place general-purpose processors alongside user-configurable logic gates on a single chip. At first glance, ...
135
click to vote
AAAI
2007
15 years 8 months ago
2007
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...
176
click to vote
AMAI
2004
Springer
15 years 5 months ago
2004
Springer
We introduce the notion of combinatorial vote, where a group of agents (or voters) is supposed to express preferences and come to a common decision concerning a set of non-independ...
178
click to vote
ICCD
2006
IEEE
16 years 2 months ago
2006
IEEE
Pointer bugs associated with dynamically-allocated objects resulting in out-of-bounds memory access are an important class of software bugs. Because such bugs cannot be detected e...