1894 search results - page 141 / 379 » A TLA Proof System |
138
click to vote
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
129
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Bipolar synchronization systems (BP-systems) constitute a class of coloured Petri nets, well suited for modelling the control flow of discrete dynamical systems. Every BP-system ha...
101
click to vote
SP
2009
IEEE
15 years 10 months ago
2009
IEEE
The Flume system is an implementation of decentralized information flow control (DIFC) at the operating system level. Prior work has shown Flume can be implemented as a practical ...
115
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— It has been established in the literature that the cascade interconnection of two bilinear systems does not in general produce another bilinear system. The goals of this paper ...
120
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— MIMO channels and wireless communications systems have generated a great deal of renewed interest in linear system theory. This paper presents two results. The first i...