2024 search results - page 79 / 405 » The Meaning of Ordered SOS |
ITC
1993
IEEE
14 years 2 months ago
1993
IEEE
Built-In-Self-Test BIST for VLSI systems is desirable in order to reduce the cost per chip of production-time testing by the manufacturer. In addition, it can provide the means ...
FPL
1994
Springer
14 years 2 months ago
1994
Springer
This paper introduces a new high level programming language for a novel class of computational devices namely data-procedural machines. These machines are by up to several orders o...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
BROADNETS
2004
IEEE
14 years 1 months ago
2004
IEEE
This document presents provisioning strategies for emerging hybrid optical networks. The idea is to make use of policy-based management that guides the behavior of a network throu...
ICDAR
1995
IEEE
14 years 1 months ago
1995
IEEE
In this paper, we present a hybrid approach to the problem of the document analysis in which the document image is segmented by means of a top-down technique and then basic blocks...