296 search results - page 27 / 60 » Program Refactoring, Program Synthesis, and Model-Driven Dev... |
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
108
click to vote
KBSE
2003
IEEE
15 years 2 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
64
Voted
AGILEDC
2008
IEEE
15 years 4 months ago
2008
IEEE
A Coding Dojo is a meeting where a group of programmers gets together to learn, practice, and share experiences. This report describes the authors’ experience of creating and ru...
102
click to vote
ICSE
2011
IEEE-ACM
14 years 29 days ago
2011
IEEE-ACM
In this paper, we propose a new semantic clone detection e by comparing programs’ abstract memory states, which are computed by a semantic-based static analyzer. Our experimenta...
115
Voted
JMLR
2012
12 years 12 months ago
2012
We assess the generative power of the mPoTmodel of [10] with tiled-convolutional weight sharing as a model for visual textures by specifically training on this task, evaluating m...