4609 search results - page 832 / 922 » Automatic Generation of Sigma-Protocols |
179
click to vote
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
Arbitrary memory dependencies and variable latency memory systems are major obstacles to the synthesis of large-scale ASIC systems in high-level synthesis. This paper presents SOM...
147
click to vote
ICSM
2005
IEEE
15 years 11 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
167
Voted
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
Multimedia extensions (MME) are architectural extensions to general-purpose processors to boost the performance of multimedia workloads. Today, in-line assembly code, intrinsic fu...
165
click to vote
APLAS
2005
ACM
15 years 11 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
184
click to vote
FPGA
2005
ACM
15 years 11 months ago
2005
ACM
Creating a new FPGA is a challenging undertaking because of the significant effort that must be spent on circuit design, layout and verification. It currently takes approximately ...