3404 search results - page 130 / 681 » C Programming Tutorial |
SIAMJO
2008
14 years 9 months ago
2008
By considering the epigraphs of conjugate functions, we extend the Fenchel duality, applicable to a (possibly infinite) family of proper lower semicontinuous convex functions on a ...
DAC
2009
ACM
15 years 11 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
SIGSOFT
2002
ACM
15 years 10 months ago
2002
ACM
Consider the execution of a failing program as a sequence of program states. Each state induces the following state, up to the failure. Which variables and values of a program sta...
KBSE
1997
IEEE
15 years 2 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
158
click to vote
Source Code
A C++ program that utilizes the quick and accurate implementation of the simplex method (i.e., unconstrained nonlinear optimization) using vtk 4.2.