2661 search results - page 292 / 533 » Model Checking Performability Properties |
117
Voted
CASCON
2008
15 years 2 months ago
2008
Resource allocation in database management systems is a performance management process in which an autonomic DBMS makes resource allocation decisions based on properties like work...
108
click to vote
JNW
2006
15 years 21 days ago
2006
Simulation is the most important and widely used method in the research of Mobile Ad hoc NETworks (MANET). The topology of MANET and the mobility of mobile nodes are the key factor...
103
Voted
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— A deep understanding of the structural properties of wireless networks is critical for evaluating the performance of network protocols and improving their designs. Many protoco...
SIGGRAPH
2010
ACM
15 years 5 months ago
2010
ACM
We present a technique for learning clothing models that enables the simultaneous animation of thousands of detailed garments in real-time. This surprisingly simple conditional mo...
100
click to vote
PDP
2009
IEEE
15 years 7 months ago
2009
IEEE
Existing approaches for modelling the Internet delay space predict end-to-end delays between two arbitrary hosts as static values. Further, they do not capture the characteristics...