Sciweavers

2954 search results - page 285 / 591
» Beyond
Sort
View
IPPS
2009
IEEE
16 years 1 months ago
Improving MPI-HMMER's scalability with parallel I/O
We present PIO-HMMER, an enhanced version of MPI-HMMER. PIO-HMMER improves on MPIHMMER’s scalability through the use of parallel I/O and a parallel file system. In addition, we...
John Paul Walters, Rohan Darole, Vipin Chaudhary
ISCA
2009
IEEE
214views Hardware» more  ISCA 2009»
16 years 1 months ago
Phastlane: a rapid transit optical routing network
Tens and eventually hundreds of processing cores are projected to be integrated onto future microprocessors, making the global interconnect a key component to achieving scalable c...
Mark J. Cianchetti, Joseph C. Kerekes, David H. Al...
TPHOL
2009
IEEE
16 years 1 months ago
Psi-calculi in Isabelle
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
Jesper Bengtson, Joachim Parrow
ACG
2009
Springer
16 years 1 months ago
Performance and Prediction: Bayesian Modelling of Fallible Choice in Chess
Evaluating agents in decision-making applications requires assessing their skill and predicting their behaviour. Both are well developed in Poker-like situations, but less so in mo...
Guy Haworth, Kenneth W. Regan, Giuseppe Di Fatta
AGS
2009
Springer
16 years 1 months ago
Pogamut 3 Can Assist Developers in Building AI (Not Only) for Their Videogame Agents
Many research projects oriented on control mechanisms of virtual agents in videogames have emerged in recent years. However, this boost has not been accompanied with the emergence ...
Jakub Gemrot, Rudolf Kadlec, Michal Bída, O...