155 search results - page 30 / 31 » Using Genetic Programming and High Level Synthesis to Design... |
116
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
148
Voted
CGO
2011
IEEE
14 years 6 months ago
2011
IEEE
—Approximating ideal program outputs is a common technique for solving computationally difficult problems, for adhering to processing or timing constraints, and for performance ...
137
click to vote
DAC
2008
ACM
15 years 4 months ago
2008
ACM
Clock skew scheduling has been traditionally considered as a tool for improving the clock period in a sequential circuit. Timing slack is "stolen" from fast combinationa...
133
Voted
IEEEPACT
2005
IEEE
15 years 8 months ago
2005
IEEE
Hiding communication latency is an important optimization for parallel programs. Programmers or compilers achieve this by using non-blocking communication primitives and overlappi...
121
Voted
COMPUTER
2002
15 years 2 months ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...