1925 search results - page 148 / 385 » Incremental test collections |
186
click to vote
PODC
2005
ACM
16 years 18 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 ...
166
click to vote
GECCO
2005
Springer
16 years 17 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 ...
199
click to vote
ICSOC
2005
Springer
16 years 17 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...
204
Voted
MIRRORBOT
2005
Springer
16 years 16 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...
206
click to vote
CHARME
2003
Springer
16 years 8 days 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...