462 search results - page 9 / 93 » Axioms for Real-Time Logics |
ARC
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents the design and FPGA-implementation of a sampler that is suited for sampling real-time events in embedded systems. Such sampling is useful, for example, to test ...
ICTAC
2004
Springer
15 years 2 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
IWSOC
2003
IEEE
15 years 2 months ago
2003
IEEE
The new technology of reconfigurable System-on-Chip is shown to be a good match to the requirements of realtime embedded systems. In particular, the judicious use of specialised d...
APSEC
1998
IEEE
15 years 1 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
AML
2006
14 years 9 months ago
2006
The paper considers a commonly used axiomatization of the classical propositional logic and studies how different axiom schemata in this system contribute to proof complexity of th...