The following pages link to The Computer Journal (Q83484):
Displaying 50 items.
- A Simplex Method for Function Minimization (Q83487) (← links)
- A New Method of Constrained Optimization and a Comparison With Other Methods (Q115600) (← links)
- An FP-based Design Methodology for Problem-oriented Architectures (Q3031900) (← links)
- A New Algorithm for Generating Binary Trees using Rotations (Q3031919) (← links)
- Short Note: A Las Vegas graph Colouring Algorithm (Q3031923) (← links)
- COMAR: a Data Format for Integration of CFG Tools (Q3031952) (← links)
- Jumping About and Getting into a State (Q3040480) (← links)
- User-Defined Types in a Polymorphic Language (Q3040490) (← links)
- The Distribution of Cycle Times in Tree-Like Networks of Queues (Q3040501) (← links)
- Complexity Analyses of Event Set Algorithms (Q3040523) (← links)
- Normalization Could be Useful (Q3042453) (← links)
- Convergence Time and Memory Capacity of Higher-order Hopfield Associative Memory with Multi-valued Neurons (Q3140118) (← links)
- A Linear Time Algorithm for Finding Minimal Perfect Hash Functions (Q3140119) (← links)
- Shortest-Path Reconstruction Algorithms (Q3140120) (← links)
- Uniform Generation of Rooted Ordered Trees with Prescribed Degrees (Q3140121) (← links)
- On the Complexity of Quantifier Elimination: the Structural Approach (Q3140550) (← links)
- Improved Algorithms for Sign Determination and Existential Quantifier Elimination (Q3140551) (← links)
- Quantifier Elimination in p-adic Fields (Q3140552) (← links)
- On the Theoretical and Practical Complexity of the Existential Theory of Reals (Q3140553) (← links)
- Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition (Q3140554) (← links)
- Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants (Q3140555) (← links)
- Applying Linear Quantifier Elimination (Q3140556) (← links)
- Variable Elimination in Linear Constraints (Q3140557) (← links)
- Variable Elimination for Disequations in Generalized Linear Constraint Systems (Q3140558) (← links)
- Efficient Algorithms for MultiPolynomial Resultant (Q3140559) (← links)
- Applying Quantifier Elimination to Stability Analysis of Difference Schemes (Q3140560) (← links)
- Computing Roadmaps of General Semi-Algebraic Sets (Q3140561) (← links)
- Path Tracking in Motion Planning (Q3140562) (← links)
- Using a Distributed Approach to Retrieve and Integrate Information from Heterogeneous Distributed Databases (Q3148227) (← links)
- Periodic and Aperiodic Task Scheduling in Strongly Partitioned Integrated Real-time Systems (Q3148228) (← links)
- Concurrency Control Using Timestamp Ordering in Broadcast Environments (Q3148229) (← links)
- Lower Bounds for One-to-one Packet Routing on Trees using Hot-Potato Algorithms (Q3148230) (← links)
- Explaining Polymorphic Types (Q3148232) (← links)
- An Extended Temporal Logic for CSCW (Q3148233) (← links)
- Priority queue administration by sublist index (Q3206310) (← links)
- Constructing the convex hull of a set of points in the plane (Q3206332) (← links)
- Proof by semantic attributes of a LISP compiler (Q3206343) (← links)
- A fixed routing problem in large and high connectivity networks (Q3206360) (← links)
- An algebraic theory for parallel processor design (Q3206874) (← links)
- Minimising the NAND-NOR-XOR network of modulo 2 sum of boolean products (Q3206878) (← links)
- Optimising disc head movements in secondary key retrievals (Q3208124) (← links)
- Nonlinear ternary feedback shift registers (Q3213103) (← links)
- A FORTRAN to FORTRAN optimising compiler (Q3214365) (← links)
- A linear algorithm for computing the optimum university timetable (Q3214391) (← links)
- A necessary and sufficient condition for a power language to be LL(k) (Q3214435) (← links)
- A Linear Algorithm for Colouring Planar Graphs with Five Colours (Q3219789) (← links)
- Labelling and Implicit Routing in Networks (Q3220503) (← links)
- Ten Years of Computer Development (Q3259923) (← links)
- DEUCE Interpretive Programs (Q3259937) (← links)
- A Note on the Evaluation of Trigonometric Series (Q3259945) (← links)
