8109 search results - page 1261 / 1622 » A Model of Component-Based Programming |
159
click to vote
FMCAD
2000
Springer
15 years 8 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...
156
Voted
LCR
2000
Springer
15 years 8 months ago
2000
Springer
We present Tigris, a high-performance computation and I/O substrate for clusters of workstations that is implemented entirely in Java. Tigris automatically balances resource load a...
146
Voted
PRICAI
2000
Springer
15 years 8 months ago
2000
Springer
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the m...
123
Voted
DAC
1995
ACM
15 years 8 months ago
1995
ACM
Abstract—We present a new approach to event-driven simulation that does not use a centralized run-time event queue, yet is capable of handling arbitrary models, including those w...
148
Voted
FPGA
1995
ACM
15 years 8 months ago
1995
ACM
A novel approach is presented for transforming a given scheduled and bound signal processing algorithm for a multiplexer based datapath to a BUS/RAM based FPGA datapath. A datapat...