4609 search results - page 69 / 922 » Automatic Generation of Sigma-Protocols |
144
Voted
ITCC
2003
IEEE
15 years 10 months ago
2003
IEEE
As web information systems tend to mature it has become increasingly important to have an engineered design of such systems. Hera is a design methodology that supports the develop...
174
click to vote
ISQED
2002
IEEE
15 years 10 months ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
Peephole optimizers are typically constructed using human-written pattern matching rules, an approach that requires expertise and time, as well as being less than systematic at ex...
152
click to vote
FPGA
2000
ACM
15 years 8 months ago
2000
ACM
In this paper we present a "high-level" FPGA architecture description language which lets FPGA architects succinctly and quickly describe an FPGA routing architecture. W...
163
click to vote
JOT
2008
15 years 5 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...