1271 search results - page 251 / 255 » On Simulation-Checking with Sequential Systems |
WSC
1998
13 years 9 months ago
1998
We have taken a NIST molecular dynamics simulation program (md3), which was configured as a single sequential process running on a CRAY C90 vector supercomputer, and parallelized ...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
Recursive reasoning of the form what do I think that you think that I think (and so on) arises often while acting rationally in multiagent settings. Several multiagent decision-ma...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
Nested data-parallelism (NDP) is a declarative style for programming irregular parallel applications. NDP languages provide language features favoring the NDP style, efficient com...
BMCBI
2010
13 years 7 months ago
2010
Background: Prediction of catalytic residues is a major step in characterizing the function of enzymes. In its simpler formulation, the problem can be cast into a binary classific...
BMCBI
2008
13 years 7 months ago
2008
Background: Occult organizational structures in DNA sequences may hold the key to understanding functional and evolutionary aspects of the DNA molecule. Such structures can also p...