8874 search results - page 1661 / 1775 » A New Implementation of Automath |
141
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
Middleware provides simplicity and uniformity for the development of distributed applications. However, the modularity of the architecture of middleware is starting to disintegrat...
122
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
137
click to vote
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
The use of inaccurate or outdated database statistics by the query optimizer in a relational DBMS often results in a poor choice of query execution plans and hence unacceptably lo...
120
click to vote
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
As database application performance depends on the utilization of the memory hierarchy, smart data placement plays a central role in increasing locality and in improving memory ut...
141
click to vote
MIR
2010
ACM
15 years 9 months ago
2010
ACM
As real-time broadcasting services are becoming more popular, many people are sharing live events with remote users. Despite the success of real-time broadcasting services, a numb...