Sciweavers

2470 search results - page 297 / 494
» Liveness-Preserving Simulation Relations
Sort
View
138
Voted
CCGRID
2008
IEEE
15 years 11 months ago
Data Consolidation: A Task Scheduling and Data Migration Technique for Grid Networks
In this work we examine a task scheduling and data migration problem for Grid Networks, which we refer to as the Data Consolidation (DC) problem. DC arises when a task needs for i...
Panagiotis C. Kokkinos, Kostas Christodoulopoulos,...
CDC
2008
IEEE
161views Control Systems» more  CDC 2008»
15 years 11 months ago
Distributed policies for equitable partitioning: Theory and applications
Abstract— The most widely applied resource allocation strategy is to balance, or equalize, the total workload assigned to each resource. In mobile multi-agent systems, this princ...
Marco Pavone, Emilio Frazzoli, Francesco Bullo
124
Voted
CEC
2008
IEEE
15 years 11 months ago
On the evolution of laser pulses under a dynamic Quantum Control environment
Abstract— This paper introduces the optimization of a Quantum Control application, the so-called molecular alignment problem, subject to a dynamic environment. Given the relative...
Ofer M. Shir, Thomas Bäck, Herschel Rabitz, M...
DATE
2008
IEEE
155views Hardware» more  DATE 2008»
15 years 11 months ago
Comparison of memory write policies for NoC based Multicore Cache Coherent Systems
The following study shows a direct comparison of memory write policies in Shared Memory Multicore Systems. Although there are much work and many studies about this issue, our work...
Pierre Guironnet de Massas, Frédéric...
DFT
2008
IEEE
107views VLSI» more  DFT 2008»
15 years 11 months ago
Checkpointing of Rectilinear Growth in DNA Self-Assembly
Error detection/correction techniques have been advocated for algorithmic self-assembly. Under rectilinear growth, it requires only two additional tiles, generally referred to as ...
Stephen Frechette, Yong-Bin Kim, Fabrizio Lombardi