9387 search results - page 1808 / 1878 » An Optimal Process Model for a Real Time Process |
100
click to vote
PE
2002
Springer
14 years 11 months ago
2002
Springer
Previous analyses of scalable streaming protocols for delivery of stored multimedia have largely focused on how the server bandwidth required for full-file delivery scales as the ...
115
click to vote
SIAMCO
2011
14 years 6 months ago
2011
The choice of admissible trading strategies in mathematical modelling of financial markets is a delicate issue, going back to Harrison and Kreps [HK79]. In the context of optimal...
218
click to vote
SIGCOMM
2012
ACM
13 years 2 months ago
2012
ACM
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...
128
Voted
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
118
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...