Sciweavers

7340 search results - page 1289 / 1468
» The Behavior of Tutoring Systems
Sort
View
HPDC
2010
IEEE
15 years 7 months ago
Early observations on the performance of Windows Azure
A significant open issue in cloud computing is performance. Few, if any, cloud providers or technologies offer quantitative performance guarantees. Regardless of the potential adv...
Zach Hill, Jie Li, Ming Mao, Arkaitz Ruiz-Alvarez,...
ESA
2008
Springer
102views Algorithms» more  ESA 2008»
15 years 7 months ago
RFQ: Redemptive Fair Queuing
Fair-queuing schedulers provide clients with bandwidth or latency guarantees provided they are well-behaved i.e. the requested service is always within strict predefined limits. V...
Ajay Gulati, Peter J. Varman
GECCO
2008
Springer
261views Optimization» more  GECCO 2008»
15 years 7 months ago
SSNNS -: a suite of tools to explore spiking neural networks
We are interested in engineering smart machines that enable backtracking of emergent behaviors. Our SSNNS simulator consists of hand-picked tools to explore spiking neural network...
Heike Sichtig, J. David Schaffer, Craig B. Laramee
GECON
2008
Springer
134views Business» more  GECON 2008»
15 years 7 months ago
Rational Bidding Using Reinforcement Learning
The application of autonomous agents by the provisioning and usage of computational resources is an attractive research field. Various methods and technologies in the area of arti...
Nikolay Borissov, Arun Anandasivam, Niklas Wirstr&...
APLAS
2010
ACM
15 years 6 months ago
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
Jan Hoffmann 0002, Martin Hofmann
« Prev « First page 1289 / 1468 Last » Next »