9888 search results - page 1804 / 1978 » compute 2009 |
212
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
204
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Mobile learning applications introduce a new degree of ubiquitousness in the learning process. There is a new generation of ICT-powered mobile learning experiences that exist i...
176
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
— This research presents a novel application of Lateralization Index (LI) in support of a decision making process for the classification of subjects based on their brain activati...
220
click to vote
AP2PS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Peer-to-peer file sharing applications became very popular, being responsible for a large percentage of the network traffic. However, peer-to-peer traffic may compromise the per...
184
click to vote
HPCA
2009
IEEE
16 years 1 months ago
2009
IEEE
As transistor process technology approaches the nanometer scale, process variation significantly affects the design and optimization of high performance microprocessors. Prior stu...