2607 search results - page 495 / 522 » On the Architecture of System Verification Environments |
WOTUG
2007
13 years 8 months ago
2007
Concurrency control mechanisms such as turn-taking, locking, serialization, transactional locking mechanism, and operational transformation try to provide data consistency when con...
CAD
2010
Springer
13 years 7 months ago
2010
Springer
Augmented Reality (AR) has been acclaimed as one of the promising technologies for advancing future UbiComp (Ubiquitous Computing) environments. Despite a myriad of AR application...
CCR
2002
13 years 7 months ago
2002
We present a simple, efficient, and secure multicast protocol with copyright protection in an open and insecure network environment. There is a wide variety of multimedia applicat...
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
Quantum chemistry applications such as the General Atomic and Molecular Electronic Structure System (GAMESS) that can execute on a complex peta-scale parallel computing environment...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
With ever-increasing power density and cooling costs in modern high-performance systems, dynamic thermal management (DTM) has emerged as an effective technique for guaranteeing th...