Search results
From MaRDI portal
- answer set programming 2017-11-09 Paper Automatic construction of parallel portfolios via algorithm configuration 2017-02-22 Paper The configurable SAT solver...10 bytes (17 words) - 14:12, 6 December 2023
- answer set programming 2017-11-09 Paper Automatic construction of parallel portfolios via algorithm configuration 2017-02-22 Paper The configurable SAT solver...10 bytes (15 words) - 15:22, 10 December 2023
- and Graph Homomorphism Verification 2022-03-23 Paper Energy-Efficiency Analysis of Analog and Digital Compressive Sensing in Wireless Sensors 2021-08-26...10 bytes (13 words) - 06:00, 7 October 2023
- 2017-12-05 Paper Computational analysis of perfect-information position auctions 2017-04-21 Paper Automatic construction of parallel portfolios via algorithm...10 bytes (17 words) - 13:43, 10 December 2023
- nonlinear systems 2023-03-31 Paper Practical quantum digital signature with configurable decoy states 2023-01-13 Paper Predicting optimal parameters with random...10 bytes (14 words) - 08:27, 9 December 2023
- COMPILE-TIME ANALYSIS AND OPTIMIZATION OF EXPLICITLY PARALLEL PROGRAMS* 👍 👎 Program analysis techniques for transforming programs for parallel execution...15 bytes (324 words) - 16:10, 13 February 2025
- SMT-based verification of program changes through summary repair Loop verification with invariants and contracts Parallel program analysis via range splitting...15 bytes (397 words) - 06:09, 1 February 2024
- Abstraction for Program Verification Reusing predicate precision in value analysis Refining abstract interpretations Parallel program analysis via range splitting...15 bytes (770 words) - 15:57, 8 February 2024
- verification Towards Parallel Boolean Functional Synthesis Lower Bound Techniques for QBF Proof Systems Combining Model Checking and Data-Flow Analysis Underapproximation...15 bytes (951 words) - 20:14, 4 February 2024
- Adversarial reachability for program-level security analysis Counterexample Guided Path Reduction for Static Program Analysis Transfer of Model Checking...15 bytes (842 words) - 22:12, 8 February 2024
- for C programs on LLVM Predicate Abstraction for Program Verification SAT-Based Model Checking Refining abstract interpretations Parallel program analysis...15 bytes (692 words) - 20:13, 4 February 2024
- CONP-COMPLETE SCHEDULE ANALYSIS PROBLEMS Scheduling Massively Parallel Multigrid for Multilevel Monte Carlo Methods Ideal schedules in parallel machine settings...15 bytes (1,117 words) - 07:01, 31 January 2024
- is that?) Cited In (8) Analysis and Transformation of Constrained Horn Clauses for Program Verification Parallel Logic Programming: A Sequel VeriFly: On-the-fly...15 bytes (543 words) - 15:58, 7 February 2024
- Software Tools and Algorithms for the Construction and Analysis of Systems Parallel program analysis via range splitting Title not available (Why is that...15 bytes (261 words) - 02:45, 9 February 2024
- CEGAR-based model checking Reusing predicate precision in value analysis Parallel program analysis via range splitting Correct Hardware Design and Verification...15 bytes (262 words) - 06:26, 30 January 2024
- Carlo simulationscomparisonstest program Mathematics Subject Classification ID Random number generation in numerical analysis (65C10) Pseudo-random numbers;...15 bytes (878 words) - 14:28, 31 January 2024
- (system description) A parallel memory-efficient epistemic logic program solver: harder, better, faster Knowledge representation analysis of graph mining A...15 bytes (1,535 words) - 07:25, 1 February 2024
- study Parallel random number generator for inexpensive configurable hardware cells A comparative study of some pseudorandom number generators Analysis of...15 bytes (489 words) - 04:24, 31 January 2024
- available (Why is that?) Analysis and Transformation of Constrained Horn Clauses for Program Verification Diversifying a parallel SAT solver with Bayesian...15 bytes (1,010 words) - 21:48, 3 February 2024
- Challenges in Constraint-Based Analysis of Hybrid Systems Latticed \(k\)-induction with an application to probabilistic programs Resolution proof transformation...15 bytes (910 words) - 01:24, 5 February 2024
