6432 search results - page 1245 / 1287 » Classic Mechanism Design |
135
click to vote
FLOPS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
108
click to vote
CAISE
2003
Springer
15 years 4 months ago
2003
Springer
Multi-channel information systems involve data redundancy, which, in turn, requires the implementation of synchronization mechanisms among overlapping databases. This need for peri...
115
click to vote
ISCA
1995
IEEE
15 years 4 months ago
1995
IEEE
Accurate instruction fetch and branch prediction is increasingly important on today’s wide-issue architectures. Fetch prediction is the process of determining the next instructi...
95
Voted
ISCA
1995
IEEE
15 years 4 months ago
1995
IEEE
Previous research has shown that the SPEC benchmarks achieve low miss ratios in relatively small instruction caches. This paper presents evidence that current software-development...
98
Voted
SIGGRAPH
1991
ACM
15 years 4 months ago
1991
ACM
We present an interactive modeling and animation system that facilitates the integration of a variety of simulation and animation paradigms. This system permits the modeling of di...