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
- Type On the estimation of the execution frequency of sequential program code snippets 2016-06-13 Paper A method of program compression based on the frequency...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
- 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
- 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
- 2021-05-20 Paper Relating BIP and Reo 2020-02-14 Paper Toward sequentializing overparallelized protocol code 2020-02-14 Paper Overview of thirty semantic formalisms...10 bytes (14 words) - 13:02, 10 December 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
- 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
- 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
- 2008-09-24 Paper Semidefinite programming approaches for bounding Asian option prices 2008-09-09 Paper Optimal execution of time-constrained portfolio...10 bytes (17 words) - 13:56, 7 December 2023
- isotropic tri-materials 2016-12-06 Paper The plasma simulation code: a modern particle-in-cell code with patch-based load-balancing 2016-12-05 Paper Accurate...10 bytes (12 words) - 09:09, 6 October 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...10 bytes (15 words) - 01:08, 10 December 2023
- 1977-01-01 Paper The prerestorative step in the sequential gradient-restoration algorithm for mathematical programming problems with inequality constraints 1977-01-01...10 bytes (12 words) - 10:19, 24 September 2023
- quadratic integer programming problem 1983-01-01 Paper Weak Pareto-optimal necessary conditions in a nondifferentiable multiobjective program on a Banach space...10 bytes (12 words) - 09:20, 24 September 2023
- networks 1994-09-15 Paper Computer programs for the Boltzmann collision matrix elements 1994-09-15 Paper An algebraic program for the states associated with...10 bytes (12 words) - 12:11, 24 September 2023
- iterative methods for solving nonlinear models 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
- spacecraft navigation 2019-01-18 Paper Bayes linear analysis of risks in sequential optimal design problems 2019-01-18 Paper Generalised additive dependency...10 bytes (12 words) - 13:22, 28 January 2024
- frequency analysis of sequential program code execution Cited In (1) On frequency analysis of sequential program code execution This page was built for...15 bytes (184 words) - 02:12, 30 January 2024
- analysis of sequential program code execution On optimal slicing of parallel programs Constraint-based inter-procedural analysis of parallel programs On the...15 bytes (301 words) - 06:35, 3 February 2024
