Sciweavers

252 search results - page 40 / 51
» Dynamic Symbolic Execution of Distributed Concurrent Objects
Sort
View
VRST
2004
ACM
14 years 27 days ago
GameOD: an internet based game-on-demand framework
Multiplayer online 3D games are becoming very popular in recent years. However, existing games require the complete game content to be installed prior to game playing. Since the c...
Frederick W. B. Li, Rynson W. H. Lau, Danny Kilis
IPPS
2006
IEEE
14 years 1 months ago
Making lockless synchronization fast: performance implications of memory reclamation
Achieving high performance for concurrent applications on modern multiprocessors remains challenging. Many programmers avoid locking to improve performance, while others replace l...
Thomas E. Hart, Paul E. McKenney, Angela Demke Bro...
CONCUR
1998
Springer
13 years 11 months ago
Algebraic Techniques for Timed Systems
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
Albert Benveniste, Claude Jard, Stephane Gaubert
ICPP
1995
IEEE
13 years 11 months ago
Progress: A Toolkit for Interactive Program Steering
Interactive program steering permits researchers to monitor and guide their applications during runtime. Interactive steering can help make end users more effective in addressing ...
Jeffrey S. Vetter, Karsten Schwan
ICPP
1998
IEEE
13 years 11 months ago
MPEG-4 Based Interactive Video using Parallel Processing
MPEG-4 which is currently being developed by MPEG (Moving Pictures Experts Group), is poised to become a standard for supporting current and emerging interactive multimedia applic...
Yong He, Ishfaq Ahmad, Ming L. Liou