Sciweavers

Share
IPPS
2003
IEEE
9 years 4 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
9 years 4 months ago
A Generic Scheme for Building Overlay Networks in Adversarial Scenarios
This paper presents a generic scheme for a central, yet untackled issue in overlay dynamic networks: maintaining stability over long life and against malicious adversaries. The ge...
Ittai Abraham, Baruch Awerbuch, Yossi Azar, Yair B...
IPPS
2003
IEEE
9 years 4 months ago
Parallel Tabu Search in a Heterogeneous Environment
In this paper, we discuss a parallel tabu search algorithm with implementation in a heterogeneous environment. Two parallelization strategies are integrated: functional decomposit...
Ahmad A. Al-Yamani, Sadiq M. Sait, Hassan Barada, ...
IPPS
2003
IEEE
9 years 4 months ago
Supporting QoS-Based Discovery in Service-Oriented Grids
Rashid J. Al-Ali, Ali Shaikh Ali, Omer F. Rana, Da...
IPPS
2003
IEEE
9 years 4 months ago
Task Graph Scheduling Using Timed Automata
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...
Yasmina Abdeddaïm, Abdelkarim Kerbaa, Oded Ma...
IPPS
2003
IEEE
9 years 4 months ago
Definition of a Robustness Metric for Resource Allocation
Shoukat Ali, Anthony A. Maciejewski, Howard Jay Si...
IPPS
2003
IEEE
9 years 4 months ago
Architectural Frameworks for MPP Systems on a Chip
Advances in fabrication techniques are now enabling new hybrid CPU/FPGA computing resources to be integrated onto a single chip. While these new hybrids promise significant perfor...
David L. Andrews, Douglas Niehaus
IPPS
2003
IEEE
9 years 4 months ago
SCIMPS: An Integrated Approach to Distributed Processing in Sensor Webs
: This paper presents a new tightly coupled computation/communication design developed to support the unique operational requirements of sensor webs. A critical challenge of sensor...
David L. Andrews, Joe Evans, Venumadhav Mangipudi,...
books