1557 search results - page 267 / 312 » Programming up to Congruence |
107
click to vote
ASPLOS
2006
ACM
15 years 2 months ago
2006
ACM
Architects use cycle-by-cycle simulation to evaluate design choices and understand tradeoffs and interactions among design parameters. Efficiently exploring exponential-size desig...
110
Voted
ECOOP
2004
Springer
15 years 2 months ago
2004
Springer
In this paper, we present a solution that allows systems to remain active while they are evolving. Our approach goes out from the principle of separated concerns and has two steps....
124
click to vote
ESA
1995
Springer
15 years 2 months ago
1995
Springer
An input to the betweenness problem contains m constraints over n real variables (points). Each constraint consists of three points, where one of the points is specified to lie in...
MICRO
1995
IEEE
15 years 2 months ago
1995
IEEE
Untolerated load instruction latencies often have a significant impact on overall program performance. As one means of mitigating this effect, we present an aggressive hardware-b...
131
click to vote
SDB
1995
15 years 2 months ago
1995
Most of work on partial information in databases asks which operations of standard languages, like relational algebra, can still be performed correctly in the presence of nulls. In...