5588 search results - page 977 / 1118 » Parallel Implementation of Bags |
ARC
2008
Springer
14 years 11 days ago
2008
Springer
Abstract. Financial applications are one of many fields where a multivariate Gaussian random number generator plays a key role in performing computationally extensive simulations. ...
ASPDAC
2005
ACM
14 years 9 days ago
2005
ACM
Abstract— A disjoint support decomposition (DSD) is a representation of a Boolean function F obtained by composing two or more simpler component functions such that the component...
ISSTA
2010
ACM
14 years 9 days ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
DNA
2006
Springer
14 years 9 days ago
2006
Springer
Whiplash PCR-based methods of biomolecular computation (BMC), while highly-versatile in principle, are well-known to suffer from a simple but serious form of self-poisoning known a...
ECOOP
2008
Springer
14 years 3 days ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...