Sciweavers

1251 search results - page 206 / 251
» Using Semantics for Resource Allocation in Computing Service...
Sort
View
158
Voted
SIGMETRICS
2012
ACM
248views Hardware» more  SIGMETRICS 2012»
13 years 4 months ago
Pricing cloud bandwidth reservations under demand uncertainty
In a public cloud, bandwidth is traditionally priced in a pay-asyou-go model. Reflecting the recent trend of augmenting cloud computing with bandwidth guarantees, we consider a n...
Di Niu, Chen Feng, Baochun Li
126
Voted
PLDI
2003
ACM
15 years 7 months ago
A provably sound TAL for back-end optimization
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang
CCGRID
2007
IEEE
15 years 8 months ago
Parameter Sweeps for Functional MRI Research in the "Virtual Laboratory for e-Science" Project
Image analysis is an important component of neuroscience research. The ICT infrastructure and technical knowledge needed to perform (large scale) neuroimaging studies, however, is...
Sílvia Delgado Olabarriaga, Aart J. Nederve...
121
Voted
JUCS
2007
91views more  JUCS 2007»
15 years 1 months ago
Generative Instructional Engineering of Competence Development Programmes
: Competence development programmes are collections of units of learning and learning activities used to increase the overall effective performance of a learner within a certain ta...
Juan Manuel Dodero, Salvador Sánchez Alonso...
WIDM
2004
ACM
15 years 7 months ago
Specialisation dynamics in federated web search
Organising large-scale Web information retrieval systems into hierarchies of topic-specific search resources can improve both the quality of results and the efficient use of com...
Rinat Khoussainov, Nicholas Kushmerick