Sciweavers

14078 search results - page 2531 / 2816
» Design and Analysis of Computer Algorithms
Sort
View
136
Voted
SPIN
2007
Springer
15 years 10 months ago
Tutorial: Parallel Model Checking
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
Lubos Brim, Jiri Barnat
HPDC
2006
IEEE
15 years 10 months ago
Path Grammar Guided Trace Compression and Trace Approximation
Trace-driven simulation is an important technique used in the evaluation of computer architecture innovations. However using it for studying parallel computers and applications is...
Xiaofeng Gao, Allan Snavely, Larry Carter
CCGRID
2005
IEEE
15 years 10 months ago
Mapping DAG-based applications to multiclusters with background workload
Before an application modelled as a Directed Acyclic Graph (DAG) is executed on a heterogeneous system, a DAG mapping policy is often enacted. After mapping, the tasks (in the DAG...
Ligang He, Stephen A. Jarvis, Daniel P. Spooner, D...
SI3D
2005
ACM
15 years 9 months ago
Level-of-detail representation of bidirectional texture functions for real-time rendering
This paper presents a new technique for rendering bidirectional texture functions (BTFs) at different levels of detail (LODs). Our method first decomposes each BTF image into mul...
Wan-Chun Ma, Sung-Hsiang Chao, Yu-Ting Tseng, Yung...
PODC
2004
ACM
15 years 9 months ago
Gradient clock synchronization
We introduce the distributed gradient clock synchronization problem. As in traditional distributed clock synchronization, we consider a network of nodes equipped with hardware clo...
Rui Fan, Nancy A. Lynch
« Prev « First page 2531 / 2816 Last » Next »