1690 search results - page 176 / 338 » Algorithmic Properties of Millstream Systems |
137
click to vote
ASPLOS
2004
ACM
15 years 10 months ago
2004
ACM
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...
137
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
149
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
138
click to vote
ISPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
—Providing independent uniform samples from a system population poses considerable problems in highly dynamic settings, like P2P systems, where the number of participants and the...
134
click to vote
JMLR
2010
14 years 11 months ago
2010
Virtually all methods of learning dynamic systems from data start from the same basic assumption: the learning algorithm will be given a sequence of data generated from the dynami...