1411 search results - page 93 / 283 » A Value Analysis for C Programs |
136
click to vote
SIAMJO
2008
15 years 4 months ago
2008
We consider a rather general class of mathematical programming problems with data uncertainty, where the uncertainty set is represented by a system of convex inequalities. We prove...
131
click to vote
SIAMJO
2002
15 years 3 months ago
2002
This paper contains a new convergence analysis for the Lewis and Torczon generalized pattern search (GPS) class of methods for unconstrained and linearly constrained optimization. ...
130
click to vote
ISCA
1997
IEEE
15 years 8 months ago
1997
IEEE
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
134
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we present an approach for analysis of systems of parallel, communicating processes for SoC design. We present a method to detect communications that synchronize the...
140
Voted
IANDC
2008
15 years 4 months ago
2008
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...