360 search results - page 1 / 72 » Scalable Analysis of Linear Systems Using Mathematical Progr... |
VMCAI
2005
Springer
14 years 4 months ago
2005
Springer
WSC
2007
14 years 1 months ago
2007
This paper addresses several issues of using the mathematical programming representations of discrete-event dynamic systems in perturbation analysis. In particular, linear program...
WSC
2000
14 years 7 days ago
2000
Analytical models for the dynamics of some discrete event systems are introduced where the system trajectories are solutions to linear and mixed-integer programs. 1 BACKGROUND The...
TR
2008
13 years 10 months ago
2008
We consider the problem of maximizing the reliability of a series-parallel system given cost and weight constraints on the system. The number of components in each subsystem and th...
CCS
2003
ACM
14 years 4 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...