Sciweavers

9325 search results - page 392 / 1865
» The decentralized implementability problem
Sort
View
CAV
2001
Springer
107views Hardware» more  CAV 2001»
15 years 9 months ago
Job-Shop Scheduling Using Timed Automata
In this paper we show how the classical job-shop scheduling problem can be modeled as a special class of acyclic timed automata. Finding an optimal schedule corresponds, then, to n...
Yasmina Abdeddaïm, Oded Maler
RTCSA
2000
IEEE
15 years 9 months ago
Extensions to optimistic concurrency control with time intervals
Although an optimistic approach has been shown to be better suited than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and h...
Jan Lindström
IPPS
1999
IEEE
15 years 9 months ago
Mapping Media Streams onto a Network of Servers
This paper presents the definition as well as a number of methods for the solution of a new combinatorial optimization problem, called S-MAMP that has to be solved for the efficie...
Reinhard Lüling
ICSC
1999
Springer
148views Image Analysis» more  ICSC 1999»
15 years 9 months ago
Applications of Aglet Technology
The Internet has evolved from an information space to a market space with thousands of electronic storefronts, auctions and other commercial services. This market space is not with...
Rosane Maria Martins, Magali Ribeiro Chaves, Luci ...
ICDCS
1998
IEEE
15 years 9 months ago
Some Economics of Market-Based Distributed Scheduling
Market mechanisms solve distributed scheduling problems by allocating the scheduled resources according to market prices. We model distributed scheduling as a discrete resource al...
William E. Walsh, Michael P. Wellman, Peter R. Wur...