3148 search results - page 140 / 630 » On the Dynamic Initialization of Parallel Computers |
110
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents an efficient modeling scheme and a partitioning heuristic for parallelizing VLSI post-placement timing optimization. Encoding the paths with timing violations...
110
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Intervals are a new model for parallel programming based on an explicit happens before relation. Intervals permit fine-grained but high-level control of the program sched...
137
Voted
MIDDLEWARE
2007
Springer
15 years 9 months ago
2007
Springer
In self-adaptive systems, metadata about resources in the system (e.g., services, nodes) must be dynamically published, updated, and removed. Current middleware approaches use sta...
124
click to vote
PVM
2007
Springer
15 years 9 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
163
click to vote
WACV
2005
IEEE
15 years 9 months ago
2005
IEEE
Many existing systems for human body tracking are based on dynamic model-based tracking that is driven by local image features. Alternatively, within a view-based approach, tracki...