Sciweavers

5470 search results - page 949 / 1094
» Enterprise Information Architecture
Sort
View
ACSC
2003
IEEE
15 years 3 months ago
Self-Adaptive Clock Synchronization Based on Clock Precision Difference
This paper presents an innovative strategy to synchronize all virtual clocks in asynchronous Internet environments. Our model is based on the architecture of one reference clock a...
Ying Zhao, Wanlei Zhou, Elicia Lanham, Shui Yu, Mi...
CCGRID
2003
IEEE
15 years 3 months ago
Peer-to-Peer Keyword Search Using Keyword Relationship
Decentralized and unstructured peer-to-peer (P2P) networks such as Gnutella are attractive for Internet-scale information retrieval and search systems because they require neither...
Kiyohide Nakauchi, Yuichi Ishikawa, Hiroyuki Morik...
DATE
2003
IEEE
82views Hardware» more  DATE 2003»
15 years 3 months ago
A Circuit SAT Solver With Signal Correlation Guided Learning
— Boolean Satistifiability has attracted tremendous research effort in recent years, resulting in the developments of various efficient SAT solver packages. Based upon their de...
Feng Lu, Li-C. Wang, Kwang-Ting Cheng, Ric C.-Y. H...
DATE
2003
IEEE
98views Hardware» more  DATE 2003»
15 years 3 months ago
Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
Abhik Roychoudhury, Tulika Mitra, S. R. Karri
DSRT
2003
IEEE
15 years 3 months ago
Interest Management in Agent-Based Distributed Simulations
Distributed simulation enables participants situated in different geographical locations to share a common virtual world, which is called a Distributed Virtual Environment (DVE). ...
Lihua Wang, Stephen John Turner, Fang Wang