We use cookies to improve your experience with our site.
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
Advanced Search
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
PACS
EEACC
Select articles
A Structured Temporal Logic Language:XYZ/SE
Construction of the Model of the Lambda Calculus System with Algebraic Operators
Abstract Implementation of Algebraic Specifications in a Temporal Logic Language
Semantic Specification and Verification of Data Flow Diagrams
Design of Quaternary ECL Q Gate
Standard-Cell Placement from Functional Descriptions
A Knowledge-Based Approach to Program Synthesis from Examples
A Common Reasoning Model and Its Application in Knowledge-Based System
Improvements to the Control Techniques of Sequential Inference Machines——from Instructions to Hardware Organization
A Complete Critical Path Algorithm for Test Generation of Combinational Circuits
On the Characterization and Fault Identification of Sequentially t-Diagnosable System Under PMC Model
A Fast Algorithm for Polygon Operations
TST——An Algorithm for Global Microcode Compaction with Timing Constraints
Cover Articles
Top Cited Papers
Top Most Read
Download Templates
Datasets & Toolsets
×
Close
Export File
Citation
Format
RIS(for EndNote,Reference Manager,ProCite)
BibTex
Txt
Content
Citation Only
Citation and Abstract
×
Close
Citation