Sciweavers

770 search results - page 94 / 154
» Parallel simulation of chip-multiprocessor architectures
Sort
View
IPPS
2003
IEEE
15 years 7 months ago
So Many States, So Little Time: Verifying Memory Coherence in the Cray X1
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
Dennis Abts, Steve Scott, David J. Lilja
IPPS
2003
IEEE
15 years 7 months ago
Wide-Area Content-Based Routing Mechanism
Content networking is an emerging technology, where the requests for content are steered by content routers that examine not only the destinations but also content descriptors suc...
Arindam Mitra, Muthucumaru Maheswaran, Jose A. Rue...
ICDCS
2002
IEEE
15 years 7 months ago
Cooperative Computing for Distributed Embedded Systems
The next generation of computing systems will be embedded, in a virtually unbounded number, and dynamically connected. The current software, network architectures, and their assoc...
Cristian Borcea, Deepa Iyer, Porlin Kang, Akhilesh...
HPCA
2000
IEEE
15 years 6 months ago
Decoupled Value Prediction on Trace Processors
Value prediction is a technique that breaks true data dependences by predicting the outcome of an instruction, and executes speculatively its data-dependent instructions based on ...
Sang Jeong Lee, Yuan Wang, Pen-Chung Yew
ICDCS
1994
IEEE
15 years 6 months ago
Management of Updates in the Enhanced Client-Server DBMS
The Client Server DBMS model has emerged as the main paradigm in database computing. The Enhanced Client Server architecture takes advantage of all the available client resources ...
Alex Delis, Nick Roussopoulos