6300 search results - page 1076 / 1260 » We have it easy, but do we have it right |
159
click to vote
KR
1991
Springer
15 years 5 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
113
click to vote
USENIX
2008
15 years 3 months ago
2008
A virtual cluster is a promising technology for reducing management costs and improving capacity utilization in datacenters and computer centers. However, recent cluster virtualiz...
115
click to vote
AOSD
2008
ACM
15 years 3 months ago
2008
ACM
Many aspect-oriented middleware platforms support run-time aspect weaving, but do not support coordinating distributed changes to a set of aspects at run-time. A distributed chang...
148
click to vote
CASES
2007
ACM
15 years 3 months ago
2007
ACM
Aggressive compiler optimizations such as software pipelining and loop invariant code motion can significantly improve application performance, but these transformations often re...
121
click to vote
NETWORKING
2008
15 years 2 months ago
2008
Abstract. Providing scalable and efficient routing services in underwater sensor networks (UWSNs) is very challenging due to the unique characteristics of UWSNs. Firstly, UWSNs oft...