Sciweavers

444 search results - page 42 / 89
» Declarative Concurrency in Java
Sort
View
SOFTVIS
2010
ACM
14 years 10 months ago
TIE: an interactive visualization of thread interleavings
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
Gowritharan Maheswara, Jeremy S. Bradbury, Christo...
71
Voted
CONCURRENCY
2004
124views more  CONCURRENCY 2004»
14 years 9 months ago
Checking ownership and confinement
Abstract. A number of formal proposals to manage aliasing in Java-like programming languages have been advanced over the last five years. Unfortunately, it is not clear how practic...
Alex Potanin, James Noble, Robert Biddle
ITICSE
2010
ACM
14 years 11 months ago
JavaSpaces NetBeans: a linda workbench for distributed programming course
In this paper we introduce the JavaSpaces NetBeans IDE (JSN) which integrates the JavaSpaces technology, an implementation of Linda principles in Java, with the NetBeans1 IDE. JSN...
Magdalena Dukielska, Jacek Sroka
PPOPP
2006
ACM
15 years 3 months ago
Scalable synchronous queues
We present two new nonblocking and contention-free implementations of synchronous queues, concurrent transfer channels in which producers wait for consumers just as consumers wait...
William N. Scherer III, Doug Lea, Michael L. Scott
ICLP
2010
Springer
15 years 1 months ago
Bisimilarity in Concurrent Constraint Programming
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
Andres A. Aristizabal P.