4299 search results - page 517 / 860 » Concurrent Test Generation |
151
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
170
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: The Monte Carlo simulation of sequence evolution is routinely used to assess the performance of phylogenetic inference methods and sequence alignment algorithms. Progr...
151
click to vote
PPOPP
2012
ACM
14 years 9 days ago
2012
ACM
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...
156
click to vote
VEE
2012
ACM
14 years 9 days ago
2012
ACM
As cloud-based computation becomes increasingly important, providing a general computational interface to support datacenterscale programming has become an imperative research age...
136
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...