Sciweavers

3256 search results - page 114 / 652
» Mixin-Based Programming in C
Sort
View
MP
2008
91views more  MP 2008»
15 years 3 months ago
The rate of convergence of the augmented Lagrangian method for nonlinear semidefinite programming
We analyze the rate of local convergence of the augmented Lagrangian method for nonlinear semidefinite optimization. The presence of the positive semidefinite cone constraint requ...
Defeng Sun, Jie Sun, Liwei Zhang
150
Voted
APSEC
1996
IEEE
15 years 7 months ago
A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...
Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima
140
Voted
DISOPT
2008
89views more  DISOPT 2008»
15 years 3 months ago
Group sequencing around a common due date
The problem of scheduling groups of jobs on a single machine under the group technology assumption is studied. Jobs of the same group are processed contiguously and a sequence ind...
T. C. Edwin Cheng, Mikhail Y. Kovalyov, C. T. Ng, ...
POPL
2002
ACM
16 years 3 months ago
CCured: type-safe retrofitting of legacy code
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
George C. Necula, Scott McPeak, Westley Weimer

Book
524views
17 years 1 months ago
Programming The Nintendo Game Boy Advance: The Unofficial Guide
All you need to know about the Nintendo game development. You will need to be a proficient in the C Language in order to follow this book.
Jonathan S. Harbour