966 search results - page 47 / 194 » Global Optimization of Compositional Systems |
CC
2002
Springer
14 years 9 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
We derive optimal bidding strategies for a global bidding agent that participates in multiple, simultaneous second-price auctions with perfect substitutes. We first consider a mo...
107
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...
CGO
2006
IEEE
15 years 3 months ago
2006
IEEE
Dynamic optimization relies on phase detection for two important functions (1) To detect change in code working set and (2) To detect change in performance characteristics that ca...
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract-- We consider arbitrarily many interconnected integral Input-to-State Stable (iISS) systems in an arbitrary interconnection topology and provide an (i)ISS comparison princ...