440 search results - page 13 / 88 » A challenge for atomicity verification |
VLSID
2006
IEEE
14 years 1 months ago
2006
IEEE
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
IPPS
2008
IEEE
14 years 1 months ago
2008
IEEE
NAMD† is a portable parallel application for biomolecular simulations. NAMD pioneered the use of hybrid spatial and force decomposition, a technique now used by most scalable pr...
TIP
2008
13 years 7 months ago
2008
Denoising is always a challenging problem in natural imaging and geophysical data processing. In this paper we consider the denoising of texture images using a nonlinear reaction-...
CF
2010
ACM
13 years 5 months ago
2010
ACM
Lock-free data objects offer several advantages over their blocking counterparts, such as being immune to deadlocks and convoying and, more importantly, being highly concurrent. H...