3736 search results - page 84 / 748 » Generative Programming |
109
Voted
SCAM
2007
IEEE
15 years 8 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
127
click to vote
GPCE
2005
Springer
15 years 7 months ago
2005
Springer
One of the themes in building reusable and maintainable software is identifying similarities and designing generic solutions to unify similarity patterns. In this paper, we analyze...
126
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
121
click to vote
IACR
2011
14 years 1 months ago
2011
: Random number generator designs are discussed, which utilize oscillatory metastability, induced by switching between two stable states of ring‐connected di...
123
Voted
ERSHOV
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present an algorithm for generating all polynomial invariants of Psolvable loops with assignments and nested conditionals. We prove termination of our algorithm. The p...