External Links

    Journal: Comput. J.

    Volume 36, Issue 8

    683 -- 684Rudolph Köber, Thomas Schwederski. Special Issue Editorial: Parallel Processing
    685 -- 689M. Schneider, Utz Wever, Qinghua Zheng. Solving Large and Sparse Linear Equations in Analog Circuit Simulation on a Cluster of Workstations
    690 -- 701Dominic A. Clark, Christopher J. Rawlings, Jack Shirazi, Liang-Liang Li, Kees Schuerman, Mike Reeve, André Véron. Solving Large Combinatorial Problems in Molecular Biology Using the ElipSys Parallel Constraint Logic Programming System
    702 -- 711Uwe Geuder, Monika Härdtner, Andreas Reuter, Bernhard Wörner, Roland Zink. GRIDS - A Parallel Programming System for Grid-Based Algorithms
    712 -- 722Vyacheslav B. Muchnick, Alexander V. Shafarenko, C. D. Sutton. F-Code and its Implementation: A Portable Software Platform for Data Parallelism
    723 -- 733Neil Berrington, David De Roure, Julian A. Padget. Guaranteeing Unpredictability
    734 -- 740Björn Bergsten, Michel Couprie, Patrick Valduriez. Overview of Parallel Architectures for Databases
    741 -- 755Hermann Hellwagner. Design Considerations for Scalable Parallel File Systems
    756 -- 762Ferri Abolhassan, Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul, Dieter Scheerer. On the Physical Design of PRAMs
    763 -- 777Chris R. Jesshope, Cruz Izu. The MP1 Network Chip and its Application to Parallel Computers
    778 -- 784Peter Thompson. Concurrent Interconnect for Parallel Systems

    Volume 36, Issue 7

    607 -- 614Jukka Teuhola, Timo Raita. Application of a Finite-State Model to Text Compression
    615 -- 622Pasi Fränti, Olli Nevalainen. A Two-Stage Modelling Method for Compressing Binary Images by Arithmetic Coding
    623 -- 630Robert R. Goldberg. Finite State Automata from Regular Expression Trees
    631 -- 644Min-Sheng Lin, Deng-Jyi Chen. General Reduction Methods for the Reliability Analysis of Distributed Computing Systems
    645 -- 653Tim B. Cooper, Jeffrey H. Kingston. The Solution of Real Instances of the Timetabling Problem
    654 -- 667D. J. Pavey, L. A. Winsborrow. Demonstrating Equivalence of Source Code and PROM Contents
    668 -- 678Aviezri S. Fraenkel, Shmuel T. Klein. Bounding the Depth of Search Trees

    Volume 36, Issue 6

    525 -- 541Abraham Mehrez, Geoffry S. Howard, Yaakov Lugassi, Peretz Shoval. Information System Planning and Selection: A Multiattribute Theoretic Approach
    542 -- 553B. John Oommen, Chris Fothergill. Fast Learning Automaton-Based Image Examination and Retrieval
    554 -- 561Daniel Y. Chao, David T. Wang, D. C. Douglas Hung. Convergence Time and Memory Capacity of Higher-order Hopfield Associative Memory with Multi-valued Neurons
    562 -- 569L. Anne Breene. Quadtrees and Hypercubes: Grid Embedding Strategies Based on Spatial Data Structure Addressing
    570 -- 578Henry Ker-Chang Chang, Shing Hong Chen. A New Locally Adaptive Data Compression Scheme using Multilist Structure
    579 -- 587Zbigniew J. Czech, Bohdan S. Majewski. A Linear Time Algorithm for Finding Minimal Perfect Hash Functions
    588 -- 592C. M. Khoong. Shortest-Path Reconstruction Algorithms
    593 -- 594M. D. Atkinson. Uniform Generation of Rooted Ordered Trees with Prescribed Degrees

    Volume 36, Issue 5

    399 -- 0Hoon Hong. Special Issue Editorial: Computational Quantifier Elimination
    400 -- 408Felipe Cucker. On the Complexity of Quantifier Elimination: the Structural Approach
    409 -- 418John F. Canny. Improved Algorithms for Sign Determination and Existential Quantifier Elimination
    419 -- 426Devdatt P. Dubhashi. Quantifier Elimination in p-adic Fields
    427 -- 431Joos Heintz, Marie-Françoise Roy, Pablo Solernó. On the Theoretical and Practical Complexity of the Existential Theory of Reals
    432 -- 438Scott McCallum. Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
    439 -- 449Hoon Hong. Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants
    450 -- 462Rüdiger Loos, Volker Weispfenning. Applying Linear Quantifier Elimination
    463 -- 472Vijay Chandru. Variable Elimination in Linear Constraints
    473 -- 484Jean-Louis Imbert. Variable Elimination for Disequations in Generalized Linear Constraint Systems
    485 -- 496Dinesh Manocha. Efficient Algorithms for MultiPolynomial Resultant
    497 -- 503Richard Liska, Stanly Steinberg. Applying Quantifier Elimination to Stability Analysis of Difference Schemes
    504 -- 514John F. Canny. Computing Roadmaps of General Semi-Algebraic Sets
    515 -- 524M. J. González-López, Tomás Recio. Path Tracking in Motion Planning

    Volume 36, Issue 4

    297 -- 298Peter Hammersley. Special Issue Editorial: Computing Curricula
    299 -- 319Anthony Finkelstein. European Computing Curricula: A Guide and Comparative Analysis
    320 -- 334Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach. An Integrated Engineering Study Scheme in Computing
    335 -- 342Jonathan D. Pemberton, Joanne M. Smailes. Educating the Masses - Is IT a Tricky Business?
    343 -- 350Chris Osborne. Planning for IT Literacy in an Institution of Higher Education: A Case Study
    351 -- 372Peter Naur. Understanding Turing s Universal Machine - Personal Style in Program Description
    373 -- 386Doug Goldson, Steve Reeves, Richard Bornat. A Review of Several Programs for the Teaching of Logic
    387 -- 298Andrew Ireland. On Exploiting the Structure of Martin-Löf s Theory of Types

    Volume 36, Issue 3

    209 -- 216Jan van Leeuwen, Derick Wood. Interval Heaps
    217 -- 226Gianfranco Rossi. Programs as Data in an Extended Prolog
    227 -- 237Moshe Zviran, William J. Haga. A Comparison of Password Techniques for Multilevel Authentication Mechanisms
    238 -- 245Gaétan Hains, Lenore M. R. Mullin. Parallel Functional Programming with Arrays
    246 -- 253Shi-Jinn Horng. Constant Time Algorithm for Template Matching on a Reconfigurable Array of Processors
    254 -- 268Inman P. de Guzmán, Peter G. Harrison, E. Medina. Pipelines for Divide-and-Conquer Functions
    269 -- 279Wolfgang Appelt, Nik Tetteh-Lartey. The Formal Specification of the ISO Open Document Architecture (ODA) Standard
    280 -- 281Mark Allen Weiss. On Finding the Height of a Binary Search Tree
    282 -- 285B. John Oommen. Transforming Ill-Conditioned Constrained Problems using Projections
    286 -- 288Ingo Wegener. A Simple Modification of Xunrang and Yuzhang s HEAPSORT Variant Improving its Complexity Significantly

    Volume 36, Issue 2

    107 -- 116Jürg Nievergelt, Peter Widmayer. Guard Files: Stabbing and Intersection Queries on Fat Spatial Objects
    117 -- 126Michael F. Challis. Two New Techniques for Computing Extremal h-bases A::k::
    128 -- 136Brian Knight. Information Loss in Temporal Knowledge Representations
    137 -- 142Stephen S. Yau, Jacob V. Gore. Paradigm Lost: Discovering the Intersection of Assertion-Guided Program Construction and Constraint-Driven Reevaluation
    143 -- 152Nava Pliskin, Celia T. Romm, A. S. Lee, Y. Weber. Presumed Versus Actual Organizational Culture: Managerial Implications for Implementation of Information Systems
    153 -- 167M. Elizabeth C. Hull, Peter G. O Donoghue. Family Relationships between Requirements and Design Specification Methods
    168 -- 176Christopher Burdorf, Jed Marti. Load Balancing Strategies for Time Warp on Multi-User Workstations
    177 -- 185Vincenzo Catania, Antonio Puliafito, Lorenzo Vita. A Model for Performance Evaluation of Gracefully Degrading Systems
    186 -- 194Richard J. Millar, M. Elizabeth C. Hull, J. H. Frazer. The Millar Polyhedron and its use in the Construction of Octrees
    195 -- 199Alexandra Poulovassilis. A Pattern-Matching Algorithm for Functional Databases
    200 -- 206Colin C. Charlton, Paul E. Dunne, K. Halewood, Paul H. Leng. An Algorithm to Generate Random Large Combinational Circuits

    Volume 36, Issue 1

    2 -- 3David Hutchison. Special Issue Editorial: Distributed Multimedia Systems
    4 -- 18François Horn, Jean-Bernard Stefani. On Programming and Supporting Multimedia Object Synchronisation
    19 -- 31Srinivas Ramanathan, P. Venkat Rangan. Feedback Techniques for Intra-Media Continuity and Inter-Media Synchronization in Distributed Multimedia Systems
    32 -- 42Phillip Lougher, Doug Shepherd. The Design of a Storage Server for Continuous Media
    43 -- 54Wassim Tawbi, François Horn, Eric Horlait, Jean-Bernard Stefani. Video Compression Standards and Quality of Service
    55 -- 67Ian Wakeman. Packetized Video Options for Interaction between the User, the Network and the Codec
    68 -- 77Peter E. Tischer, Roderick T. Worley, Anthony J. Maeder, M. Goodwin. Context-based Lossless Image Compression
    78 -- 86Michalis Vazirgiannis, Costas Mourlas. An Object-Oriented Model for Interactive Multimedia Presentations
    87 -- 96Harrick M. Vin, Mon-Song Chen, Tsipora P. Barzilai. Collaboration Management in DiCE
    97 -- 105Siu Cheung Hui, Angela Goh, L. H. Lau. A Multimedia Information System For IC Failure Analysis
    runs on