9110 search results - page 1741 / 1822 » Formally-Based Design Evaluation |
PLDI
2000
ACM
14 years 2 months ago
2000
ACM
We describe the design and implementation of Dynamo, a software dynamic optimization system that is capable of transparently improving the performance of a native instruction stre...
SIGMOD
2000
ACM
14 years 2 months ago
2000
ACM
Continuous queries are persistent queries that allow users to receive new results when they become available. While continuous query systems can transform a passive web into an ac...
EDBT
2000
ACM
14 years 2 months ago
2000
ACM
Database systems support recovery, providing high database availability. However, database applications may lose work because of a server failure. In particular, if a database serv...
SIGGRAPH
1999
ACM
14 years 2 months ago
1999
ACM
“Inhabited Television” combines multiuser virtual environments with television, so that online audience-members can participate in TV shows staged in a virtual world. It is pr...
ICPP
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper presents a mesh with virtual buses as the bandwidth-efficient implementation of the mesh with multiple broadcasting on which many computational problems can be solved w...