2019 search results - page 95 / 404 » Programming with Shared Data Abstractions |
CONCUR
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
LANMR
2004
13 years 10 months ago
2004
Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...
XPU
2010
Springer
13 years 7 months ago
2010
Springer
Pair Programming has often been reported to be beneficial in software projects. To better understand where these benefits come from we evaluate the aspect of intra-pair communica...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Recently, distributed data storage has gained increasing popularity for efficient and robust data management in wireless sensor networks (WSNs). But the distributed arc...
SAS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...