1492 search results - page 2 / 299 » Concurrent programming in VISO |
CONCURRENCY
2000
13 years 5 months ago
2000
FCSC
2010
13 years 2 months ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
CONCURRENCY
2006
13 years 5 months ago
2006
AGP
2010
IEEE
13 years 3 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
WCRE
2010
IEEE
13 years 3 months ago
2010
IEEE
—Concurrent programming with shared memory in an object-oriented language such as Java is notoriously difficult. Therefore, it is important to study new program understanding te...