An efficient locking and unlocking method of sequential systems

Proceedings of the 2012 ACM Research in Applied Computation Symposium on - RACS '12 ◽

10.1145/2401603.2401694 ◽

2012 ◽

Author(s):

Edward Jung ◽

C-C Hung ◽

Seonho Choi ◽

Ming Yang

Keyword(s):

Sequential Systems

Download Full-text

Interconnections reduction by expandable level/transition sensitive flip-flops in sequential systems

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)53990-7 ◽

1977 ◽

Vol 10 (2) ◽

pp. 43-53

Author(s):

A. Leussler

Keyword(s):

Sequential Systems ◽

Level Transition

Download Full-text

The Bridge from Present (Sequential) Systems to Future (Parallel) Systems: The Parallel Programming Environments Express and CSTools

Scientific Computing on Supercomputers II ◽

10.1007/978-1-4613-0659-7_9 ◽

1990 ◽

pp. 175-194

Author(s):

Patrick Van Renterghem

Keyword(s):

Parallel Programming ◽

Parallel Systems ◽

Programming Environments ◽

Sequential Systems

Download Full-text

Prototyping and analysis of non-sequential systems using predicate-event nets

Journal of Systems and Software ◽

10.1016/0164-1212(91)90076-i ◽

1991 ◽

Vol 15 (1) ◽

pp. 43-62 ◽

Author(s):

Heinz W. Schmidt

Keyword(s):

Sequential Systems

Download Full-text

Sequential Systems Failure

Encyclopedia of Intensive Care Medicine ◽

10.1007/978-3-642-00418-6_2187 ◽

2012 ◽

pp. 2060-2060

Author(s):

John Kashani ◽

Richard D. Shih ◽

Thomas H. Cogbill ◽

David H. Jang ◽

Lewis S. Nelson ◽

...

Keyword(s):

Sequential Systems ◽

Systems Failure

Download Full-text

Analysis of Sequential Systems

Algorithms and Data Structures in VLSI Design ◽

10.1007/978-3-642-58940-9_10 ◽

1998 ◽

pp. 173-197

Author(s):

Christoph Meinel ◽

Thorsten Theobald

Keyword(s):

Sequential Systems

Download Full-text

Representation and Classification of Sequential Systems

Switching Machines ◽

10.1007/978-94-010-2864-6_5 ◽

1972 ◽

pp. 276-323

Author(s):

J.-P. Perrin ◽

M. Denouette ◽

E. Daclin

Keyword(s):

Sequential Systems

Download Full-text

Introduction to Sequential Systems

Switching Machines ◽

10.1007/978-94-010-2864-6_4 ◽

1972 ◽

pp. 228-275

Author(s):

J.-P. Perrin ◽

M. Denouette ◽

E. Daclin

Keyword(s):

Sequential Systems

Download Full-text

Maximally concurrent evolution of non-sequential systems

Lecture Notes in Computer Science - Seminar on Concurrency ◽

10.1007/3-540-15670-4_13 ◽

1985 ◽

pp. 268-280 ◽

Author(s):

R. Janicki ◽

P. E. Lauer ◽

R. Devillers

Keyword(s):

Sequential Systems

Download Full-text

Hazard analysis of structured sequential systems

Proceedings of Simulation Symposium ◽

10.1109/simsym.1995.393567 ◽

2002 ◽

Author(s):

C. Rominger ◽

J.-C. Geffroy

Keyword(s):

Hazard Analysis ◽

Sequential Systems

Download Full-text

A formal method for event-triggered sequential systems

Formal Description Techniques VIII - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34945-9_14 ◽

1996 ◽

pp. 185-200

Author(s):

C. Petersohn

Keyword(s):

Formal Method ◽

Sequential Systems ◽

Event Triggered

Download Full-text