Sciweavers

4604 search results - page 176 / 921
» Concurrency in Synchronous Systems
Sort
View
ENTCS
2008
122views more  ENTCS 2008»
15 years 4 months ago
Concurrency in Biological Modeling: Behavior, Execution and Visualization
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
David Harel, Yaki Setty, Sol Efroni, Naamah Swerdl...
ICTAC
2009
Springer
15 years 10 months ago
A Deadlock-Free Semantics for Shared Memory Concurrency
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
Gérard Boudol
150
Voted
FLAIRS
2006
15 years 5 months ago
CATS: A Synchronous Approach to Collaborative Group Recommendation
Group recommender systems introduce a whole set of new challenges for recommender systems research. The notion of generating a set of recommendations that will satisfy a group of ...
Kevin McCarthy, Maria Salamó, Lorcan Coyle,...
146
Voted
IEEEPACT
2006
IEEE
15 years 10 months ago
Testing implementations of transactional memory
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
Chaiyasit Manovit, Sudheendra Hangal, Hassan Chafi...
RTDB
2001
114views more  RTDB 2001»
15 years 5 months ago
Mobile Distributed Real-Time Database Systems
Research in the concurrency control of real-time data access over mobile networks is receiving growing attention. With possibly lengthy transmission delay and frequent disconnecti...
Kam-yiu Lam, Tei-Wei Kuo