15792 search results - page 2586 / 3159 » Computational Abstraction Steps |
190
click to vote
PAM
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Workload characterization is important for understanding how systems and services are used in practice and to help identify design improvements. To better understand the ...
227
Voted
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
181
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
eXpressive Internet Architecture (XIA) [1] is an architecture that natively supports multiple communication types and allows networks to evolve their abstractions and functionalit...
219
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—In this paper, we implement and evaluate three different Byzantine Fault-Tolerant (BFT) state machine replication protocols for data centers: (1) BASIC: The classic solu...
273
Voted
TOG
2012
13 years 9 months ago
2012
We develop a system for 3D object retrieval based on sketched feature lines as input. For objective evaluation, we collect a large number of query sketches from human users that a...