53390 search results - page 51 / 10678 » Computer Systems Analysis |
134
click to vote
DAC
1996
ACM
15 years 6 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
145
click to vote
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
We introduce a framework for defining a distance on the (non-Euclidean) space of Linear Dynamical Systems (LDSs). The proposed distance is induced by the action of the group of o...
103
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...
132
click to vote
EUROSSC
2006
Springer
15 years 6 months ago
2006
Springer
Despite many years of ubiquitous computing (ubicomp) middleware research, deployment of such systems has not been widespread. We suggest this is in part because we lack a shared mo...
136
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Sensitivity analysis is an indispensable tool for the analysis of complex systems. In a recent paper, we have introduced a thermodynamically consistent variance-based ...