2943 search results - page 161 / 589 » Software Implementation of Synchronous Programs |
127
click to vote
DLS
2007
15 years 4 months ago
2007
This paper presents a package management system for the Scheme programming language. It is inspired by the Comprehensive Perl Archive Network (CPAN) and various GNU/Linux distribu...
129
click to vote
ATVA
2004
Springer
15 years 8 months ago
2004
Springer
Data races do not cover all kinds of concurrency errors. This paper presents a data- ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
109
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper proposes a concurrency model which integrates the asynchronous and event-driven nature of wireless etworks with higher-level abstractions that provide a more familiar p...
133
click to vote
ICDCS
1997
IEEE
15 years 7 months ago
1997
IEEE
—This paper describes algorithms for implementing a high-level programming model for synchronous distributed groupware applications. In this model, several application data objec...
123
click to vote
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...