9842 search results - page 254 / 1969 » Compositional timing analysis |
151
click to vote
RTAS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
133
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we evaluate the effectiveness of agent-based aiding in support of a time-critical team-planning task for teams of both humans and heterogeneous software agents. The ...
135
click to vote
IJCM
2002
15 years 4 months ago
2002
Abstract. The class of systems of uniform recurrence equations (UREs) is closed under unimodular transformations. As a result, every systolic array described by a unimodular mappin...
118
click to vote
PKDD
2004
Springer
15 years 9 months ago
2004
Springer
CommonGIS is a system comprising a number of tools for visual data analysis. In this paper we demonstrate our recent developments for analysis of spatial time series data.
167
click to vote
CBSE
2004
Springer
15 years 9 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...