3736 search results - page 545 / 748 » Hand-Writing Program Generator Generators |
136
click to vote
SCAM
2006
IEEE
16 years 15 days ago
2006
IEEE
An approach for factoring source-code differences is presented. A single large difference between two versions of a program is decomposed into factors (i.e., smaller changes). The...
171
click to vote
APLAS
2006
ACM
16 years 14 days ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...
173
click to vote
CASES
2006
ACM
16 years 14 days ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
184
click to vote
ISLPED
2006
ACM
16 years 13 days ago
2006
ACM
All existing methods for thermal-via allocation are based on a steady-state thermal analysis and may lead to excessive number of thermal vias. This paper develops an accurate and ...
137
click to vote
ISSTA
2006
ACM
16 years 13 days ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...