1777 search results - page 321 / 356 » Programming Cryptographic Protocols |
DAC
2009
ACM
14 years 16 days ago
2009
ACM
Traditional debug methodologies are limited in their ability to provide debugging support for many-core parallel programming. Synchronization problems or bugs due to race conditio...
FASE
2009
Springer
14 years 15 days ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
ICC
2007
IEEE
14 years 15 days ago
2007
IEEE
Relay power allocation has been shown to provide substantial performance gain in wireless relay networks when perfect global channel state information (CSI) is available. In this p...
CLUSTER
2004
IEEE
14 years 11 days ago
2004
IEEE
All-to-all broadcast is one of the common collective operations that involve dense communication between all processes in a parallel program. Previously, programmable Network Inte...
CIA
2006
Springer
14 years 11 days ago
2006
Springer
There is great promise in the idea of having agent or web services available on the internet, that can be flexibly composed to achieve more complex services, which can themselves t...