1768 search results - page 262 / 354 » A Logic for Algebraic Effects |
173
Voted
EDBT
2000
ACM
15 years 9 months ago
2000
ACM
The management and query processing of one dimensional intervals is a special case of extended object handling. One dimensional intervals play an important role in temporal databa...
177
click to vote
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
174
click to vote
FPL
2000
Springer
15 years 9 months ago
2000
Springer
Message sequencing and channel assignment are two important aspects to consider in optimizing the performance of Wavelength Division Multiplexing (WDM) networks. A scheduling techn...
182
click to vote
MICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...
177
click to vote
DAC
1995
ACM
15 years 9 months ago
1995
ACM
Abstract—With delays due to the physical interconnect dominating the overall logic path delays, circuit-level delay optimization must take interconnect effects into account. Inst...