Sciweavers

1448 search results - page 48 / 290
» Restricted Stack Implementations
Sort
View
PVM
2004
Springer
14 years 29 days ago
An Initial Analysis of the Impact of Overlap and Independent Progress for MPI
Abstract. The ability to offload functionality to a programmable network interface is appealing, both for increasing message passing performance and for reducing the overhead on t...
Ron Brightwell, Keith D. Underwood, Rolf Riesen
ICFP
2012
ACM
11 years 10 months ago
Introspective pushdown analysis of higher-order programs
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
Christopher Earl, Ilya Sergey, Matthew Might, Davi...
ICRA
2008
IEEE
138views Robotics» more  ICRA 2008»
14 years 2 months ago
Real-time (self)-collision avoidance task on a hrp-2 humanoid robot
— This paper proposes a real-time implementation of collision and self-collision avoidance for robots. On the basis of a new proximity distance computation method which ensures h...
Olivier Stasse, Adrien Escande, Nicolas Mansard, S...
PVM
2007
Springer
14 years 1 months ago
A Virtual Test Environment for MPI Development: Quick Answers to Many Small Questions
Abstract. MPI implementations are faced with growingly complex network configurations containing multiple network interfaces per node, NAT, or dual stacks. To implement handling l...
Wolfgang Schnerring, Christian Kauhaus, Dietmar Fe...
CCS
2011
ACM
12 years 7 months ago
Policy auditing over incomplete logs: theory, implementation and applications
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
Deepak Garg, Limin Jia, Anupam Datta