27827 search results - page 15 / 5566 » Generating |
CAV
2009
Springer
14 years 8 months ago
2009
Springer
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...
KDD
2007
ACM
14 years 8 months ago
2007
ACM
ISMVL
2006
IEEE
14 years 1 months ago
2006
IEEE
A multiple-valued input address generator produces a unique address given a multiple-valued input data vector. This paper presents methods to realize multiple-valued input address...
IJCNLP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. One important component of interactive systems is the generation component. While template-based generation is appropriate in many cases (for example, task oriented spoke...