1224 search results - page 123 / 245 » Design and Implementation of a Practical Parallel Delaunay A... |
128
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...
163
click to vote
IMCSIT
2010
15 years 2 months ago
2010
Abstract--The paper proposes a model which allows integration of services published by independent providers into scientific or business workflows. Optimization algorithms are prop...
140
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
Traditional collective communication algorithms are designed with the assumption that a node can communicate with only one other node at a time. On new parallel architectures such...
148
click to vote
GRID
2007
Springer
15 years 8 months ago
2007
Springer
The global inter-networking infrastructure that has become essential for contemporary day-to-day computing and communication tasks, has also enabled the deployment of several large...
140
click to vote
DAC
2005
ACM
15 years 6 months ago
2005
ACM
With 90nm CMOS in production and 65nm testing in progress, power has been pushed to the forefront of design metrics. This paper will outline practical techniques that are used to ...