859 search results - page 49 / 172 » Explaining Synthesized Software |
118
Voted
IWSAS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Self-adaptive systems must recon gure themselves, at runtime, to compensate for changing environments, objectives, and system capabilities. This paper discusses how the S...
136
Voted
ISIP
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper proposes an FPGA implementation of an Adaptive Noise Canceller using the Least Mean Square (LMS) algorithm. The hardware architecture is synthesized using the Xilinx Sp...
103
Voted
MEMOCODE
2005
IEEE
15 years 8 months ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...
106
Voted
ESEM
2007
ACM
15 years 6 months ago
2007
ACM
Comprehension errors in software design must be detected at their origin to avoid propagation into later portions of the software lifecycle and also the final system. This researc...
140
Voted
FPL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. High level modeling tools make it possible to synthesize a high performance FPGA design directly from a Simulink model. Accurate estimates of the FPGA resources required ...