Sciweavers

7576 search results - page 71 / 1516
» UNIX as an Application Program
Sort
View
105
Voted
ICPP
2006
IEEE
15 years 8 months ago
Application-Transparent Checkpoint/Restart for MPI Programs over InfiniBand
Qi Gao, Weikuan Yu, Wei Huang, Dhabaleswar K. Pand...
114
Voted
CONCUR
2005
Springer
15 years 8 months ago
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
Eric Goubault, Emmanuel Haucourt
77
Voted
JELIA
2004
Springer
15 years 8 months ago
Sorted Multi-adjoint Logic Programs: Termination Results and Applications
Carlos Viegas Damásio, Jesús Medina,...
85
Voted
ICRA
2003
IEEE
112views Robotics» more  ICRA 2003»
15 years 8 months ago
Using bayesian programming for multi-sensor multi-target tracking in automotive applications
Christophe Coué, Thierry Fraichard, Pierre ...