Search results
From MaRDI portal
- Publication Date of Publication Type On the estimation of the execution frequency of sequential program code snippets 2016-06-13 Paper Analytical performance evaluation...10 bytes (15 words) - 21:16, 9 December 2023
- SDL 2003-09-30 Paper Program algebra for sequential code 2003-02-13 Paper Molecular dynamics 2003-02-13 Paper Combining programs and state machines 2003-02-13...10 bytes (17 words) - 20:19, 8 December 2023
- Publication Date of Publication Type On the estimation of the execution frequency of sequential program code snippets 2016-06-13 Paper https://portal.mardi4nfdi...10 bytes (15 words) - 02:38, 7 October 2023
- encryption without random oracles 2010-08-16 Paper A program understanding approach for stripped binary code 2010-03-06 Paper Efficient scalar multiplication...10 bytes (13 words) - 21:04, 11 December 2023
- Publication Date of Publication Type On the estimation of the execution frequency of sequential program code snippets 2016-06-13 Paper...10 bytes (15 words) - 02:38, 7 October 2023
- on the complexity of program evaluation 1984-01-01 Paper Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs 1983-01-01 Paper A note...10 bytes (17 words) - 18:26, 9 December 2023
- Flexible, and Minimal CTL Synthesis via SMT 2019-05-03 Paper Post-silicon code coverage for multiprocessor system-on-chip designs 2017-07-12 Paper Proving...10 bytes (15 words) - 06:11, 7 October 2023
- processes 2016-06-21 Paper On the estimation of the execution frequency of sequential program code snippets 2016-06-13 Paper On asymmetric generalization...10 bytes (17 words) - 04:31, 9 December 2023
- Characteristic 2015-11-02 Paper Model Checking MSVL Programs Based on Dynamic Symbolic Execution 2015-10-29 Paper Uncertainty Measures in Interval-Valued...10 bytes (14 words) - 08:20, 25 September 2023
- Systems: A Probabilistic Approach 2017-05-16 Paper From causal consistency to sequential consistency in shared memory systems 2017-01-19 Paper t-Resilient Immediate...10 bytes (15 words) - 01:08, 10 December 2023
- A mathematical homogenization approach 2018-11-16 Paper Optimal order execution using hidden orders 2018-11-16 Paper Signal processing through a generalized...10 bytes (12 words) - 16:16, 24 September 2023
- analysis of sequential program code execution This page was built for publication: On the estimation of the execution frequency of sequential program code snippets...15 bytes (135 words) - 02:12, 30 January 2024
- Analysis of Cache Replacement Policies On frequency analysis of sequential program code execution Zur Verbesserung der Lokalität im Zugriff auf Felder On the...15 bytes (299 words) - 03:29, 7 March 2024
- points for program frequency counts Properties of data flow frameworks: A unified model On frequency analysis of sequential program code execution Tuning architecture...15 bytes (222 words) - 04:19, 7 March 2024
- the execution frequency of sequential program code snippets 👍 👎 Analyzing program analyses 👍 👎 Theory and practice of parallelism detection in sequential...15 bytes (232 words) - 10:26, 30 January 2024
- Reachability Testing in Labelled Graphs On frequency analysis of sequential program code execution Interprocedural analyses: a comparison Space complexity of...15 bytes (242 words) - 06:35, 3 February 2024
- analysis of sequential program code execution Title not available (Why is that?) Deadlock Detection in Linear Recursive Programs Parallel program analysis...15 bytes (283 words) - 20:16, 3 February 2024
- bounded domains On frequency analysis of sequential program code execution Logics for extensional, locally complete analysis via domain refinements Analysis...15 bytes (195 words) - 18:19, 3 February 2024
- frequency analysis of sequential program code execution This page was built for publication: An execution profiler for modular programs Report a bug (only...15 bytes (107 words) - 06:57, 5 February 2024
- frequency analysis of sequential program code execution This page was built for publication: Maximum-frequency monitoring of program flow Report a bug (only...15 bytes (109 words) - 13:57, 1 February 2024
