Controllable Self-Checking Checkers for Conditional Concurrent Checking

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - United States
doi 10.1109/43.384415
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

Model Checking Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Probabilistic Model Checking of Regenerative Concurrent Systems

IEEE Transactions on Software Engineering
Software
2016English

Self-Checking Monitor for NBTI Due Degradation

2010English

Verification of Concurrent Quantum Protocols by Equivalence Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

New Self-Checking Booth Multipliers

International Journal of Applied Mathematics and Computer Science
EngineeringComputer ScienceApplied Mathematics
2008English

Model Checking of Concurrent Algorithms: From Java to C

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2010English

Self-Checking Current-Mode Analogue Memory

Electronics Letters
Electronic EngineeringElectrical
1997English

Validation of Object-Oriented Concurrent Designs by Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Checking Concurrent Typestate With Access Permissions in Plural: A Retrospective

2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy