Search Results - "Brzozowski, J A"

Refine Results
  1. 1

    Delay-insensitivity and ternary simulation by Brzozowski, J.A.

    Published in Theoretical computer science (17-08-2000)
    “…Consider a network N constructed from a set of modules interconnected by wires. Suppose that there is a formal specification Σ for N, and that the behavior of…”
    Get full text
    Journal Article Conference Proceeding
  2. 2

    de Morgan bisemilattices by Brzozowski, J.A.

    “…We study de Morgan bisemilattices, which are algebras of the form (S, /spl cup/, /spl and/, /sup -/, 1, 0), where (S, /spl cup/, /spl and/) is a bisemilattice,…”
    Get full text
    Conference Proceeding Journal Article
  3. 3

    True concurrency in models of asynchronous circuit behavior by Silver, S J, Brzozowski, J A

    Published in Formal methods in system design (01-05-2003)
    “…In the study of asynchronous designs most authors use the interleaving model of concurrency when describing the behavior of a network; this is usually done for…”
    Get full text
    Journal Article
  4. 4
  5. 5

    A characterization of signed hypergraphs and its applications to VLSI via minimization and logic synthesis by Shi, C.-J, Brzozowski, J.A

    Published in Discrete Applied Mathematics (01-01-1999)
    “…A recently introduced graph-theoretic notion of signed hypergraph is studied. In particular, a structural characterization of balanced signed hypergraphs is…”
    Get full text
    Journal Article
  6. 6

    Algebras for hazard detection by Brzozowski, J.A., Esik, Z., Iland, Y.

    “…Hazards pulses are undesirable short pulses caused by stray delays in digital circuits. Such pulses not only may cause errors in the circuit operation, but…”
    Get full text
    Conference Proceeding Journal Article
  7. 7

    On the delay-sensitivity of gate networks by Brzozowski, J.A., Ebergen, J.C.

    Published in IEEE transactions on computers (01-11-1992)
    “…In classical switching theory, asynchronous sequential circuits are operated in the fundamental mode. In this mode, a circuit is started in a stable state, and…”
    Get full text
    Journal Article
  8. 8

    On serializability by Brzozowski, J. A., Muro, S.

    “…Concurrent execution of database transactions is desirable from the perspective of speed, but it may introduce inconsistencies. An often used criterion of…”
    Get full text
    Journal Article
  9. 9

    Detection of coupling faults in RAMs by Brzozowski, J. A., Cockburn, B. F.

    Published in Journal of electronic testing (01-05-1990)
    “…This article presents results fundamental to the problem of detecting coupling faults in random access memories (RAMs). Good and faulty memories are…”
    Get full text
    Journal Article
  10. 10
  11. 11

    About Feedback and SR Flip-Flops by Brzozowski, J.A.

    Published in IEEE transactions on computers (01-04-1971)
    “…Minimum feedback realizations of synchronous sequential machines using set-reset flip-flops are discussed. The known results are pointed out in order to…”
    Get full text
    Journal Article
  12. 12

    An efficient algorithm for constrained encoding and its applications by Chuan-Jin Shi, Brzozswski, J.A.

    “…An efficient algorithm and its implementation, ENCORE, are presented for finding approximate solutions to dichotomy-based constrained encoding, a problem…”
    Get full text
    Journal Article
  13. 13

    Verification of CAM tests for input stuck-at faults by Sidorowicz, P.R., Brzozowski, J.A.

    “…A comparison of three tests applied to an n-word by 1-bit static CMOS content-addressable memory (CAM) array is performed with respect to the cell input…”
    Get full text
    Conference Proceeding
  14. 14

    A Characterization of Ternary Simulation of Gate Networks by Brzozowski, Janusz A., Seger, Carl-Johan

    Published in IEEE transactions on computers (01-11-1987)
    “…Ternary simulation techniques provide efficient methods for the analysis of the behavior of VLSI circuits. However, the results of ternary simulation have not…”
    Get full text
    Journal Article
  15. 15

    Efficient constrained encoding for VLSI sequential logic synthesis by Shi, C.-J., Brzozowski, J. A.

    “…A fast heuristic algorithm, called ENCORE, is proposed for the dichotomy-based constrained encoding problem. Its implementation has been tested on MCNC…”
    Get full text
    Conference Proceeding Journal Article
  16. 16

    Regular Expressions for Linear Sequential Circuits by Brzozowski, J. A.

    Published in IEEE transactions on electronic computers (01-04-1965)
    “…This paper considers the class of linear sequential circuits from the regular expression point of view. The circuits studied do not have special starting units…”
    Get full text
    Journal Article
  17. 17

    Regular Expressions from Sequential Circuits by Brzozowski, J. A.

    Published in IEEE transactions on electronic computers (01-12-1964)
    “…In this paper the relation between a sequential circuit and its regular expression is investigated. The circuits are without special starting units. One method…”
    Get full text
    Journal Article
  18. 18

    Some Problems in Relay Circuit Design by Brzozowski, J. A.

    Published in IEEE transactions on electronic computers (01-08-1965)
    “…In the design of sequential relay circuits one often has to consider the circuit as a part of a larger system, and one must take into account the nature of the…”
    Get full text
    Journal Article
  19. 19

    Representation of a class of nondeterministic semiautomata by canonical words by Brzozowski, Janusz. A.

    Published in Theoretical computer science (05-05-2006)
    “…It has been shown recently that deterministic semiautomata can be represented by canonical words and equivalences; that work was motivated by the…”
    Get full text
    Journal Article
  20. 20