380 search results - page 29 / 76 » Recent Developments in Parallel Pseudorandom Number Generati... |
TIT
2008
13 years 7 months ago
2008
Abstract--Low-Density Parity-Check (LDPC) codes are usually decoded by running an iterative belief-propagation algorithm over the factor graph of the code. In the traditional messa...
BIOINFORMATICS
2012
11 years 10 months ago
2012
Summary: The MolClass toolkit and data portal generates computational models from user-defined small molecule datasets based on structural features identified in hit and non-hit m...
ESCIENCE
2006
IEEE
13 years 11 months ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...
SPIN
2004
Springer
14 years 29 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
GRID
2007
Springer
13 years 7 months ago
2007
Springer
It is often difficult to perform efficiently a collection of jobs with complex job dependencies due to temporal unpredictability of the grid. One way to mitigate the unpredictabili...