5830 search results - page 222 / 1166 » Automatic link generation |
159
click to vote
ENTCS
2010
15 years 3 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
175
click to vote
MEMICS
2010
15 years 1 months ago
2010
We describe an automated way to generate data for a practical LLVM instruction selector based on machine-generated description of the target architecture at register transfer leve...
165
click to vote
IPM
2007
15 years 6 months ago
2007
We show some limitations of the ROUGE evaluation method for automatic summarization. We present a method for automatic summarization based on a Markov model of the source text. By...
160
click to vote
VLSID
2009
IEEE
16 years 6 months ago
2009
IEEE
We present the automatic test pattern generator TIGUAN based on a thread-parallel SAT solver. Due to a tight integration of the SAT engine into the ATPG algorithm and a carefully ...
152
click to vote
SEMCO
2007
IEEE
16 years 16 days ago
2007
IEEE
Model-driven development depends on good initial models. Creating these models by hand is a challenging task, because of complex specification documents and change requests. We p...