627 search results - page 11 / 126 » Branched Polyhedral Systems |
ICALP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
VTC
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— In this paper, a performance analysis of a dualbranch switched diversity system operating on identically distributed Nakagami-m fading channels is presented. An adaptiv...
CGO
2007
IEEE
14 years 2 months ago
2007
IEEE
Software Dynamic Translation (SDT) systems are used for program instrumentation, dynamic optimization, security, intrusion detection, and many other uses. As noted by many researc...
IPL
2010
13 years 7 months ago
2010
Branching vector addition systems are an extension of vector addition systems where new reachable vectors may be obtained by summing two reachable vectors and adding an integral v...
APLAS
2009
ACM
14 years 1 months ago
2009
ACM
In this paper we present polynomial time algorithms deciding branching bisimilarity between finite-state systems and several classes of infinite-state systems: BPA and normed BPP...