1059 search results - page 162 / 212 » Time-triggered implementations of dynamic controllers |
PLDI
2003
ACM
14 years 3 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
JSAC
2006
13 years 10 months ago
2006
Distributed denial-of-service (DDoS) attacks pose a significant threat to the Internet. Most solutions proposed to-date face scalability problems as the size and speed of the netwo...
ICDCS
1999
IEEE
14 years 2 months ago
1999
IEEE
With the increasing complexity of large-scale distributed (LSD) systems, an efficient monitoring mechanism has become an essential service for improving the performance and reliab...
CGF
2008
13 years 10 months ago
2008
We present an interactive GPU-based algorithm for accurately rendering high-quality, dynamic glossy reflection effects from both HDR environment maps and local scene objects. Our ...
ICWS
2009
IEEE
14 years 7 months ago
2009
IEEE
The main memory management has been a critical issue to provide high performance in web cluster systems. To overcome the speed gap between processors and disks, many prefetch sche...