2468 search results - page 483 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
138
click to vote
MOBISYS
2009
ACM
16 years 6 days ago
2009
ACM
Top end mobile phones include a number of specialized (e.g., accelerometer, compass, GPS) and general purpose sensors (e.g., microphone, camera) that enable new people-centric sen...
CHI
2007
ACM
16 years 1 days ago
2007
ACM
We present the case study of a complex, mixed-initiative scheduling system to illustrate Work-Centered Design (WCD), a new approach for the design of information systems. WCD is b...
110
Voted
IM
2007
15 years 1 months ago
2007
— Accurately estimating end-to-end performance in distributed systems is essential both for monitoring compliance with service-level agreements (SLAs) and for performance optimiz...
101
click to vote
IEEEPACT
2007
IEEE
15 years 6 months ago
2007
IEEE
Effective use of communication networks is critical to the performance and scalability of parallel applications. Partitioned Global Address Space languages like UPC bring the pro...
SIGMETRICS
2005
ACM
15 years 5 months ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...