707 search results - page 11 / 142 » Some Comments on the Coding of Programs |
EMMCVPR
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Reverse-convex programming (RCP) concerns global optimization of a specific class of non-convex optimization problems. We show that a recently proposed model for sparse ...
KBSE
1998
IEEE
13 years 11 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
Many applications require the derivatives of functions defined by computer programs. Automatic differentiation (AD) is a means of developing code to compute the derivatives of com...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
We propose multi-language synchronization, a novel approach to the problem of migrating code from a legacy language (such as C) to a new language. We maintain two parallel versions...
INFSOF
2010
13 years 5 months ago
2010
Context: Measurement programs have been around for several decades but have been often misused or misunderstood by managers and developers. This misunderstanding prevented their a...