4385 search results - page 530 / 877 » Abstraction for Concurrent Objects |
168
click to vote
DATE
2006
IEEE
16 years 25 days ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
192
click to vote
HPCS
2005
IEEE
16 years 11 days ago
2005
IEEE
Abstract— In recent years our society has witnessed an unprecedented growth in computing power available to tackle important problems in science, engineering and medicine. For ex...
176
click to vote
IWANN
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. A spiking neural network modeling the cerebellum is presented. The model, consisting of more than 2000 conductance-based neurons and more than 50 000 synapses, runs in re...
173
click to vote
VSTTE
2005
Springer
16 years 7 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
174
Voted
WDAG
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In software transactional memory (STM) systems, a contention manager resolves conflicts among transactions accessing the same memory locations. Whereas atomicity and ser...