1925 search results - page 148 / 385 » Incremental test collections |
162
click to vote
PODC
2005
ACM
16 years 3 days ago
2005
ACM
The obstruction-free Dynamic Software Transactional Memory (DSTM) system of Herlihy et al. allows only one transaction at a time to acquire an object for writing. Should a second ...
148
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
The size and complexity of systems based on multiple processing units demand techniques for the automatic diagnosis of their state. System-level diagnosis consists in determining ...
184
click to vote
ICSOC
2005
Springer
16 years 2 days ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
185
click to vote
MIRRORBOT
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. A biologically inspired computational model of rodent representation–based (locale) navigation is presented. The model combines visual input in the form of realistic tw...
182
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...