Search results
From MaRDI portal
Did you mean: state based code
- distances 2012-03-13 Paper Low-complexity error correction of Hamming-code-based LDPC codes 2009-10-20 Paper An Improved Bound on the List Error Probability...10 bytes (13 words) - 14:54, 11 December 2023
- Compiling for template-based run-time code generation 2003-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4532093 2002-05-28 Paper Stack-based typed assembly...10 bytes (15 words) - 08:57, 7 October 2023
- Trapping Set Analysis of Protograph-Based LDPC Convolutional Codes 2017-06-08 Paper Quasi-Cyclic LDPC Codes Based on Pre-Lifted Protographs 2017-05-16...10 bytes (17 words) - 19:12, 12 December 2023
- 2003-02-18 Paper https://portal.mardi4nfdi.de/entity/Q4532086 2002-05-28 Paper Stack-based typed assembly language 2002-04-17 Paper Intensional polymorphism in type-erasure...10 bytes (13 words) - 16:24, 24 September 2023
- Processes 2017-07-27 Paper Time series prediction based on data compression methods 2017-04-19 Paper Compression-based methods of statistical analysis and prediction...10 bytes (15 words) - 20:45, 11 December 2023
- Publication Date of Publication Type Reachability Analysis of Self Modifying Code 2023-08-18 Paper Branching Temporal Logic of Calls and Returns for Pushdown...10 bytes (13 words) - 12:50, 7 October 2023
- typing à la ML for the join-calculus 2023-05-17 Paper State separation for code-based game-playing proofs 2019-01-23 Paper The Applied Pi Calculus 2018-08-02...10 bytes (13 words) - 17:04, 9 December 2023
- 2006-11-14 Paper Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms 2006-10-27 Paper Logic Based Program Synthesis...10 bytes (14 words) - 20:57, 10 December 2023
- Integer Space (Code and Dataset) 2024-11-26 Dataset Towards Adaptation in Multiobjective Evolutionary Algorithms for Integer Problems (Code and Dataset)...10 bytes (13 words) - 16:20, 6 October 2023
- 2010-05-27 Paper Instruction-level security analysis for information flow in stack-based assembly languages 2007-09-18 Paper Reduced models for efficient CCS verification...10 bytes (15 words) - 23:46, 12 December 2023
- GRAMMARS BASED ON PATTERNS 1994-01-13 Paper https://portal.mardi4nfdi.de/entity/Q4274204 1994-01-12 Paper Decision problems and regular chain code picture...10 bytes (15 words) - 16:43, 9 December 2023
- sensitivity curves, and optimization of stack filters 1996-04-28 Paper Implementation of cascaded and recursive stack filters 1996-03-07 Paper An efficient...10 bytes (16 words) - 03:11, 9 December 2023
- source coding with a fidelity criterion (Corresp.) 1976-01-01 Paper Tree encoding of speech 1975-01-01 Paper A stack algorithm for source coding with a...10 bytes (15 words) - 16:49, 6 October 2023
- Divide-and-Conquer Maximin Recurrence 1989-01-01 Paper Recurrence relations based on minimization and maximization 1985-01-01 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 10:12, 9 December 2023
- controllers for linear hybrid systems 2024-06-21 Paper Data-driven abstraction-based control synthesis 2024-06-07 Paper Symbolic control for stochastic systems...10 bytes (14 words) - 09:01, 6 October 2023
- column generation based hyper-heuristic to the bus driver scheduling problem 2019-02-19 Paper A modified artificial bee colony algorithm based on search space...10 bytes (14 words) - 20:58, 9 December 2023
- Boolean registers in program algebra 2019-02-08 Paper Instruction sequence based non-uniform complexity classes 2019-02-08 Paper Axioms for behavioural congruence...10 bytes (17 words) - 20:19, 8 December 2023
- root signal sets of stack filters 1994-01-03 Paper A unified design method for rank order, stack, and generalized stack filters based on classical Bayes...10 bytes (14 words) - 08:47, 6 October 2023
- Gray Code based orders on some restricted growth sequences 2013-06-23 Paper Restricted compositions and permutations: from old to new Gray codes 2013-04-04...10 bytes (13 words) - 14:57, 10 December 2023
- 1993-01-11 Paper A unified design method for rank order, stack, and generalized stack filters based on classical Bayes decision 1992-06-28 Paper Analysis...10 bytes (14 words) - 09:28, 24 September 2023
