6978 search results - page 247 / 1396 » On Proofs in System P |
163
click to vote
CCGRID
2006
IEEE
16 years 21 days ago
2006
IEEE
With current grid middleware, it is difficult to deploy distributed supercomputing applications that run concurrently on multiple resources. As current grid middleware systems ha...
187
click to vote
INFOSCALE
2006
ACM
16 years 18 days ago
2006
ACM
Millions of Internet users are using large-scale peerto-peer (P2P) networks to share content files today. Many other mission-critical applications, such as Internet telephony and...
298
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Peer-to-peer (p2p) systems are attracting increasing attention as an efficient means of sharing data among large, diverse and dynamic sets of users. The widespread use of XML as a...
165
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
Blue Gene R /P is a massively parallel supercomputer intended as the successor to Blue Gene/L. It leverages much of the existing architecture of its predecessor to provide scalabi...
174
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...