Sciweavers

711 search results - page 60 / 143
» Scalable and Modular Scheduling
Sort
View
SIAMCOMP
2010
104views more  SIAMCOMP 2010»
14 years 8 months ago
Server Scheduling to Balance Priorities, Fairness, and Average Quality of Service
Often server systems do not implement the best known algorithms for optimizing average Quality of Service (QoS) out of concern of that these algorithms may be insufficiently fair ...
Nikhil Bansal, Kirk Pruhs
OOPSLA
2010
Springer
15 years 1 days ago
The two-state solution: native and serializable continuations accord
Continuation-based Web servers provide advantages over traditional Web application development through the increase of expressive power they allow. This leads to fewer errors and ...
Jay A. McCarthy
CEC
2005
IEEE
15 years 7 months ago
Evolving binary decision diagrams using implicit neutrality
Abstract- A new algorithm is presented for evolving Binary Decision Diagrams (BDD) that employs the neutrality implicit in the BDD representation. It is shown that an effortless ne...
Richard M. Downing
ENTCS
2006
137views more  ENTCS 2006»
15 years 1 months ago
Automated Security Protocol Analysis With the AVISPA Tool
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
Luca Viganò
EGH
2009
Springer
14 years 11 months ago
Embedded function composition
A low-level graphics processor is assembled from a collection of hardwired functions of screen coordinates embedded directly in the display. Configuration of these functions is co...
Turner Whitted, James T. Kajiya, Erik Ruf, Ray Bit...