128 search results - page 18 / 26 » Atomizer: a dynamic atomicity checker for multithreaded prog... |
109
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information ...
79
Voted
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...
97
Voted
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
106
Voted
ICS
2009
Tsinghua U.
15 years 6 months ago
2009
Tsinghua U.
Molecular Dynamics applications enhance our understanding of biological phenomena through bio-molecular simulations. Large-scale parallelization of MD simulations is challenging b...
FAC
2008
14 years 11 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...