3736 search results - page 140 / 748 » Hand-Writing Program Generator Generators |
148
click to vote
AAAI
1993
15 years 6 months ago
1993
Understanding flow in the three-dimensional phase space is challenging both to human experts and to current computer science technology. To break through the barrier, we are build...
113
click to vote
DAC
1997
ACM
15 years 9 months ago
1997
ACM
We present a novel technique CLIP for optimizing both the height and width of CMOS cell layouts in the two-dimensional (2D) style. CLIP is based on integer-linear programming (ILP...
163
click to vote
EURODAC
1994
IEEE
15 years 9 months ago
1994
IEEE
This paper presents an algorithm for generation of test patterns for strong robust path delay faults, i.e. tests that propagate the fault along a single path and additionally are ...
140
Voted
ADAEUROPE
2007
Springer
15 years 6 months ago
2007
Springer
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...
126
click to vote
TACAS
2010
Springer
15 years 12 months ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...