4609 search results - page 832 / 922 » Automatic Generation of Sigma-Protocols |
194
click to vote
CODES
2005
IEEE
16 years 11 days 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...
161
click to vote
ICSM
2005
IEEE
16 years 10 days 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...
186
click to vote
IPPS
2005
IEEE
16 years 10 days 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...
183
click to vote
APLAS
2005
ACM
16 years 9 days 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...
197
click to vote
FPGA
2005
ACM
16 years 8 days 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 ...