Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Computer Journal, Volume 36, 1993
Volume 36, Number 1, 1993
- David Hutchison:
Special Issue Editorial: Distributed Multimedia Systems. 2-3 - François Horn, Jean-Bernard Stefani:
On Programming and Supporting Multimedia Object Synchronisation. 4-18 - Srinivas Ramanathan, P. Venkat Rangan:
Feedback Techniques for Intra-Media Continuity and Inter-Media Synchronization in Distributed Multimedia Systems. 19-31 - Phillip Lougher, Doug Shepherd:
The Design of a Storage Server for Continuous Media. 32-42 - Wassim Tawbi, François Horn, Eric Horlait, Jean-Bernard Stefani:
Video Compression Standards and Quality of Service. 43-54 - Ian Wakeman:
Packetized Video Options for Interaction between the User, the Network and the Codec. 55-67 - Peter E. Tischer, Roderick T. Worley, Anthony J. Maeder, Mark Goodwin:
Context-based Lossless Image Compression. 68-77 - Michalis Vazirgiannis, Costas Mourlas:
An Object-Oriented Model for Interactive Multimedia Presentations. 78-86 - Harrick M. Vin, Mon-Song Chen, Tsipora P. Barzilai:
Collaboration Management in DiCE. 87-96 - Siu Cheung Hui, Angela Goh, L. H. Lau:
A Multimedia Information System For IC Failure Analysis. 97-105
Volume 36, Number 2, 1993
- Jürg Nievergelt, Peter Widmayer:
Guard Files: Stabbing and Intersection Queries on Fat Spatial Objects. 107-116 - Michael F. Challis:
Two New Techniques for Computing Extremal h-bases Ak. 117-126 - Brian Knight:
Information Loss in Temporal Knowledge Representations. 128-136 - Stephen S. Yau, Jacob V. Gore:
Paradigm Lost: Discovering the Intersection of Assertion-Guided Program Construction and Constraint-Driven Reevaluation. 137-142 - Nava Pliskin, Celia T. Romm, Allen S. Lee, Yaakov Weber:
Presumed Versus Actual Organizational Culture: Managerial Implications for Implementation of Information Systems. 143-152 - M. Elizabeth C. Hull, Peter G. O'Donoghue:
Family Relationships between Requirements and Design Specification Methods. 153-167 - Christopher Burdorf, Jed Marti:
Load Balancing Strategies for Time Warp on Multi-User Workstations. 168-176 - Vincenzo Catania, Antonio Puliafito, Lorenzo Vita:
A Model for Performance Evaluation of Gracefully Degrading Systems. 177-185 - Richard J. Millar, M. Elizabeth C. Hull, J. H. Frazer:
The Millar Polyhedron and its use in the Construction of Octrees. 186-194 - Alexandra Poulovassilis:
A Pattern-Matching Algorithm for Functional Databases. 195-199 - Colin C. Charlton, Paul E. Dunne
, Keith Halewood, Paul H. Leng:
An Algorithm to Generate Random Large Combinational Circuits. 200-206
Volume 36, Number 3, 1993
- Jan van Leeuwen, Derick Wood:
Interval Heaps. 209-216 - Gianfranco Rossi:
Programs as Data in an Extended Prolog. 217-226 - Moshe Zviran, William J. Haga:
A Comparison of Password Techniques for Multilevel Authentication Mechanisms. 227-237 - Gaétan Hains, Lenore M. R. Mullin:
Parallel Functional Programming with Arrays. 238-245 - Shi-Jinn Horng:
Constant Time Algorithm for Template Matching on a Reconfigurable Array of Processors. 246-253 - Inman P. de Guzmán, Peter G. Harrison, E. Medina:
Pipelines for Divide-and-Conquer Functions. 254-268 - Wolfgang Appelt, Nik Tetteh-Lartey:
The Formal Specification of the ISO Open Document Architecture (ODA) Standard. 269-279 - Mark Allen Weiss:
On Finding the Height of a Binary Search Tree. 280-281 - B. John Oommen:
Transforming Ill-Conditioned Constrained Problems using Projections. 282-285 - Ingo Wegener:
A Simple Modification of Xunrang and Yuzhang's HEAPSORT Variant Improving its Complexity Significantly. 286-288
Volume 36, Number 4, 1993
- Peter Hammersley:
Special Issue Editorial: Computing Curricula. Comput. J. 36(4): 297-298 (1993) - Anthony Finkelstein:
European Computing Curricula: A Guide and Comparative Analysis. 299-319 - Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach:
An Integrated Engineering Study Scheme in Computing. 320-334 - Jonathan D. Pemberton, Joanne M. Smailes:
Educating the Masses - Is IT a Tricky Business? 335-342 - Chris Osborne:
Planning for IT Literacy in an Institution of Higher Education: A Case Study. 343-350 - Peter Naur:
Understanding Turing's Universal Machine - Personal Style in Program Description. 351-372 - Doug Goldson, Steve Reeves, Richard Bornat:
A Review of Several Programs for the Teaching of Logic. 373-386 - Andrew Ireland:
On Exploiting the Structure of Martin-Löf's Theory of Types. 387-298
Volume 36, Number 5, 1993
- Hoon Hong:
Special Issue Editorial: Computational Quantifier Elimination. 399 - Felipe Cucker:
On the Complexity of Quantifier Elimination: the Structural Approach. 400-408 - John F. Canny:
Improved Algorithms for Sign Determination and Existential Quantifier Elimination. 409-418 - Devdatt P. Dubhashi:
Quantifier Elimination in p-adic Fields. 419-426 - Joos Heintz, Marie-Françoise Roy, Pablo Solernó:
On the Theoretical and Practical Complexity of the Existential Theory of Reals. 427-431 - Scott McCallum:
Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition. 432-438 - Hoon Hong:
Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants. 439-449 - Rüdiger Loos, Volker Weispfenning:
Applying Linear Quantifier Elimination. 450-462 - Vijay Chandru:
Variable Elimination in Linear Constraints. 463-472 - Jean-Louis Imbert:
Variable Elimination for Disequations in Generalized Linear Constraint Systems. 473-484 - Dinesh Manocha:
Efficient Algorithms for MultiPolynomial Resultant. 485-496 - Richard Liska, Stanly L. Steinberg:
Applying Quantifier Elimination to Stability Analysis of Difference Schemes. 497-503 - John F. Canny:
Computing Roadmaps of General Semi-Algebraic Sets. 504-514 - M. J. González-López, Tomás Recio:
Path Tracking in Motion Planning. 515-524
Volume 36, Number 6, 1993
- Abraham Mehrez, Geoffry S. Howard, Yaakov Lugassi, Peretz Shoval:
Information System Planning and Selection: A Multiattribute Theoretic Approach. 525-541 - B. John Oommen, Chris Fothergill:
Fast Learning Automaton-Based Image Examination and Retrieval. 542-553 - Daniel Y. Chao, David T. Wang, D. C. Douglas Hung:
Convergence Time and Memory Capacity of Higher-order Hopfield Associative Memory with Multi-valued Neurons. 554-561 - L. Anne Breene:
Quadtrees and Hypercubes: Grid Embedding Strategies Based on Spatial Data Structure Addressing. 562-569 - Henry Ker-Chang Chang, Shing Hong Chen:
A New Locally Adaptive Data Compression Scheme using Multilist Structure. 570-578 - Zbigniew J. Czech, Bohdan S. Majewski:
A Linear Time Algorithm for Finding Minimal Perfect Hash Functions. 579-587
- C. M. Khoong:
Shortest-Path Reconstruction Algorithms. 588-592 - M. D. Atkinson:
Uniform Generation of Rooted Ordered Trees with Prescribed Degrees. 593-594
Volume 36, Number 7, 1993
- Jukka Teuhola, Timo Raita:
Application of a Finite-State Model to Text Compression. 607-614 - Pasi Fränti, Olli Nevalainen:
A Two-Stage Modelling Method for Compressing Binary Images by Arithmetic Coding. 615-622 - Robert R. Goldberg:
Finite State Automata from Regular Expression Trees. 623-630 - Min-Sheng Lin, Deng-Jyi Chen:
General Reduction Methods for the Reliability Analysis of Distributed Computing Systems. 631-644 - Tim B. Cooper, Jeffrey H. Kingston:
The Solution of Real Instances of the Timetabling Problem. 645-653 - D. J. Pavey, L. A. Winsborrow:
Demonstrating Equivalence of Source Code and PROM Contents. 654-667 - Aviezri S. Fraenkel, Shmuel T. Klein:
Bounding the Depth of Search Trees. 668-678
Volume 36, Number 8, 1993
- Rudolph Köber, Thomas Schwederski:
Special Issue Editorial: Parallel Processing. Comput. J. 36(8): 683-684 (1993) - M. Schneider, Utz Wever, Qinghua Zheng:
Solving Large and Sparse Linear Equations in Analog Circuit Simulation on a Cluster of Workstations. 685-689 - Dominic 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. 690-701 - Uwe Geuder, Monika Härdtner, Andreas Reuter, Bernhard Wörner, Roland Zink:
GRIDS - A Parallel Programming System for Grid-Based Algorithms. 702-711 - Vyacheslav B. Muchnick, Alexander V. Shafarenko, Carl David Sutton:
F-Code and its Implementation: A Portable Software Platform for Data Parallelism. 712-722 - Neil Berrington, David De Roure, Julian A. Padget:
Guaranteeing Unpredictability. 723-733 - Björn Bergsten, Michel Couprie, Patrick Valduriez:
Overview of Parallel Architectures for Databases. 734-740 - Hermann Hellwagner:
Design Considerations for Scalable Parallel File Systems. 741-755 - Ferri Abolhassan, Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul, Dieter Scheerer:
On the Physical Design of PRAMs. 756-762 - Chris R. Jesshope, Cruz Izu:
The MP1 Network Chip and its Application to Parallel Computers. 763-777 - Peter Thompson:
Concurrent Interconnect for Parallel Systems. 778-784
a service of 
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-04-19 19:20 CEST 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:
