Sciweavers

14078 search results - page 2531 / 2816
» Design and Analysis of Computer Algorithms
Sort
View
SPIN
2007
Springer
16 years 21 days 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
16 years 19 days 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
16 years 6 days 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
16 years 4 days 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
16 years 20 hour 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 »