Sciweavers

21324 search results - page 180 / 4265
» Making the case for computing
Sort
View
HPCC
2007
Springer
15 years 9 months ago
Online Algorithms for Single Machine Schedulers to Support Advance Reservations from Grid Jobs
Advance Reservations(AR) make it possible to guarantee the QoS of Grid applications by reserving a particular resource capability over a defined time interval on local resources. H...
Bo Li, Dongfeng Zhao
138
Voted
CCE
2004
15 years 3 months ago
An algorithmic framework for improving heuristic solutions: Part II. A new version of the stochastic traveling salesman problem
The algorithmic framework developed for improving heuristic solutions of the new version of deterministic TSP [Choi et al., 2002] is extended to the stochastic case. To verify the...
Jaein Choi, Jay H. Lee, Matthew J. Realff
89
Voted
DAC
2007
ACM
16 years 4 months ago
The Case for the Precision Timed (PRET) Machine
Stephen A. Edwards, Edward A. Lee
108
Voted
ICTCS
2003
Springer
15 years 8 months ago
Compositional Verification of Secure Streamed Data: A Case Study with EMSS
Fabio Martinelli, Marinella Petrocchi, Anna Vaccar...