124 search results - page 11 / 25 » Full Abstraction for a Shared Variable Parallel Language |
120
click to vote
ECOOP
2008
Springer
15 years 22 days ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
135
Voted
MFCS
1994
Springer
15 years 3 months ago
1994
Springer
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
103
Voted
MLMI
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Prosody has been actively studied as an important knowledge source for speech recognition and understanding. In this paper, we are concerned with the question of exploiti...
IPSN
2005
Springer
15 years 5 months ago
2005
Springer
Abstract— There is widespread agreement that a higher level programming model for sensor networks is needed. A variety of models have been developed, but the community is far fro...
PARLE
1992
15 years 3 months ago
1992
We compare di erent degrees of architecture abstraction and communication reliability in distributed programming languages. A nearly architecture independent logic programming lang...