11739 search results - page 144 / 2348 » Slideshow: functional presentations |
134
click to vote
COMPSAC
1996
IEEE
15 years 8 months ago
1996
IEEE
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
136
click to vote
FPGA
1997
ACM
15 years 8 months ago
1997
ACM
Circuit specialization techniques such as constant propagation are commonly used to reduce both the hardware resources and cycle time of digital circuits. When recon gurable FPGAs...
138
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the...
140
click to vote
EPEW
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...
175
click to vote
EUC
2006
Springer
15 years 8 months ago
2006
Springer
Extracting appropriate custom instructions is an important phase for implementing an application on an extensible processor with a reconfigurable functional unit (RFU). Custom inst...