Sciweavers

1818 search results - page 80 / 364
» Operant conditioning
Sort
View
DAGSTUHL
2008
13 years 10 months ago
Interval Arithmetic Using SSE-2
ABSTRACT. We present an implementation of double precision interval arithmetic using the single-instruction-multiple-data SSE-2 instruction and register set extensions. The impleme...
Branimir Lambov
OSDI
2000
ACM
13 years 10 months ago
System Support for Bandwidth Management and Content Adaptation in Internet Applications
This paper describes the implementation and evaluation of an operating system module, the Congestion Manager (CM), which provides integrated network flow management and exports a ...
David G. Andersen, Deepak Bansal, Dorothy Curtis, ...
MONET
2006
88views more  MONET 2006»
13 years 8 months ago
Introducing consciousness in UWB networks by hybrid modelling of admission control
Abstract We formalize a model for a self-organizing network of nodes that operate according to the UWB principle based on hybrid modelling formalism. We design the rules that lead ...
Maria-Gabriella Di Benedetto, Guerino Giancola, Ma...
FSTTCS
2005
Springer
14 years 2 months ago
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saras...
SC
2009
ACM
14 years 3 months ago
Evaluating the impact of inaccurate information in utility-based scheduling
Proponents of utility-based scheduling policies have shown the potential for a 100–1400% increase in value-delivered to users when used in lieu of traditional approaches such as...
Alvin AuYoung, Amin Vahdat, Alex C. Snoeren