Font Size:
a
A
A
Keyword [correctness]
Result: 101 - 120 | Page: 6 of 7
101.
Attention Correctness in Neural Image Captioning
102.
Theorem-proving guided development of formal assertions and their embedding in a high-level VLSI synthesis system
103.
A differential control method for distributed database updates using concurrent rule-based shells
104.
A model of specification-based test oracles
105.
Testing for timing correctness of high-speed VLSI circuits
106.
Compiler correctness for concurrent languages
107.
Formal specification and verification of microprocessor interrupts
108.
Enhancing GPU Programmability and Correctness Through Transactional Execution
109.
Anomaly-Based Debugging of Correctness and Performance Issues in Multithreaded Program
110.
A Method To Estimate Coincidnetal Correctness Probablity And Its Application In Software Testing
111.
Research On Network Configuration Correctness Checking And Diagnosis
112.
Research And Application Of Factual Correctness Technology For Automatic Text Summarization Based On Deep Learning
113.
Evaluation Of API Recommendation System Based On API Functional Correlation
114.
Research On Evaluation Technology Of Recommendation Results Based On API Usage
115.
A PLC Program Synthesis Method And The Proof Of Its Correctness
116.
Research And Implementation Of GNSS Navigation Data Monitoring Method
117.
Research On Edge Detection Algorithm Based On Deep Learning
118.
Correctness Analysis Of An Algorithm For Memory Safety Dynamic Detection Based On Theorem Proving
119.
A Novel Two-Layer Concurrent Distributed Algorithm Based On Shared Memory For Formal Verification
120.
Research On The Bias In The Evaluation Of Automated Program Repair
<<First
<Prev
Next>
Last>>
Jump to
