Sciweavers

7576 search results - page 71 / 1516
» UNIX as an Application Program
Sort
View
CONCUR
2005
Springer
15 years 11 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
ICRA
2003
IEEE
112views Robotics» more  ICRA 2003»
15 years 11 months ago
Using bayesian programming for multi-sensor multi-target tracking in automotive applications
Christophe Coué, Thierry Fraichard, Pierre ...