165 search results - page 9 / 33 » Types for atomicity |
80
Voted
CPHYSICS
2007
14 years 9 months ago
2007
The adsorption of mixtures of alkyl thiol surfactants on the Au(111) surface as well as on icosahedral gold nanocrystals (NCs) was investigated by molecular simulation. We compare...
107
click to vote
SIGSOFT
2006
ACM
15 years 3 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
CPHYSICS
2010
14 years 9 months ago
2010
We propose a new method for the numerical evaluation of the spherical Bessel transform. A formula is derived for the transform by using an integral representation of the spherical...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
163
click to vote
ISSTA
2012
ACM
12 years 12 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...