3473 search results - page 142 / 695 » Aspect-Oriented Programming with C |
138
click to vote
MP
2008
15 years 4 months ago
2008
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...
153
click to vote
APSEC
1996
IEEE
15 years 8 months ago
1996
IEEE
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...
281
click to vote
POPL
2002
ACM
16 years 4 months ago
2002
ACM
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 ...
262
click to vote
Book
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.
124
click to vote
CCS
2003
ACM
15 years 9 months ago
2003
ACM
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...