Sciweavers

1663 search results - page 234 / 333
» Scheduling techniques for media-on-demand
Sort
View
97
Voted
ESEM
2008
ACM
15 years 2 months ago
A survey of software project managers on software process change
Software project managers play an important role in selecting their software development process. In this study we conducted a survey of software project managers about software p...
Yuepu Guo, Carolyn B. Seaman
IPCO
2008
114views Optimization» more  IPCO 2008»
15 years 2 months ago
The Stochastic Machine Replenishment Problem
We study the stochastic machine replenishment problem, which is a canonical special case of closed multiclass queuing systems in Markov decision theory. The problem models the sche...
Kamesh Munagala, Peng Shi
92
Voted
FORTE
1996
15 years 2 months ago
Applications of Fair Testing
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...
Ed Brinksma, Arend Rensink, Walter Vogler
108
Voted
SOSP
1989
ACM
15 years 1 months ago
Threads and Input/Output in the Synthesis Kernel
The Synthesis operating system kernel combines several techniques to provide high performa.nce, incl1iding kernel code synthesis, fine-gra.in scheduling. and optimistic sylicllrol...
Henry Massalin, Calton Pu
AAI
2007
95views more  AAI 2007»
15 years 24 days ago
An AI Electrical Ground Support Equipment for Controlling and Testing a Space Instrument
An versatile and modular Electrical Ground Support Equipment (EGSE) system has been developed using Artificial Intelligence (AI) techniques to control and test the PESCA instrumen...
María Dolores Rodríguez-Moreno, Manu...