5090 search results - page 273 / 1018 » Constructing Strategies for Programming |
163
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
126
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
128
click to vote
IWPC
2007
IEEE
15 years 11 months ago
2007
IEEE
Programmers need tools to help explore large software systems when performing software evolution tasks. A variety of tools have been created to improve the effectiveness of such e...
137
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Constraint satisfaction problems (CSPs) are ubiquitous in many real-world contexts. However, modeling a problem as a CSP can be very challenging, usually requiring considerable ex...
151
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
We use rhetorical annotations to specify a generation process that can assemble meaningful video sequences with a communicative goal and an argumentative progression. Our annotati...