661 search results - page 122 / 133 » Distributed Real-Time Computing with Harness |
JCNS
2011
14 years 6 months ago
2011
Adaptive stimulus design methods can potentially improve the efficiency of sensory neurophysiology experiments significantly; however, designing optimal stimulus sequences in re...
129
click to vote
PPOPP
2009
ACM
16 years 7 days 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...
DAC
2006
ACM
15 years 5 months ago
2006
ACM
duce system weight and volume, increase operating lifetime, The recent explosion in capability of embedded and portable decrease maintenance costs, and open new frontiers for inele...
BMCBI
2006
14 years 11 months ago
2006
Background: In order to maintain the most comprehensive structural annotation databases we must carry out regular updates for each proteome using the latest profile-profile fold r...
119
click to vote
ANSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Grid technologies are emerging as the next generation of distributed computing, allowing the aggregation of resources that are geographically distributed across different location...