861 search results - page 85 / 173 » Information landscapes and the analysis of search algorithms |
104
Voted
NFM
2011
14 years 6 months ago
2011
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
101
click to vote
CORR
2011
Springer
14 years 2 months ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
DOCENG
2009
ACM
15 years 5 months ago
2009
ACM
The representation of information collections needs to be optimized for human cognition. While documents often include rich visual components, collections, including personal coll...
112
click to vote
GECCO
2007
Springer
15 years 24 days ago
2007
Springer
In autonomous agent systems, memory is an important element to handle agent behaviors appropriately. We present the analysis of memory requirements for robotic tasks including wal...