859 search results - page 22 / 172 » Explaining Synthesized Software |
SPLC
2007
13 years 9 months ago
2007
Early generation software product line (SPL) methodologies tended to be large, complex, and offer many options and choices, making adoption in practice difficult to comprehend, ju...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
PDP
2006
IEEE
14 years 2 months ago
2006
IEEE
Commodity symmetric multiprocessors (SMPs), though originally intended for transaction processing, because of their availability, are now used for numerical analysis applications ...
IWPC
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents an analysis of software architecture as social artifact, that is, something that software developers talk about and use in their work. This analysis is histori...
ASAP
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper introduces basic principles for extending the classical systolic synthesis methodology to multi-dimensional time. Multi-dimensional scheduling enables complex algorithm...