1411 search results - page 199 / 283 » Interactive Coding for Interactive Proofs |
178
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...
157
click to vote
CODES
2006
IEEE
16 years 20 days ago
2006
IEEE
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more and consistent view of those resources is presente...
164
click to vote
IWPC
2006
IEEE
16 years 19 days ago
2006
IEEE
Software developers often work on multiple simultaneous projects. Even when only a single project is underway, everyday distractions interrupt the development effort. Consequently...
183
click to vote
NCA
2006
IEEE
16 years 18 days ago
2006
IEEE
Geant4 is a very large, highly accurate toolkit for Monte Carlo simulation of particle-matter interaction. It has been applied to high-energy physics, cosmic ray modeling, radiati...
202
click to vote
IWCMC
2006
ACM
16 years 17 days ago
2006
ACM
We study the diversity-multiplexing tradeoff in cooperative diversity systems involving multiple relays. We focus on low complexity architectures that do not require simultaneous...