7103 search results - page 330 / 1421 » Program Generation and Components |
127
Voted
ICSE
1993
IEEE-ACM
15 years 7 months ago
1993
IEEE-ACM
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...
114
Voted
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
130
Voted
NIPS
1997
15 years 5 months ago
1997
Up-propagation is an algorithm for inverting and learning neural network generative models. Sensory input is processed by inverting a model that generates patterns from hidden var...
83
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
Reflection remains a second-class citizen in current programming models, where it's assumed to be imperative and tightly bound to its implementation. In contrast, most object...
125
Voted
ICAS
2006
IEEE
15 years 9 months ago
2006
IEEE
The trend towards autonomic systems emphasizes the need for implementation frameworks for autonomic features. In this paper we describe a general framework for the development of ...