Search results
From MaRDI portal
- Publication Date of Publication Type Top-down design in the context of parallel programs 1979-01-01 Paper...10 bytes (18 words) - 20:26, 26 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q3997093 1992-09-17 Paper Top-down design within a functional environment 1984-01-01 Paper...10 bytes (16 words) - 13:59, 6 October 2023
- Operators in PL/I Programs 1979-01-01 Paper A Simple Experiment in Top-Down Design 1979-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4162439 1977-01-01...10 bytes (18 words) - 02:11, 28 December 2023
- \(\mathbb{R}^ n\) 1997-06-25 Paper Hierarchical circuit comparison as a top-down VLSI design verification technique 1993-06-29 Paper Orthonormal polynomial bases...10 bytes (16 words) - 12:32, 13 December 2023
- functional equivalences in a model for parallel computation 1979-01-01 Paper Top-down design in the context of parallel programs 1979-01-01 Paper Effective Pipelining...10 bytes (18 words) - 02:34, 28 December 2023
- for large program development 1979-01-01 Paper A Simple Experiment in Top-Down Design 1979-01-01 Paper The Complexity of Trie Index Construction 1977-01-01...10 bytes (18 words) - 10:29, 24 September 2023
- comparison as a top-down VLSI design verification technique 1993-06-29 Paper Application of the recognition technique to bottom-up VLSI design verification...10 bytes (16 words) - 02:35, 7 October 2023
- describing communicating networks 1987-01-01 Paper Specification and top-down design of distributed systems 1987-01-01 Paper Semantics of finite and infinite...10 bytes (17 words) - 08:16, 9 December 2023
- Algebra of communicating processes with abstraction 1985-01-01 Paper Top-down design and the algebra of communicating processes 1985-01-01 Paper https://portal...10 bytes (19 words) - 21:19, 8 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4723293 1987-01-01 Paper Top-down design and the algebra of communicating processes 1985-01-01 Paper https://portal...10 bytes (18 words) - 00:41, 25 September 2023
- a regular tree language is deterministic top-down 2024-03-26 Paper Functionality of compositions of top-down tree transducers is decidable 2024-01-18 Paper...10 bytes (16 words) - 23:29, 11 December 2023
- Publication Date of Publication Type Producing a top-down parse order with bottom-up parsing 1997-02-28 Paper An LR substring parser applied in a parallel...10 bytes (19 words) - 16:09, 12 December 2023
- Type Modularity analysis and commonality design: a framework for the top-down platform and product family design 2010-10-25 Paper...10 bytes (18 words) - 09:28, 6 October 2023
- Type Modularity analysis and commonality design: a framework for the top-down platform and product family design 2010-10-25 Paper Optimal overlapping and...10 bytes (18 words) - 21:36, 22 September 2023
- Publication Date of Publication Type Top-down development using a program design language 1976-01-01 Paper...10 bytes (18 words) - 20:21, 26 December 2023
- Abstract) 2013-06-11 Paper Polychotomous kernel Fisher discriminant via top-down induction of binary tree 2010-12-14 Paper Formal semantics of XPDL specification...10 bytes (16 words) - 22:20, 10 December 2023
- with respect to generalized inductive limits 2019-08-07 Paper A Generic Top-Down Dynamic-Programming Approach to Prefix-Free Coding 2019-05-06 Paper The...10 bytes (17 words) - 22:25, 8 December 2023
- Many birds with one stone 2015-05-07 Paper Properties of deterministic top down grammars 2014-03-14 Paper Modeling and analyzing social network dynamics...10 bytes (19 words) - 05:05, 9 December 2023
- A max-preflow approach 1991-01-01 Paper A note on Dowling and Gallier's top-down algorithm for propositional Horn satisfiability 1990-01-01 Paper Polynomially...10 bytes (18 words) - 02:58, 11 December 2023
- Publication Date of Publication Type Selecting malaria interventions: a top-down approach 2016-11-10 Paper Carnap and the compulsions of interpretation:...10 bytes (16 words) - 07:37, 7 October 2023
