Sciweavers

794 search results - page 107 / 159
» Stackelberg scheduling strategies
Sort
View
ICALP
2007
Springer
15 years 4 months ago
Commitment Under Uncertainty: Two-Stage Stochastic Matching Problems
Abstract. We define and study two versions of the bipartite matching problem in the framework of two-stage stochastic optimization with recourse. In one version the uncertainty is...
Irit Katriel, Claire Kenyon-Mathieu, Eli Upfal
CODES
2000
IEEE
15 years 2 months ago
Performance estimation for embedded systems with data and control dependencies
In this paper we present an approach to performance estimation for hard real-time systems. We consider architectures consisting of multiple processors. The scheduling policy is ba...
Paul Pop, Petru Eles, Zebo Peng
ICCAD
1998
IEEE
82views Hardware» more  ICCAD 1998»
15 years 2 months ago
Symbolic model checking of process networks using interval diagram techniques
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
Karsten Strehl, Lothar Thiele
ISSS
1998
IEEE
129views Hardware» more  ISSS 1998»
15 years 2 months ago
Application-Specific Heterogeneous Multiprocessor Synthesis Using Differential-Evolution
This paper presents an application-specific, heterogeneous multiprocessor synthesis system, named HeMPS, that combines a form of Evolutionary Computation known as Differential Evo...
Allan Rae, Sri Parameswaran
ISHPC
1997
Springer
15 years 2 months ago
Resource Management Methods for General Purpose Massively Parallel OS SSS-Core
We propose two resource management methods; a scheduling policy that re ects resource consumption states and a memory-replacement strategy based on page classi cation under distrib...
Yojiro Nobukuni, Takashi Matsumoto, Kei Hiraki