3736 search results - page 37 / 748 » Hand-Writing Program Generator Generators |
CODES
2005
IEEE
15 years 5 months ago
2005
IEEE
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...
SAC
2010
ACM
15 years 5 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
ICALP
2001
Springer
15 years 4 months ago
2001
Springer
We consider the problem of enumerating all minimal integer solutions of a monotone system of linear inequalities. We first show that for any monotone system of r linear inequaliti...
ICCAD
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper presents a method to automatically generate posynomial response surface models for the performance parameters of analog integrated circuits. The posynomial models enabl...
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...