Sciweavers

5333 search results - page 576 / 1067
» Optimizing Computer System Configurations
Sort
View
CLUSTER
2006
IEEE
16 years 1 months ago
A New Flexible MPI Collective I/O Implementation
The MPI-IO standard creates a huge opportunity to break out of the traditional file system I/O methods. As a software layer between the user and the file system, an MPI-IO libra...
Kenin Coloma, Avery Ching, Alok N. Choudhary, Wei-...
CDC
2009
IEEE
165views Control Systems» more  CDC 2009»
15 years 11 months ago
Achieving symmetric Pareto Nash equilibria using biased replicator dynamics
— Achieving the Nash equilibria for single objective games is known to be a computationally difficult problem. However there is a special class of equilibria called evolutionary...
Kiran Somasundaram, John S. Baras
CC
2001
Springer
146views System Software» more  CC 2001»
15 years 11 months ago
Alias Analysis by Means of a Model Checker
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
Vincenzo Martena, Pierluigi San Pietro
IPPS
2000
IEEE
15 years 11 months ago
Heuristic Solutions for a Mapping Problem in a TV-Anytime Server Network
This paper presents a novel broadband multimedia service called TV-Anytime. The basic idea of this service is to store broadcast media assets onto media server systems and allow c...
Xiaobo Zhou, Reinhard Lüling, Li Xie
EVOW
1999
Springer
15 years 11 months ago
Test Pattern Generation Under Low Power Constraints
A technique is proposed to reduce the peak power consumption of sequential circuits during test pattern application. High-speed computation intensive VLSI systems, as telecommunica...
Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Re...