Sciweavers

3256 search results - page 122 / 652
» Mixin-Based Programming in C
Sort
View
99
Voted
SIAMJO
2008
100views more  SIAMJO 2008»
15 years 3 months ago
On Extension of Fenchel Duality and its Application
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 ...
Anhua Lin, Guoyin Li, Kung Fu Ng
138
Voted
OL
2010
87views more  OL 2010»
15 years 2 months ago
Uniqueness of integer solution of linear equations
Abstract. We consider the system of m linear equations in n integer variables Ax = d and give sufficient conditions for the uniqueness of its integer solution x ∈ {−1,1}n by r...
O. L. Mangasarian, Michael C. Ferris
156
Voted
IJACTAICIT
2010
549views more  IJACTAICIT 2010»
15 years 27 days ago
Adding PC Connectivity to the MTS-88 Microcomputer Teaching System
The MTS-88.c trainer is a training system targeting students in the microprocessors course. It has a built in single-line assembler allowing the users to enter programs in assembl...
Omar Walid Abdul-Wahab, Wameedh Nazar Flayyih
131
Voted
SIAMJO
2010
89views more  SIAMJO 2010»
14 years 10 months ago
A New Sequential Optimality Condition for Constrained Optimization and Algorithmic Consequences
Necessary first-order sequential optimality conditions provide adequate theoretical tools to justify stopping criteria for nonlinear programming solvers. These conditions are sati...
Roberto Andreani, José Mario Martíne...
DAC
2009
ACM
16 years 4 months ago
Context-sensitive timing analysis of Esterel programs
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...
Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abh...