Sciweavers

87 search results - page 18 / 18
» Non-monotonic Refinement of Control Abstraction for Concurre...
Sort
View
ICECCS
2010
IEEE
196views Hardware» more  ICECCS 2010»
13 years 5 months ago
Implementing and Evaluating a Model Checker for Transactional Memory Systems
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
Woongki Baek, Nathan Grasso Bronson, Christos Kozy...
NETWORK
2008
139views more  NETWORK 2008»
13 years 5 months ago
Composing semantic services in open sensor-rich environments
Consider a scenario where Jane is at an airport. She wants to find a restaurant with healthy food and short waiting time on the way to her terminal. The airport can provide such s...
Jie Liu, Feng Zhao