2019 search results - page 224 / 404 » Programming with Shared Data Abstractions |
151
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
153
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: The increasing availability of molecular sequence data means that the accuracy of future phylogenetic studies is likely to by limited by systematic bias and taxon choi...
102
Voted
BROADNETS
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— We explore network design principles for nextgeneration all-optical wide-area networks, employing light-trail technology. Light-trail [1] is a light-wave circuit that a...
124
click to vote
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The increased popularity of grid systems and cycle sharing across organizations requires scalable systems that provide facilities to locate resources, to be fair in the u...
120
click to vote
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We propose a new representation for the domain of Definite Boolean functions. The key idea is to view the set of models of a Boolean function as an incidence relation be...