1548 search results - page 179 / 310 » Data sharing between ada and C C |
142
click to vote
UIST
2003
ACM
15 years 11 months ago
2003
ACM
People use their awareness of others' temporal patterns to plan work activities and communication. This paper presents algorithms for programatically detecting and modeling t...
166
click to vote
SAS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
199
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
140
click to vote
POPL
1997
ACM
15 years 10 months ago
1997
ACM
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...
138
click to vote
EUROPAR
1995
Springer
15 years 10 months ago
1995
Springer
The growing disparity between processor and memory speeds has caused memory bandwidth to become the performance bottleneck for many applications. In particular, this performance ga...