Sciweavers

1758 search results - page 56 / 352
» Schedule processes, not VCPUs
Sort
View
ENTCS
2007
105views more  ENTCS 2007»
15 years 6 months ago
A Probabilistic Scheduler for the Analysis of Cryptographic Protocols
When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...
Srecko Brlek, Sardaouna Hamadou, John Mullins
ICASSP
2011
IEEE
14 years 10 months ago
Coordinated user scheduling in the multi-cell MIMO downlink
We propose a novel, coordinated user scheduling (CUS) algorithm for inter-cell interference (ICI) mitigation in the downlink of a multi-cell multi-user MIMO system. In the propose...
Nima Seifi, Michail Matthaiou, Mats Viberg
ICWS
2008
IEEE
15 years 8 months ago
Service Level Agreement Based Grid Scheduling
In order to co-ordinate multiple resource providers in grid environment to meet a common objective, support for negotiation is needed to establish a contract between the user and ...
Ponnuram Balakrishnan, S. Thamarai Selvi, Gnanapra...
EOR
2008
86views more  EOR 2008»
15 years 6 months ago
Batch scheduling of deteriorating reworkables
The problem of scheduling the production of new and recoverable defective items of the same product manufactured on the same facility is studied. Items are processed in batches. E...
M. S. Barketau, T. C. Edwin Cheng, Mikhail Y. Kova...
EOR
2006
68views more  EOR 2006»
15 years 6 months ago
Cyclic scheduling of a 2-machine robotic cell with tooling constraints
In this study, we deal with the robotic cell scheduling problem with two machines and identical parts. In an ideal FMS, CNC machines are capable of performing all the required ope...
Hakan Gultekin, M. Selim Akturk, Oya Ekin Karasan