Sciweavers

3500 search results - page 318 / 700
» Implementing Java on Clusters
Sort
View
PRESENCE
2002
104views more  PRESENCE 2002»
15 years 12 days ago
Integrating 2-D Video Actors into 3-D Augmented-Reality Systems
In this paper, we discuss the integration of 2-D video actors into 3-D augmentedreality (AR) systems. In the context of our research on narrative forms for AR, we have found ourse...
Blair MacIntyre, Marco Lohse, Jay David Bolter, Em...
83
Voted
MTA
2007
70views more  MTA 2007»
15 years 8 days ago
Tools for transparent synchronous collaborative environments
Synchronous collaborative environments can provide an identical visual and operable working area among geographically separated participants. There are two basic approaches for pro...
Abdulmotaleb El-Saddik, Dongsheng Yang, Nicolas D....
114
Voted
IEE
2010
136views more  IEE 2010»
14 years 11 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil
JTAER
2010
173views more  JTAER 2010»
14 years 11 months ago
An Assessment of Design Patterns' Influence on a Java-based E-Commerce Application
Design patterns, acting as recurring solutions to common problems, offer significant benefits such as avoiding unnecessary complexity, and promoting code reuse, maintainability an...
Maria Mouratidou, Vassilios Lourdas, Alexander Cha...
CAV
2012
Springer
236views Hardware» more  CAV 2012»
13 years 3 months ago
Lock Removal for Concurrent Trace Programs
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
Vineet Kahlon, Chao Wang