Sciweavers

162 search results - page 9 / 33
» Using Metaobjects to Model Concurrent Objects with PICT
Sort
View
QEST
2006
IEEE
14 years 1 months ago
Strategy Improvement for Concurrent Reachability Games
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. H...
IPPS
2005
IEEE
14 years 1 months ago
Reconfigurable Object Consistency Model
Consistency is an important issue in Distributed Shared Memory (DSM) systems. These systems share a set of objects or virtual memory pages. The data sharing enables the applicatio...
Christiane V. Pousa, Luís Fabrício W...
CONCURRENCY
1998
83views more  CONCURRENCY 1998»
13 years 7 months ago
Supporting universal personal computing on the Internet with Java and CORBA
Universal Personal Computing (UPC) supports nomadic computing on the Internet by allowing mobile users to access their personalized computing resources anywhere on the Internet us...
Jinsong Zhu, Maria Törö, Victor C. M. Le...
SIGSOFT
2009
ACM
14 years 8 months ago
Static data race detection for concurrent programs with asynchronous calls
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhan...
JUCS
2008
166views more  JUCS 2008»
13 years 7 months ago
Exploring Lua for Concurrent Programming
The popularization of multi-core processors and of technologies such as hyper-threading demonstrates a fundamental change in the way processors have been evolving and also increase...
Alexandre Skyrme, Noemi de La Rocque Rodriguez, Ro...