Fast Stable Merging and Sorting in Constant Extra Space (Englisch)
- Neue Suche nach: Huang, B-C.
- Neue Suche nach: Langston, M. A.
- Neue Suche nach: Huang, B-C.
- Neue Suche nach: Langston, M. A.
In:
The computer journal
;
35
, 6
;
643-
;
1992
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Fast Stable Merging and Sorting in Constant Extra Space
-
Beteiligte:Huang, B-C. ( Autor:in ) / Langston, M. A. ( Autor:in )
-
Erschienen in:The computer journal ; 35, 6 ; 643-
-
Verlag:
- Neue Suche nach: Oxford University Press
-
Erscheinungsdatum:01.12.1992
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Datenquelle:
Inhaltsverzeichnis – Band 35, Ausgabe 6
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 545
-
Editorial - Formal Methods: What? Why? and When?Cooke, John et al. | 1992
- 547
-
How to Produce Correct Software - An Introduction to Formal Specification and Program Development by TransformationsBoiten, E. A. / Partsch, H. A. / Tuijnman, D. / Völker, N. et al. | 1992
- 554
-
Programming with VDMMoore, R. et al. | 1992
- 554-a
-
Special Issue on Spatial Data - Call for Papers| 1992
- 555
-
A high-order approach to parallel algorithmsHarrison, P.G. et al. | 1992
- 555
-
A Higher-Order Approach to Parallel AlgorithmsHarrison, P. G. et al. | 1992
- 567
-
Standards for Non-Executable Specification LanguagesLarsen, P. G. / Plat, N. et al. | 1992
- 573
-
A Compiler Writer's ToolboxBishop, J. et al. | 1992
- 574
-
A Technique for Analyzing the Effects of Changes in Formal SpecificationsKuhn, D. R. et al. | 1992
- 578
-
Notice| 1992
- 579
-
Formal Methods: Use and Relevance for the Development of Safety-Critical SystemsBarroca, L. M. / McDermid, J. A. et al. | 1992
- 599
-
Announcement| 1992
- 600
-
Integrated Structured Analysis and Formal Specification TechniquesSemmens, L. T. / France, R. B. / Docker, T. W. G. et al. | 1992
- 610
-
The Integration of Expert Systems into Mainstream SoftwareCooley, R. E. et al. | 1992
- 611
-
Formal Specification of a Data Dictionary for an Extended ER Data ModelMisic, V. / Velasevic, D. / Lazarevic, B. et al. | 1992
- 623
-
Automatic Translation of VDM Specifications into Standard ML ProgramsO'Neill, G. et al. | 1992
- 624
-
VLSI Design of Neural Networks,Clarkson, Trevor et al. | 1992
- 625
-
AI Multilanguage System McPOPLOG: The Power of Communication Between its SubsystemsBruha, I. et al. | 1992
- 629
-
CD-ROMS in Print: an International Guide to CD-ROM, CD-I, CDTV & Electronic Book ProductMak, J. et al. | 1992
- 630
-
Adding Flexibility to Hybrid Number SystemsBarsi, F. / Pinotti, M. C. et al. | 1992
- 636
-
A Fast Radix SortDavis, I. J. et al. | 1992
- 643
-
Fast Stable Merging and Sorting in Constant Extra SpaceHuang, B-C. / Langston, M. A. et al. | 1992
- 650
-
Book ReviewMassara, R. E. et al. | 1992
- 651
-
SIMSTRICT: A Behavioural Simulator for Use with the STRICT Hardware Description LanguageRobson, A. P. / Kinniment, D. J. et al. | 1992
- 654
-
Occupancy Models for the Estimation of Block AccessesEastman, C. M. / Trueblood, R. P. et al. | 1992
- 658
-
A Record-Oriented Cryptosystem for Database SharingLin, C. H. / Chang, C. C. / Lee, R. C. T. et al. | 1992
- 660
-
A Short Note on Perfectly Balanced Binary Search TreesKorah, A. P. / Kaimal, M. R. et al. | 1992
- 662
-
On Equivalent Systolic Designs of LU Decomposition and Its Algebraic RepresentationHou, Y-C. / Tsay, J-C. et al. | 1992
- 666
-
Reverse Chaining for Answering Temporal Logical QueriesManolopoulos, Y. et al. | 1992
- 668
-
Software Reuse Guidelines and MethodWallis, Peter et al. | 1992
- 669
-
Additional Papers| 1992
- 670
-
Errata| 1992
- A467
-
Dynamic file organizations for partial match retrieval based on linear hashingYuen, T.S. / Du, H.C. et al. | 1992
- A475
-
Structuring spatially related meta-information for effective entry and retrievalRuggles, C.L.N. / Newman, I.A. / Medyckyj-Scott, D. / Walker, D.R.F. et al. | 1992
- A487
-
A controlled environment for semantic information processing within inter-process communicationYannakoudakis, E.J. / Shahid, A.A. et al. | 1992
- A499
-
Hash functions for hash-based join methodsMullin, J.K. et al. | 1992
- A505
-
A generic adaptive sorting algorithmEstivill-Castro, V. / Wood, D. et al. | 1992
- A513
-
Improving firing control via explicit enabling rules in Petri netsGallard, R.H. et al. | 1992
- A519
-
An efficient strategy for the bottom-up evaluation of Datalog queriesLeone, N. / Rullo, P. et al. | 1992