1173 search results - page 66 / 235 » Program Derivation Using Analogy |
178
click to vote
POPL
2000
ACM
15 years 7 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
159
click to vote
DAC
2007
ACM
16 years 3 months ago
2007
ACM
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...
102
Voted
IJON
2008
15 years 2 months ago
2008
We describe here a method for building a support vector machine (SVM) with integer parameters. Our method is based on a branchand-bound procedure, derived from modern mixed intege...
121
Voted
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
170
click to vote
LCPC
1992
Springer
15 years 6 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...