default search action
The Computer Journal, Volume 34, 1991
Volume 34, Number 1, 1991
- A. J. J. Dick:
An Introduction to Knuth-Bendix Completion. 2-15 - A. J. J. Dick, Phil Watson:
Order-Sorted Term Rewriting. 16-19 - Miki Hermann, Claude Kirchner, Hélène Kirchner:
Implementations of Term Rewriting Systems. 20-33 - Tobias Nipkow
:
Constructive Rewriting. 34-41 - Peter Padawitz:
Reduction and Narrowing for Horn Clause Theories. 42-51 - Péter Kacsuk:
A Parallel Prolog Abstract Machine and its Multi-Transputer Implementation. 52-63 - Jukka Paakki:
Prolog in Practical Compiler Writing. 64-72 - Levent V. Orman:
Constraint Maintenance as a Data Model Design Criterion. 73-79 - Farokh B. Bastani, Ing-Ray Chen, Wael Hilal Bahaa-El-Din:
A Model for the Stability Analysis of Maintenance Stragies for Linear List. 80-87
- Mark Allen Weiss:
Empirical Study of the Expected Running Time of Shellsort. 88-91 - J.-L. Wu, S.-T. Cheng:
A Neural Network Simulating System. 92-93
Volume 34, Number 2, 1991
- David E. Avison, A. T. Wood-Harper:
Information Systems Development Research: An Exploration of Ideas in Practice. 98-112 - F. Noble:
Seven Ways to Develop Office Systems: A Managerial Comparison of Office System Development Methodologies. 113-121 - Danny Chiang Choon Poo:
Representing Business Policies in the Jackson System Development Method. 122-131 - Alistair G. Sutcliffe, I. Wang:
Integrating Human Computer Interaction with Jackson System Development. 132-142 - T. H. Tse
An Examination of Requirements Specification Languages. 143-152 - Jason Trenouth:
A Survey of Exploratory Software Development. 153-163 - M. Elizabeth C. Hull, Peter G. O'Donoghue, B. J. Hagan:
Development Methods for Real-Time Systems. 164-172 - Alan Burns, Andrew M. Lister:
A Framework for Building Dependable Systems. 173-181 - Peter Hammersley:
Information Systems Design Methodologies - Book Reviews. 182-185
- D. Campbell, T. McNeill:
Finding a Majority When Sorting is Not Available. 186
Volume 34, Number 3, 1991
- Massimo Ancona, Andrea Clematis, Leila De Floriani, Enrico Puppo
HIDEL: A Language for Hierarchical VLSI Design. 195-206 - Barry Wilkinson:
Comparative Performance of Overlapping Connectivity Multiprocessor Interconnection Networks. 207-214 - Agneta Olerup:
Design Approaches: A Comparative Study of Information System Design and Architecutral Design. 215-224 - Michael O'Docherty, C. N. Daskalakis:
Multimedia Information Systems - The Management and Semantic Retrieval of all Electronic Data Types. 225-238 - Peter J. H. King, Carol Small:
Default Databases and Incomplete Information. 239-244 - R. Marshall:
Manipulating Full-Text Scientific Databases: A Logic-Based Semantico-Pragmatic Approach. 245-253 - Ian A. Macleod:
A Query Language for Retrieving Information from Hierarchic Text Structures. 254-264 - K. Morgan, R. L. Morris, S. Gibbs:
When does a Mouse become a Rat? or ... Comparing Performance and Preferences in Direct Manipulation and Command Line Environment. 265-271 - The Earl of Halsbury:
'Innovation for Failure - Some Reflections on the Work of the NRDC Relevant to the Early History of the Computer Industry in the UK' (Essay Review). 272-279
- Varol Akman
Implementation of Karp-Luby Monte Carlo Method: An Exercise in Approximate Counting. 279-282 - K. Wicovsky, Peter Thanisch, M. Howard Williams:
Improved Recursion Handling Through Integrity Constraints. 282-285
Volume 34, Number 4, 1991
- Hugh Kingdon, David R. Lester, Geoffrey Livingston Burn:
The HDG-Machine: A Highly Distributed Graph-Reducer for a Transputer Network. 290-301 - David B. Skillicorn
Practical Concurrent Programming for Parallel Machines. 302-310 - Julian A. Padget
Concurrent Object-Oriented Programming in Lisp. 311-319 - M. C. Pong:
I-Pigs: An Interactive Graphical Environment for Concurrent Programming. 320-330 - E. J. Yannakoudakis, A. A. Shahid:
A Controlled Environment for Meta-Message Processing. 331-344 - Kwok-Bun Yue, R. T. Jacob:
An Efficient Starvation-Free Semaphore Solution for the Graphical Mutual Exclusion Problem. 345-349 - Sanjeev Khanna:
Logic Programming for Software Verification and Testing. 350-357
- Chris Brink, Ingrid Rewitzky, Renate A. Schmidt:
Autodescriptivity: Beware! Comput. J. 34(4): 379-381 (1991)
Volume 34, Number 5, 1991
- D. J. Challab:
Implementation of Flexible Arrays Using Balanced Trees. 386-396 - Bala Srinivasan:
An Adaptive Overflow Technique to Defer Splitting in B-Trees. 397-405 - W. F. Smyth:
Mu-Balancing M-Way Search Trees. 406-414 - Sivarama P. Dandamudi, Paul G. Sorenson:
Improved Partial-Match Search Algorithms for BD Trees. 415-422 - Stephan Olariu, C. Michael Overstreet, Zhaofang Wen:
A Mergeable Double-Ended Priority Queue. 423-427 - Dalit Naor, Charles U. Martel, Norman S. Matloff:
Performance of Priority Queue Structures in a Virtual Memory Environment. 428-437 - Erkki Mäkinen:
A Survey on Binary Tree Codings. 438-443 - Guy Argo:
Weighting Without Waiting: The Weighted Path Length Tree. 444-454 - Seng Fuat Ou, Alan L. Tharp:
High Storage Utilisation for Single-Probe Retrieval Linear Hashing. 455-468 - Chin-Chen Chang, C. Y. Chen, Jinn-Ke Jan:
On the Design of a Machine-Independent Perfect Hashing Scheme. 469-474
- Peter Ruzicka, Vusei-Ar:
A Note on the Efficiency of an Interval Routing Algorithm. 475-476
Volume 34, Number 6, 1991
- Wiktor B. Daszczuk
A Structured Semantic Design of Distributed Operating Systems. 482-492 - N. T. Son, Yakup Paker:
Adaptive Deadlock-Free Packet Routeing in Transputer-Based Multiprocessor Interconnection Networks. 493-502 - Luigi V. Mancini, Santosh K. Shrivastava:
Fault-Tolerant Reference Counting for Garbage Collection in Distributed Systems. 503-513 - Jean Dollimore, E. Miranda, Xu Wang:
The Design of a System for Distributing Shared Objects. 514-521 - M. S. Verrall:
Unity Doesn't Imply Unification or Overcoming Heterogeneity Problems in Distributed Software Engineering Environments. 522-533 - Divyakant Agrawal, A. Malpani:
Efficient Dissemination of Information in Computer Networks. 534-541 - L. H. Geesink:
The Coordination of Distributed Active Messages in a Dynamic Network Topology. 542-550 - Peter Bodorik
Threshold Values for Processing Distributed Queries. 551-558 - Donald Michie:
Methodologies from Machine Learning in Data Analysis and Software. 559-565
- Lu Lahodynskyj:
Structure Clashes. 566-568 - Jeffrey S. Rohl:
Ord-Smith's Pseudo-Lexicographical Permutation Procedure is the Tompkins-Paige Algorithm. 569-570
Volume 34, Additional Papers, 1991
- Kung-Kiu Lau:
Top-down Synthesis of Sorting Algorithms. Comput. J. 34(Additional-Papers): A001-A007 (1991) - David A. Watt:
Modular Description of Programming Languages. Comput. J. 34(Additional-Papers): A009-A028 (1991) - S. Dvorák, Branislav Durian:
Decomposition Merging with Symmetric Exchanges. Comput. J. 34(Additional-Papers): A029-A033 (1991) - R. Marshall:
Discourse and Natural-Language Text Analysis: a Functional Grammar Approach. Comput. J. 34(Additional-Papers): A035-A060 (1991) - W. W. L. Lee, David S. Bowers:
A Relational Database Simulator. Comput. J. 34(Additional-Papers): A061-A072 (1991) - V. Goel, Y. V. Venkatesh:
On an Optimal and Faster Construction of Linear Quadtrees from Raster-Scanned Images. Comput. J. 34(Additional-Papers): A073-A083 (1991) - W. Wah, Selim G. Akl:
Simulating Multiple Memory Accesses in Logarithmic Time and Linear Space. Comput. J. 34(Additional-Papers): A085-A088 (1991) - Chia-Jiu Wang, Chwan-Hwa John Wu, Victor P. Nelson:
A Study of the Generalized Multiple Bus-Connected Parallel Computer. Comput. J. 34(Additional-Papers): A089-A094 (1991) - Arif Ghafoor, F. Y. Farhat:
Dynamic Concurrency Control Algorithms for Large Distributed Database Systems. Comput. J. 34(Additional-Papers): A095-A104 (1991) - B. John Oommen, Daniel C. Y. Ma:
Stochastic Automata Solutions to the Object Partitioning Problem. Comput. J. 34(Additional-Papers): A105-A120 (1991) - Vangalur S. Alagar, Pankaj Goyal, P. S. Nair, Fereidoon Sadri:
Integrated Magic Set Method: a Rule Rewrite Scheme for Optimising Linear Datalog Programs. Comput. J. 34(Additional-Papers): A121-A129 (1991)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-01 00:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: