User Guide
Why can I only view 3 results?
You can also view all results when you are connected from the network of member institutions only. For non-member institutions, we are opening a 1-month free trial version if institution officials apply.
So many results that aren't mine?
References in many bibliographies are sometimes referred to as "Surname, I", so the citations of academics whose Surname and initials are the same may occasionally interfere. This problem is often the case with citation indexes all over the world.
How can I see only citations to my article?
After searching the name of your article, you can see the references to the article you selected as soon as you click on the details section.
Institutional References Quartile Statistics FAQ User Guide Contact us
Institutional Application Application for Journals
Türkçe English
 Views 9
Menu
Mendeley
Endnote
Parallel logical control algorithms: verification and hardware implementation
1996
Journal:  
Computer Science Journal of Moldova
Author:  
Abstract:

A formal language (PRALU) has been proposed for representation of parallel algorithms for logical control. The paper contains a short description of its syntax and semantics, methods of checking PRALU-algorithms for correctness and methods for their hardware implementation. They include using suggested parallel automata as a standard form of algorithms, coding their partial states by ternary vectors, and obtaining appropriate minimized systems of logical equations of the sequent type. The latter ones could be easily implemented by logic nets with matrix structure.

Keywords:

Citation Owners
Information: There is no ciation to this publication.
Similar Articles
1. Object Theories over List Superstructures
2012


  Details
 Download PDF
2. Spatiotemporal model checking of location and mobility related security policy specifications
2013


  Details
 Download PDF
3. Development of scenario modeling of conflict tools in a security system based on formal grammars
2019


  Details
 Download PDF
4. Analysis of logical-dynamic argument conversion processes in arithmetic devices of digital control systems
2017


  Details
 Download PDF
5. Resource Efficient Implementation of Keccak, Skein & JH Algorithms on Reconfigurable Platform
2016


  Details
 Download PDF
6. VECTOR-DRIVEN LOGIC AND STRUCTURE FOR TESTING AND DEDUCTIVE FAULT SIMULATION
2021


  Details
 Download PDF
Computer Science Journal of Moldova

Field :   Fen Bilimleri ve Matematik

Journal Type :   Uluslararası

Metrics
Article : 627
Cite : 3.644
Details
Computer Science Journal of Moldova