741 search results - page 41 / 149 » Steps towards C C: A Language for Interactions |
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— This paper proposes a new way of trajectory generation for industrial manipulators. A real-time algorithm for the interpolation of synchronized and time-optimal manipul...
MUM
2004
ACM
14 years 1 months ago
2004
ACM
While peer-to-peer (P2P) has emerged as a new hot communication concept among the Internet users, mobile usage of P2P applications is still taking its first steps. This article fi...
SIGMETRICS
2008
ACM
13 years 8 months ago
2008
ACM
Benchmarks are crucial to understanding software systems and assessing their performance. In file-system research, synthetic benchmarks are accepted and widely used as substitutes...
SOSL
1993
14 years 4 days ago
1993
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...
ESOP
2012
Springer
12 years 3 months ago
2012
Springer
A lock placement describes, for each heap location, which lock guards the location, and under what circumstances. We formalize methods for reasoning about lock placements, making p...