1941 search results - page 320 / 389 » Reasoning about Computations Using Two-Levels of Logic |
147
click to vote
PLDI
2003
ACM
15 years 8 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...
137
Voted
AAAI
1998
15 years 4 months ago
1998
The utility problem occurs when the cost of the acquired knowledge outweighs its bene ts. When the learner acquires control knowledge for speeding up a problem solver, the bene t ...
111
click to vote
HPCA
2001
IEEE
16 years 3 months ago
2001
IEEE
The use of the Java programming language for implementing server-side application logic is increasing in popularity, yet there is very little known about the architectural require...
109
Voted
SC
2000
ACM
15 years 7 months ago
2000
ACM
The performance of the MPI’s collective communications is critical in most MPI-based applications. A general algorithm for a given collective communication operation may not giv...
124
click to vote
CAMAD
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract-- In this paper we discuss the exploitation of aggregated mobility patterns and physical proximity of nodes in a so-called ambient network, i.e., a wireless network with h...