Sciweavers

2686 search results - page 165 / 538
» Parallel object monitors
Sort
View
HICSS
1995
IEEE
101views Biometrics» more  HICSS 1995»
15 years 5 months ago
Prototyping of parallel and distributed object-oriented systems: the PDC model and its environment
To ease the implementation of distributed objectoriented systems we developed the PDC technique (Proxy/ Dispatcher/Collocutor technique), a simple and pragmatic approach to allow ...
Rainer Weinreich, Reinhold Plösch
COLOGNETWENTE
2008
15 years 3 months ago
Special Cases of Online Parallel Job Scheduling
In this paper we consider the online scheduling of jobs, which require processing on a number of machines simultaneously. These jobs are presented to a decision maker one by one, ...
Johann Hurink, Jacob Jan Paulus
CAP
2010
14 years 9 months ago
Parallel arithmetic encryption for high-bandwidth communications on multicore/GPGPU platforms
In this work we study the feasibility of high-bandwidth, secure communications on generic machines equipped with the latest CPUs and General-Purpose Graphical Processing Units (GP...
Ludovic Jacquin, Vincent Roca, Jean-Louis Roch, Mo...
ICRA
2003
IEEE
124views Robotics» more  ICRA 2003»
15 years 7 months ago
Self-assembly in space via self-reconfigurable robots
― Self-assembly systems in space are arguably within the reach of today’s technology based on the research and development of self-reconfigurable robots on earth. This paper pr...
Wei-Min Shen, Peter M. Will, Berok Khoshnevis
ECBS
2000
IEEE
70views Hardware» more  ECBS 2000»
15 years 6 months ago
Model Checking the Java Meta-Locking Algorithm
We apply the XMC model checker to the Java metalocking algorithm, a highly optimized technique for ensuring mutually exclusive access by threads to object monitor queues. Our abst...
Samik Basu, Scott A. Smolka, Orson R. Ward