9067 search results - page 1774 / 1814 » Adaptive Model Checking |
134
click to vote
MOBICOM
2004
ACM
15 years 8 months ago
2004
ACM
The progress of mobile device technology unfolds a new spectrum of applications that challenges conventional infrastructure models. Most of these devices are perceived by their us...
155
Voted
SC
2004
ACM
15 years 8 months ago
2004
ACM
This paper presents a parallel visualization pipeline implemented at the Pittsburgh Supercomputing Center (PSC) for studying the largest earthquake simulation ever performed. The ...
178
click to vote
SIGMETRICS
2004
ACM
15 years 8 months ago
2004
ACM
The use of environmental energy is now emerging as a feasible energy source for embedded and wireless computing systems such as sensor networks where manual recharging or replacem...
123
Voted
SIGMETRICS
2004
ACM
15 years 8 months ago
2004
ACM
Traditional Peer-to-Peer (P2P) networks do not provide service differentiation and incentive for users. Consequently, users can easily access information without contributing any ...
124
click to vote
IWQOS
2004
Springer
15 years 7 months ago
2004
Springer
— Managing the performance of multiple-tiered Web sites under high client loads is a critical problem with the advent of dynamic content and database-driven servers on the Intern...