Sciweavers

2781 search results - page 482 / 557
» System Modules
Sort
View
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
15 years 10 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
AFRIGRAPH
2001
ACM
15 years 10 months ago
A gesture processing framework for multimodal interaction in virtual reality
This article presents a gesture detection and analysis framework for modelling multimodal interactions. It is particulary designed for its use in Virtual Reality (VR) applications...
Marc Erich Latoschik
CBMS
2001
IEEE
15 years 10 months ago
Bridging Two Biomedical Journal Databases with XML-A Case Study
For transferring data between heterogeneous databases, XML is becoming a method of choice. While deployment is generally successfully, there are barriers to overcome. A recent exa...
Glenn Pearson, Chan Moon
PADS
1998
ACM
15 years 10 months ago
GloMoSim: A Library for Parallel Simulation of Large-Scale Wireless Networks
A number of library-based parallel and sequential network simulators have been designed. This paper describes a library, called GloMoSim (for Global Mobile system Simulator), for ...
Xiang Zeng, Rajive Bagrodia, Mario Gerla
CIARP
2009
Springer
15 years 9 months ago
Robust Radio Broadcast Monitoring Using a Multi-Band Spectral Entropy Signature
Monitoring media broadcast content has deserved a lot of attention lately from both academy and industry due to the technical challenge involved and its economic importance (e.g. i...
Antonio Camarena-Ibarrola, Edgar Chávez, Er...