scientific article; zbMATH DE number 3584897

From MaRDI portal
Revision as of 11:33, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4154035

zbMath0375.68005MaRDI QIDQ4154035

Niklaus Wirth

Publication date: 1976


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.





Related Items (89)

On the creation of a macromodel of social developmentList partitionsFully polynomial-time approximation scheme for a special case of a quadratic Euclidean 2-clustering problemAn algorithm for displaying a class of space-filling curvesFunctional PearlsA fortran procedure for drawing some space-filling curvesA new algorithm for generating hilbert curvesFormal Techniques for Deriving Binary Search AlgorithmsBox sort, a multidimensional binary sorting method for rectangular boxes, used for quick range searchingFormalized program specifications and transformation synthesisEfficient data structures for adaptive remeshing with the FEMRecursive calculation of Hansen coefficientsOf Concurrent Data Structures and IterationsExact admission-control for integrated aperiodic and periodic tasksPolynomial-time approximation scheme for a problem of partitioning a finite set into two clustersAlgebraic-grammatical models of parallel computationA select and insert sorting algorithmComputational complexity and approximation for a generalization of the Euclidean problem on the Chebyshev centerSyntactic methods for recursive equations and applications to differential equationsOn the relationship between son-trees and symmetric binary B-treesProgramming from Galois connectionsThe Subject-Oriented Approach to Software Design and the Abstract State Machines MethodApproximation scheme for the problem of weighted 2-clustering with a fixed center of one clusterExact pseudopolynomial algorithms for a balanced 2-clustering problemAlgorithm 43. The implementation of insertion and deletion algorithms for 1-2 brother treesMaintenance of configurations in the planeUnnamed ItemFundamental solutions of the eight queens problemUsort: An efficient hybrid of distributive partitioning sortingWorst-case analysis of a generalized heapsort algorithmMinimal spanning trees and partial sortingUnnamed ItemAn introduction to three algorithms for sorting in situA note on peano polygons and gray codesDirect transformations between sets of integers and hilbert polygonsAn attributed translation grammar for PL/0Formalizing non-interference for a simple bytecode language in CoqThe two phase drum with the deepest bass noteSmoothsort revisitedAlgorithm transformations for computational and data broadcastA memetic algorithm for the job-shop with time-lagsA data modeling abstraction for describing triangular mesh algorithmsA linked forest manipulation system syntax rules for an attributed translation grammar for PL/0A linked forest manipulation system semantics rules for an attributed translation grammar for PL/0Polynomial-time approximation algorithm for the problem of cardinality-weighted variance-based 2-clustering with a given centerProgressions in every two-coloration of \(Z_ n\)On the discretization in time for a parabolic integrodifferential equation with a weakly singular kernel. I: Smooth initial dataConverting a class of recursive procedures into non-recursive onesIncremental programming language developmentBinary search trees with binary comparison costThe multiway trees of hanoiPseudopolynomial algorithms for certain computationally hard vector subset and cluster analysis problemsUnnamed ItemA GRASP\(\times \)ELS approach for the capacitated location-routing problemA note on files in pascalThe analysis of Quicksort programsHigher order data typesIntrospective sorting and selection revisitedA new adaptive mesh refinement strategy for numerically solving evolutionary PDE'sTwo new approaches to robust estimation in time seriesOn a new approach to representation independent data classesC++ Tools to construct our user-level languageFast deterministic parsers for transition networksInsertion merge sortingTowards a Taxonomy for ECFG and RRPG ParsingA formalization and explication of the Michael Jackson method of program designNon-recursive top-down syntax analysisRobotic system specification language use caseOn a class of recursive procedures and equivalent iterative onesPTAS for problems of vector choice and clustering with different centersData structures to vectorize CG algorithms for general sparsity patternsA ``geometric view of the dynamics of trajectories of computer programsAn information technology for efficiency analysis of recursive algorithms using standard complexity recurrencesSemantics of algorithmic languagesECLR-attributed grammars: a practical class of LR-attributed grammarsUpdating a balanced search tree in 0(1) rotationsSimple code optimizationsRandomized algorithms for some hard-to-solve problems of clustering a finite set of points in Euclidean spaceStable marriages by coroutinesOn the generation and use of space‐filling curvesTwo examples of block structuringA White Box Perspective on Behavioural AdaptationOn batch-constructing B\(^{+}\)-trees: Algorithm and its performance evaluationComplexity and approximation of the smallest \(k\)-enclosing ball problemAn FPTAS for a vector subset search problemReasoning about Separation Using Abstraction and ReificationParcours dans les graphes: Un outil pour l'algorithmique des ensembles ordonnésUsing coroutines in pascalNumerical study of a relaxed variational problem from optimal design







This page was built for publication: