3736 search results - page 105 / 748 » Hand-Writing Program Generator Generators |
118
click to vote
PC
2006
15 years 2 months ago
2006
Generative parallel design patterns is a proven technique to improve the productivity of parallel program development. However many of the generative design-pattern systems are de...
110
Voted
ANOR
2008
15 years 2 months ago
2008
Abstract Column generation techniques have become a widely used technique to successfully solve large (integer) linear programs. One of the keys to obtaining a practically efficien...
106
Voted
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
109
click to vote
ICS
1997
Tsinghua U.
15 years 6 months ago
1997
Tsinghua U.
Standard restructuring compiler tools are based on polyhedral algebra and cannot be used to analyze or restructure sparse matrix codes. We have recently shown that tools based on ...
130
click to vote
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
Signature-based tools such as network intrusion detection systems are widely used to protect critical systems. Automatic signature generation techniques are needed to enable these...