default search action
Software - Practice and Experience (SPE), Volume 20, 1990
Volume 20, Number 1, January 1990
- David W. Barron, Charles Lang:
SPE-The Early Years. 3-4 - David R. Hanson:
Fast Allocation and Deallocation of Memory Based on Object Lifetimes. 5-12 - Niklaus Wirth:
Ceres-Net: A Low-cost Computer Network. 13-24 - Wayne R. Cowell, Christopher P. Thompson:
Tools to Aid in Discovering Parallelism and Localizing Arithmetic in Fortran Programs. 25-47 - Arthur C. Fleck:
A Case Study Comparison of Four Declarative Programming Languages. 49-65 - Václav Rajlich, Nicholas Damaskinos, Panagiotis K. Linos, Wafa Khorshid:
VIFOR: A Tool for Software Maintenance. 67-77 - Alexis Koster, Douglas Stott Parker Jr.:
Regulation Management and Logic Programming. 79-107
Volume 20, Number 2, February 1990
- Roger B. Dannenberg:
A Structure for Efficient Update, Incremental Redisplay and Undo in Graphical Editors. 109-132 - Thomas R. Gross, Peter Steenkiste
:
Structured Dataflow Analysis for Arrays and its Use in an Optimizing Compiler. 133-155 - John K. Bennett:
Experience with Distributed Smalltalk. 157-180 - Eugene H. Spafford:
Extending Mutation Testing to Find Environmental Bugs. 181-189 - Brian A. Malloy, Mary Lou Soffa:
Conversion of Simulation Processes to Pascal Constructs. 191-207 - Bruce J. McKenzie, R. Harries, Timothy C. Bell:
Selecting a Hashing Algorithm. 209-224
Volume 20, Number 3, March 1990
- Paul Vongsathorn, Scott D. Carson:
A System for Adaptive Disk Rearrangement. 225-242 - Giulio Iannello
Programming Abstract Data Types, Iterators and Generic Modules in C. 243-260 - Christian Lengauer:
Code Generation for a Systolic Computer. 261-282 - Bin Qin, Howard A. Sholl, Reda A. Ammar:
A Tool to Minimize the Time Costs of Parallel Computations Through Optimal Processing Power Allocation. 283-300 - James R. Cordy, Richard C. Holt:
Code Generation Using an Orthogonal Model. 301-320 - Rekha Amur, K. Ananda Mohan, M. D. Ramaswami:
TMS: A Free-form Text-management System. 321-324
Volume 20, Number 4, April 1990
- Charles W. Reynolds:
Signalling Regions: Multiprocessing in a Shared Memory Reconsidered. 325-356 - David Notkin:
Proxies: A Software Structure for Accommodating Heterogeneity. 357-364 - J. Adrian Zimmer:
Restructuring for Style. 365-389 - Willett Kempton
Run-time Detection of Undefined Variables Considered Essential. 391-402 - Mic Bowman, Larry L. Peterson, Andrey Yeatts:
Univers: An Attribute-based Name Server. 403-424
Volume 20, Number 5, May 1990
- H. Rex Hartson, Deborah Hix, Thomas M. Kraly:
Developing Human-Computer Interface Models and Representation Techniques. 425-457 - Duane Szafron, Randy Ng:
LexAGen: An Interactive Incremental Scanner Generator. 459-483 - Matt Bishop:
Collaboration using Roles. 485-497 - Dan Lyttle, Ray Ford:
A Symbolic Debugger for Real-time Embedded Ada Software. 499-514
Volume 20, Number 6, June 1990
- Michael Whitney:
Even Faster LR Parsing. 515-535 - Kasi Anantha, Fred Long:
Code Compaction for Parallel Architectures. 537-554 - Ram Sudama, Dah-Ming Chiu:
Experiences of Designing a Sophisticated Network Monitor. 555-570 - Narain H. Gehani:
Message Passing in Concurrent C: Synchronous Versus Asynchronous. 571-592 - Kwan-Liu Ma, Robert R. Kessler:
TICL-A Type Inference System for Common Lisp. 593-623 - James K. Mullin, Daniel J. Margoliash:
A Tale of Three Spelling Checkers. 625-630
Volume 20, Number 7, July 1990
- Leon H. Binder, Jesse H. Poore:
Field Experiments with Local Software Quality Metrics. 631-647 - Rob Pike:
The Implementation of Newsqueak. 649-659 - M. Douglas McIlroy:
Squinting at Power Series. 661-683 - John Q. Walker II:
A Node-positioning Algorithm for General Trees. 685-705 - J. E. Jordan:
Experiences Structuring Software in a Periodic Real-time Environment. 707-718 - E. P. Wentworth:
Pitfalls of Conservative Garbage Collection. 719-727 - Christian Iseli
A Microcode Compiler for the Watch-oriented RISC Processor. 729-747
Volume 20, Number 8, August 1990
- Kai Koskimies:
Lazy Recursive Descent Parsing for Modular Language Implementation. 749-772 - Anand Tripathi, Zine Attia El Hili:
Synchronization of Nested Atomic Actions. 773-798 - Louise E. Moser, P. M. Melliar-Smith:
Formal Verification of Safety-critical Systems. 799-821 - Bruce J. McKenzie:
LR Parsing of CFGs with Restrictions. 823-832 - Samuel E. Ebenstein, Tracy L. McDermott:
Optimization Techniques for Parallel Processing. 833-849 - Christopher W. Fraser, Balachander Krishnamurthy:
Live Text. 851-858
Volume 20, Number 9, September 1990
- Colin C. Charlton, Paul H. Leng, Dennis M. Wilkinson:
Program Monitoring and Analysis: Software Structures and Architectural Support. 859-867 - Diane Hernek, David P. Anderson:
Efficient Automated Protocol Implementation Using RTAG. 869-885 - Frederick S. Kuhl:
Object-oriented Programming Applied to a Prototype Workstation. 887-898 - Nachum Dershowitz, Edward M. Reingold:
Calendrical Calculations. 899-928 - Peter A. Buhr, Richard A. Stroobosscher:
The System: Providing Light-weight Concurrency on Shared-memory Multiprocessor Computers Running UNIX. 929-964
Volume 20, Number 10, October 1990
- Valmir Carneiro Barbosa
On the Distributed Parallel Simulation of Hopfield's Neural Networks. 967-983 - Adolf Schleiermacher, Jürgen F. H. Winkler:
The Implementation of ProTest: a Prolog Debugger for a Refined Box Model. 985-1006 - Tom C. Reyes, James L. Sills:
Implementation of a Portable Screen Manager. 1007-1014 - Mary P. Bivens, Mary Lou Soffa:
Incremental Register Reallocation. 1015-1047 - Alan H. Bond, Basuki Soetarman:
Integrating Prolog and CADAM to Produce an Intelligent CAD System. 1049-1076
Volume 20, Number 11, November 1990
- Gaynor Legge, Mahir Ali:
UNIX File System Behaviour and Machine Architecture Dependency. Softw. Pract. Exp. 20(11): 1077-1096 (1990) - Weichang Du, William W. Wadge:
The Eductive Implementation of a Three-dimensional Spreadsheet. Softw. Pract. Exp. 20(11): 1097-1114 (1990) - Josef Grosch:
Lalr - A Generator for Efficient Parsers. Softw. Pract. Exp. 20(11): 1115-1135 (1990) - Rafael Dueire Lins, Simon J. Thompson:
Implementing SASL using Categorical Multi-combinators. Softw. Pract. Exp. 20(11): 1137-1165 (1990) - F. Burton, Hsi-Kai Yang:
Manipulation Multilinked Data Structures in a Pure Functional Language. Softw. Pract. Exp. 20(11): 1167-1185 (1990)
Volume 20, Number 12, December 1990
- Ronald A. Olsson:
Using SR for Discrete Event Simulation: A Study in Concurrent Programming. 1187-1208 - Ahmed Sharaf Eldin
A Virtual Stack Facility for Mini-computer and Microcomputer Implementation of the Finite Element Method. 1209-1226 - Scott E. Hudson, Shamim P. Mohamed:
A Graphical User Interface Server for UNIX. 1227-1239 - James R. Larus:
Abstract Execution: A Technique for Efficiently Tracing Programs. 1241-1258 - J. L. Schonfelder, J. S. Morgan:
Dynamic Strings in Fortran 90. 1259-1271 - Kelvin D. Nilsen:
High-level Goal-directed Concurrent Processing in Icon. 1273-1290
Volume 20, Number S1, 1990
- David L. Presotto, Dennis Ritchie:
Interprocess Communication in the Ninth Edition Unix System. Softw. Pract. Exp. 20(S1): S1 (1990) - David G. Korn, Eduardo Krell:
A New Dimension for the Unix File System. Softw. Pract. Exp. 20(S1): S1 (1990) - Glenn S. Fowler:
A Case for make. Softw. Pract. Exp. 20(S1): S1 (1990) - Peter S. Langston:
Unix Music Tools at Bellcore. Softw. Pract. Exp. 20(S1): S1 (1990) - Frances Newbery Paulisch, Walter F. Tichy:
EDGE: An Extendible Graph Editor. Softw. Pract. Exp. 20(S1): S1 (1990) - Steven P. Reiss:
Interacting with the FIELD environment. Softw. Pract. Exp. 20(S1): S1 (1990)
Volume 20, Number S2, 1990
- Robert Scheifler, Jim Gettys:
The X Window System. Softw. Pract. Exp. 20(S2): S2/5-S2/34 (1990) - Jim Gettys, Philip L. Karlton, Scott McGregor:
The X Window System, Version 11. Softw. Pract. Exp. 20(S2): S2/35-S2/67 (1990) - Susan Angebranndt, Philip L. Karton, Raymond Drewry, Todd Newman:
Writing Tailorable Software: The X11 Sample Server. Softw. Pract. Exp. 20(S2): S2/69-S2/81 (1990) - Joel McCormack:
Writing Fast X Servers for Dumb Color Frame Buffers. Softw. Pract. Exp. 20(S2): S2/83-S2/108 (1990) - Glenn Widener:
The X11 Inter-Client Communication Conventions Manual. Softw. Pract. Exp. 20(S2): S2/109-S2/118 (1990) - Ralph E. Droms, Wayne R. Dyksen:
Performance Measurements of the X Window System Communication Protocol. Softw. Pract. Exp. 20(S2): S2/119-S2/136 (1990) - Hania Gajewska, Mark S. Manasse, Joel McCormack:
Why X Is Not Our Ideal Window System. Softw. Pract. Exp. 20(S2): S2/137-S2/171 (1990) - Glossary. Softw. Pract. Exp. 20(S2): S2/172-S2/181 (1990)
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-26 00:36 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: