9521 search results - page 501 / 1905 » Compiling with continuations, continued |
148
click to vote
BIOADIT
2004
Springer
15 years 10 months ago
2004
Springer
With the growth of computing power and the proliferation of broadband access to the Internet, the use of media streaming has become widely diffused. By using the P2P communication...
197
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
143
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
135
click to vote
EUC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In distributed streaming media server clusters, by adopting cooperative caching (CC) technique, the free memory of all the servers can be combined to form a bigger, logic...
164
click to vote
HYBRID
2004
Springer
15 years 10 months ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...