2374 search results - page 53 / 475 » Automatic Generation of Model Translations |
119
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we use a mathematical approach to automatically generate high performance short vector code for the discrete Fourier transform (DFT). We represent the well-known Coo...
142
click to vote
ASE
2005
15 years 4 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
143
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The key performance of many analog circuits is directly related to accurate capacitor ratios. It is well known that capacitor ratio precision is greatly enhanced by paralleling id...
160
click to vote
CICLING
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
123
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...