6978 search results - page 365 / 1396 » On Proofs in System P |
193
click to vote
IPPS
2006
IEEE
16 years 26 days ago
2006
IEEE
Reconfigurable computing systems have already shown their abilities to accelerate embedded hardware/ software systems. Since standard processor-based embedded applications have co...
191
click to vote
LCPC
2007
Springer
16 years 29 days ago
2007
Springer
The Standard Template Adaptive Parallel Library (stapl) is a parallel programming framework that extends C++ and stl with support for parallelism. stapl provides a collection of pa...
189
click to vote
P2P
2006
IEEE
16 years 25 days ago
2006
IEEE
Peer discovery and route set-up are an integral part of the processes by which anonymizing peer-to-peer systems are made secure. When systems are large, and individual nodes only ...
152
click to vote
P2P
2005
IEEE
16 years 12 days ago
2005
IEEE
Efficient access to distributed and dynamic multidimensional data is vital for applications in large, heterogeneous, decentralised, resource-sharing environments such as Grids an...
173
Voted
P2P
2002
IEEE
15 years 11 months ago
2002
IEEE
The combination of peer-to-peer networking and agentbased computing seems to be a perfect match. Agents are cooperative and communication oriented, while peerto-peer networks typi...