1678 search results - page 116 / 336 » An ASM Specification of C |
184
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we research an FPGA based Application Specific Instruction Set Processor (ASIP) tailored to the needs of a flow aware Ethernet access node. The processor has an arch...
154
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...
189
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
The application of conceptual models that assure both the consistency and usability of Electronic Product Catalogs (EPC's) is a main concern in the e-commerce community, mainl...
213
click to vote
FPGA
2000
ACM
15 years 10 months ago
2000
ACM
This paper presents a benchmark suite for evaluating a configurable computing system's infrastructure, both tools and architecture. A novel aspect of this work is the use of ...
194
Voted
CAV
1997
Springer
15 years 10 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...