Sciweavers

5333 search results - page 204 / 1067
» Optimizing Computer System Configurations
Sort
View
126
Voted
PDP
2003
IEEE
15 years 8 months ago
Automatic Optimisation of Parallel Linear Algebra Routines in Systems with Variable Load
Abstract. In this work an architecture of an automatically tuned linear algebra library proposed in previous works is extended in order to adapt it to platforms where both the CPU ...
Javier Cuenca, Domingo Giménez, José...
121
Voted
CONCUR
2007
Springer
15 years 7 months ago
Decidability Results for Well-Structured Transition Systems with Auxiliary Storage
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
Rohit Chadha, Mahesh Viswanathan
IPPS
2002
IEEE
15 years 8 months ago
A Parallel Ultra-High Resolution MPEG-2 Video Decoder for PC Cluster Based Tiled Display Systems
This paper presents a hierarchical parallel MPEG-2 decoder for playing ultra-high-resolution videos on PC cluster based tiled display systems. To maximize parallelism while minimi...
Han Chen, Kai Li, Bin Wei
DSN
2004
IEEE
15 years 7 months ago
Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems
Some safety-critical distributed embedded systems may need to use centralized components to achieve certain dependability properties. The difficulty in combining centralized and d...
Jennifer Morris, Daniel Kroening, Philip Koopman
ICDCN
2009
Springer
15 years 29 days ago
Large-Scale Networked Systems: From Anarchy to Geometric Self-structuring
Abstract. We define geometric self-structuring in a large-scale networked system as the ability of the participating nodes to collaboratively impose a geometric structure to the ne...
Anne-Marie Kermarrec, Achour Mostéfaoui, Mi...