4325 search results - page 247 / 865 » Incremental computation with names |
179
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
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...
161
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Collections are omnipresent within models: collections of references can represent relations between objects, and collections of values can represent object attributes. C...
167
click to vote
CCR
2010
15 years 4 months ago
2010
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...
162
click to vote
ENTCS
2010
15 years 4 months ago
2010
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...
183
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We answer a problem posed in [GKM08] regarding a restricted model of small-space computation, tailored for solving the GEN problem. They define two variants of “incremental bra...