scientific article; zbMATH DE number 3584897
From MaRDI portal
Publication:4154035
Cited in
(89)- A memetic algorithm for the job-shop with time-lags
- Polynomial-time approximation scheme for a problem of partitioning a finite set into two clusters
- Converting a class of recursive procedures into non-recursive ones
- Usort: An efficient hybrid of distributive partitioning sorting
- A GRASP\(\times \)ELS approach for the capacitated location-routing problem
- On a new approach to representation independent data classes
- Worst-case analysis of a generalized heapsort algorithm
- ECLR-attributed grammars: a practical class of LR-attributed grammars
- Data structures to vectorize CG algorithms for general sparsity patterns
- On the creation of a macromodel of social development
- Insertion merge sorting
- A note on files in pascal
- Programming from Galois connections
- On a class of recursive procedures and equivalent iterative ones
- Semantics of algorithmic languages
- Complexity and approximation of the smallest \(k\)-enclosing ball problem
- The two phase drum with the deepest bass note
- Maintenance of configurations in the plane
- Higher order data types
- Smoothsort revisited
- Incremental programming language development
- A data modeling abstraction for describing triangular mesh algorithms
- The analysis of Quicksort programs
- Pseudopolynomial algorithms for certain computationally hard vector subset and cluster analysis problems
- Computational complexity and approximation for a generalization of the Euclidean problem on the Chebyshev center
- Parcours dans les graphes: Un outil pour l'algorithmique des ensembles ordonnés
- On batch-constructing B\(^{+}\)-trees: Algorithm and its performance evaluation
- The multiway trees of hanoi†
- Stable marriages by coroutines
- Algebraic-grammatical models of parallel computation
- Exact admission-control for integrated aperiodic and periodic tasks
- An FPTAS for a vector subset search problem
- Formalizing non-interference for a simple bytecode language in Coq
- Fully polynomial-time approximation scheme for a special case of a quadratic Euclidean 2-clustering problem
- Introspective sorting and selection revisited
- Randomized algorithms for some hard-to-solve problems of clustering a finite set of points in Euclidean space
- Efficient data structures for adaptive remeshing with the FEM
- Fundamental solutions of the eight queens problem
- Approximation scheme for the problem of weighted 2-clustering with a fixed center of one cluster
- An information technology for efficiency analysis of recursive algorithms using standard complexity recurrences
- On the discretization in time for a parabolic integrodifferential equation with a weakly singular kernel. I: Smooth initial data
- A select and insert sorting algorithm
- A new adaptive mesh refinement strategy for numerically solving evolutionary PDE's
- Algorithm 43. The implementation of insertion and deletion algorithms for 1-2 brother trees
- Polynomial-time approximation algorithm for the problem of cardinality-weighted variance-based 2-clustering with a given center
- Progressions in every two-coloration of \(Z_ n\)
- A ``geometric view of the dynamics of trajectories of computer programs
- Exact pseudo-polynomial algorithms for a balanced 2-clustering problem
- On the relationship between son-trees and symmetric binary B-trees
- Fast deterministic parsers for transition networks
- Minimal spanning trees and partial sorting
- Numerical study of a relaxed variational problem from optimal design
- A new algorithm for generating hilbert curves
- Recursive calculation of Hansen coefficients
- On the generation and use of space‐filling curves
- Formalized program specifications and transformation synthesis
- An introduction to three algorithms for sorting in situ
- Towards a Taxonomy for ECFG and RRPG Parsing
- Box sort, a multidimensional binary sorting method for rectangular boxes, used for quick range searching
- Binary search trees with binary comparison cost
- Updating a balanced search tree in 0(1) rotations
- scientific article; zbMATH DE number 3804809 (Why is no real title available?)
- Reasoning about separation using abstraction and reification
- Of concurrent data structures and iterations
- scientific article; zbMATH DE number 1208122 (Why is no real title available?)
- C++ Tools to construct our user-level language
- Simple code optimizations
- Two new approaches to robust estimation in time series
- Direct transformations between sets of integers and hilbert polygons
- PTAS for problems of vector choice and clustering with different centers
- List partitions
- Using coroutines in pascal
- Robotic system specification language use case
- Syntactic methods for recursive equations and applications to differential equations
- A formalization and explication of the Michael Jackson method of program design
- A note on peano polygons and gray codes
- Non-recursive top-down syntax analysis
- An attributed translation grammar for PL/0
- Two examples of block structuring
- A linked forest manipulation system syntax rules for an attributed translation grammar for PL/0
- A linked forest manipulation system semantics rules for an attributed translation grammar for PL/0
- Algorithm transformations for computational and data broadcast
- A fortran procedure for drawing some space-filling curves
- Formal Techniques for Deriving Binary Search Algorithms
- An algorithm for displaying a class of space-filling curves
- An effective system of sports competition management
- A white box perspective on behavioural adaptation
- Functional Pearls
- The subject-oriented approach to software design and the abstract state machines method
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4154035)
