901 search results - page 13 / 181 » Analyzing linear mergers |
HYBRID
2010
Springer
14 years 3 months ago
2010
Springer
Analysis of stability and stabilizability of switched linear systems is a well-researched topic. This article pursues a polar coordinate approach which offers a convenient framew...
ESORICS
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. Trigger-based code (malicious in many cases, but not necessarily) only executes when specific inputs are received. Symbolic execution has been one of the most powerful t...
CCS
2003
ACM
14 years 1 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...
CAV
2006
Springer
14 years 6 days ago
2006
Springer
We show that termination of a simple class of linear loops over the integers is decidable. Namely we show that termination of deterministic linear loops is decidable over the integ...
ADCM
2010
13 years 6 months ago
2010
We analyze an immersed interface finite element method based on linear polynomials on noninterface triangular elements and piecewise linear polynomials on interface triangular elem...