Sciweavers

105 search results - page 14 / 21
» Introducing concurrency in CS 1
Sort
View
MDM
2001
Springer
15 years 4 months ago
Quasi-consistency and Caching with Broadcast Disks
The challenges ensuing from the asymmetric communication capabilities of mobile environments have led to an increased interest in broadcast-based data dissemination. Among the conc...
Rashmi Srinivasa, Sang Hyuk Son
HLPPP
1991
15 years 3 months ago
Reasoning About Synchronic Groups
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
Gruia-Catalin Roman, H. Conrad Cunningham
ITICSE
2010
ACM
15 years 1 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
BDA
1997
15 years 1 months ago
A Non-Blocking Single-Phase Commit Protocol for Rigorous Participants
Transactional standards have been promoted by OMG and X/Open to allow heterogeneous resources to participate in an Atomic Commitment Protocol (ACP), namely the two-phase commit pro...
Maha Abdallah, Philippe Pucheral
ICFP
2010
ACM
15 years 21 days ago
Regular, shape-polymorphic, parallel arrays in Haskell
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
Gabriele Keller, Manuel M. T. Chakravarty, Roman L...