Sciweavers

3708 search results - page 141 / 742
» Programming with C Exceptions
Sort
View
145
Voted
SIAMJO
2002
96views more  SIAMJO 2002»
15 years 4 months ago
Lagrangian Dual Interior-Point Methods for Semidefinite Programs
This paper proposes a new predictor-corrector interior-point method for a class of semidefinite programs, which numerically traces the central trajectory in a space of Lagrange mul...
Mituhiro Fukuda, Masakazu Kojima, Masayuki Shida
236
Voted
WCRE
2002
IEEE
15 years 10 months ago
Program Annotation in XML: A Parse-Tree Based Approach
In this paper we describe a technique that can be used to annotate source code with syntactic tags in XML format. This is achieved by modifying the parser generator bison to emit ...
James F. Power, Brian A. Malloy
145
Voted
MP
2008
91views more  MP 2008»
15 years 5 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
STOC
2012
ACM
193views Algorithms» more  STOC 2012»
13 years 7 months ago
A new point of NP-hardness for unique games
d abstract; full version begins on page 13) Ryan O’Donnell∗ John Wright† November 2, 2011 We show that distinguishing 1 2 -satisfiable Unique-Games instances from (3 8 + )-...
Ryan O'Donnell, John Wright
APSEC
1996
IEEE
15 years 9 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