9110 search results - page 474 / 1822 » Formally-Based Design Evaluation |
340
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
We present the design, implementation, and evaluation of ArrayStore, a new storage manager for complex, parallel array processing. ArrayStore builds on prior work in the area of m...
224
click to vote
BIRTHDAY
2011
Springer
14 years 6 months ago
2011
Springer
In this paper, we consider the challenge of designing a reflective middleware to integrate multiple autonomous simulation models into an integrated simulation environment (multiasi...
201
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—BitTorrent has been the most popular P2P (Peer-toPeer) paradigm during recent years. Built upon great intuition, the piece-selection and neighbor-selection modules roote...
149
click to vote
WSC
1997
15 years 8 months ago
1997
Simulation is used to evaluate parking space availability for a current layout and for future design options at Miami University. By using simulation, an alternative design that i...
156
click to vote
SIGCOMM
2006
ACM
16 years 24 days ago
2006
ACM
This paper describes VINI, a virtual network infrastructure that allows network researchers to evaluate their protocols and services in a realistic environment that also provides ...