7103 search results - page 330 / 1421 » Components and Generative Programming |
187
click to vote
TOMS
1998
15 years 6 months ago
1998
This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential ...
169
Voted
TACAS
2009
Springer
16 years 1 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...
161
click to vote
NIPS
1997
15 years 8 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...
123
Voted
ICSE
2003
IEEE-ACM
16 years 6 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...
169
click to vote
ICAS
2006
IEEE
16 years 22 days 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 ...