Search

Your search keyword '"COMPUTER software correctness"' showing total 973 results

Search Constraints

Start Over You searched for: Descriptor "COMPUTER software correctness" Remove constraint Descriptor: "COMPUTER software correctness"
973 results on '"COMPUTER software correctness"'

Search Results

1. Co-Developing Programs and Their Proof of Correctness.

2. Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version).

3. Keeper: Automated Testing and Fixing of Machine Learning Software.

4. Modeling and verification of software evolution using bigraphical reactive system.

5. eSTARK: extending STARKs with arguments.

6. Using automated software evaluation to improve the performance of breast radiographers in tomosynthesis screening.

7. An architecture refactoring approach to reducing software hierarchy complexity.

8. Scenario-specific verification of system requirements consistency via time modeling.

9. LoRe: A Programming Model for Verifiably Safe Local-first Software.

10. A Deep Learning-Based Consistency Test Approach for Earth System Models on Heterogeneous Many-Core Systems.

11. Analytical Solution for the Steady Seepage Field of an Anchor Circular Pit in Layered Soil.

12. Verifying Correctness.

13. Model Transformation Testing and Debugging: A Survey.

14. A Hybridized Artificial Neural Network for Automated Software Test Oracle.

15. Design and Development of Information and Computational System for Energy Facilities' Impact Assessment on Environment †.

16. Using the STEGO Neural Network for Scintigraphic Image Analysis †.

17. A Formal Approach for Consistency Management in UML Models.

18. Modeling of processes of technological preparation of additive manufacturing based on synthetic and analytical models of surfaces.

19. Quantum software testing: State of the art.

20. Коректність пласкої класифікації.

21. Sports training auxiliary decision support system based on neural network algorithm.

22. Electromagnetic control based on Lie symmetry transformation.

23. Generation of C++ Code from Isabelle/HOL Specification.

24. Learning Relationship-Based Access Control Policies from Black-Box Systems.

25. Subsumption, correctness and relative correctness: Implications for software testing.

26. An anonymous verifiable random function with unbiasability and constant size proof.

27. Mathematical model and motion analysis of a wheeled vibro-impact locomotion system.

28. A Method to Reduce Eddy Current Loss of Underwater Wireless Power Transmission by Current Control.

29. On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software.

30. On methods and tools for rigorous system design.

31. A Unified Analysis for the Free Vibration of the Sandwich Piezoelectric Laminated Beam with General Boundary Conditions under the Thermal Environment.

32. [formula omitted]: A template to build verified thread-local interfaces with software scheduler abstractions.

33. Empirical studies on software traceability: A mapping study.

34. Blame and coercion: Together again for the first time.

35. Software Verification using State Diagrams.

36. The simplest binary word with only three squares.

37. Beyond Relational Databases: Preserving the Data.

38. Why There is no General Solution to the Problem of Software Verification.

39. Parallel self‐testing for device‐independent verifiable blind quantum computation.

40. Modelling Features-Based Birthmarks for Security of End-to-End Communication System.

41. Properties and numerical simulation for self-weight consolidation of the dredged material.

42. A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems.

43. 基于STM32单片机驱动的双液体棱镜.

44. Field distribution and dispersion characteristics of a coaxial oversized slow wave structure with deep corrugation operating on high-order mode.

45. VERIFICATION AND VALIDATION OF A SOFTWARE: A REVIEW OF THE LITERATURE.

46. Secure and trusted partial grey-box verification.

47. Approximation algorithms for querying incomplete databases.

48. 基于 FPGA 的 BAN 认证算法硬件实现.

49. The Influence of Aggregate Diameter Description on the Correctness of the Sedimentation Model – CFD Investigations.

50. A FRAMEWORK FOR VALIDATING INFORMATION SYSTEMS RESEARCH BASED ON A PLURALIST ACCOUNT OF TRUTH AND CORRECTNESS.

Catalog

Books, media, physical & digital resources