Sciweavers

1458 search results - page 177 / 292
» Monads for incremental computing
Sort
View
TIT
2002
116views more  TIT 2002»
15 years 3 months ago
On delayed prediction of individual sequences
Prediction of individual sequences is investigated for cases in which the decision maker observes a delayed version of the sequence, or is forced to issue his/her predictions a nu...
Marcelo J. Weinberger, Erik Ordentlich
ISOLA
2010
Springer
15 years 2 months ago
An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks
Abstract. Interface-based design relies on the idea that different components of a system may be developed independently and a system designer can connect them together only if th...
Nikolay Stoimenov, Samarjit Chakraborty, Lothar Th...
MODELS
2010
Springer
15 years 2 months ago
Active Operations on Collections
Abstract. Collections are omnipresent within models: collections of references can represent relations between objects, and collections of values can represent object attributes. C...
Olivier Beaudoux, Arnaud Blouin, Olivier Barais, J...
CCR
2010
132views more  CCR 2010»
15 years 1 months ago
Scafida: a scale-free network inspired data center architecture
Data centers have a crucial role in current Internet architecture supporting content-centric networking. State-of-theart data centers have different architectures like fat-tree [1...
László Gyarmati, Tuan Anh Trinh
ENTCS
2010
88views more  ENTCS 2010»
15 years 1 months ago
Range and Set Abstraction using SAT
d Set Abstraction using SAT Edd Barrett Andy King School of Computing, University of Kent, CT2 7NF, UK Symbolic decision trees are not the only way to correlate the relationship b...
Edd Barrett, Andy King