Sciweavers

805 search results - page 69 / 161
» Modeling and Analyzing Periodic Distributed Computations
Sort
View
JCC
2007
131views more  JCC 2007»
13 years 9 months ago
An extended dead-end elimination algorithm to determine gap-free lists of low energy states
: Proteins are flexible systems and commonly populate several functionally important states. To understand protein function, these states and their energies have to be identified...
Edda Kloppmann, G. Matthias Ullmann, Torsten Becke...
HIPC
2005
Springer
14 years 2 months ago
Scheduling Multiple Flows on Parallel Disks
We examine the problem of scheduling concurrent independent flows on multiple-disk I/O storage systems. Two models are considered: in the shared buffer model the memory buffer is ...
Ajay Gulati, Peter J. Varman
STTT
2010
115views more  STTT 2010»
13 years 7 months ago
Scalable shared memory LTL model checking
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
CVGIP
2010
182views more  CVGIP 2010»
13 years 9 months ago
MCCD: Multi-core collision detection between deformable models using front-based decomposition
We present a novel parallel algorithm for fast continuous collision detection (CCD) between deformable models using multi-core processors. We use a hierarchical representation to ...
Min Tang, Dinesh Manocha, Ruofeng Tong
RTAS
2008
IEEE
14 years 3 months ago
Physical Assembly Mapper: A Model-Driven Optimization Tool for QoS-Enabled Component Middleware
This paper provides four contributions to the study of optimization techniques for component-based distributed realtime and embedded (DRE) systems. First, we describe key challeng...
Krishnakumar Balasubramanian, Douglas C. Schmidt