%%% -*-BibTeX-*-
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
%%% version = "2.03",
%%% date = "16 January 2003",
%%% time = "18:41:13 MST",
%%% filename = "computer1980.bib",
%%% address = "Center for Scientific Computing
%%% University of Utah
%%% Department of Mathematics, 110 LCB
%%% 155 S 1400 E RM 233
%%% Salt Lake City, UT 84112-0090
%%% USA",
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 585 1640, +1 801 581 4148",
%%% URL = "http://www.math.utah.edu/~beebe",
%%% checksum = "45279 7640 31066 288599",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org, beebe at ieee.org
%%% (Internet)",
%%% codetable = "ISO/ASCII",
%%% keywords = "bibliography, BibTeX, IEEE Computer",
%%% supported = "yes",
%%% docstring = "This is a bibliography of publications in
%%% the IEEE journal Computer (CODEN CPTRB4, ISSN
%%% 0018-9162), for the years 1980--1989. The
%%% companion bibliographies, computer19xxbib and
%%% computer20xx.bib, cover other decades.
%%%
%%% There is a World Web Wide site for this
%%% journal at
%%%
%%% http://www.computer.org/computer/
%%%
%%% with (pagenumber-less) tables of contents,
%%% links to article abstracts, and subject and
%%% author indexes, for 1993--date.
%%%
%%% In the bibliography entries below, URLs point
%%% to freely-accessible abstracts in HTML form,
%%% and to full text of articles in Adobe
%%% Portable Document Format (PDF) form; the
%%% latter requires an electronic journal
%%% subscription with username and password.
%%%
%%% At version 2.03, the year coverage looked
%%% like this:
%%%
%%% 1977 ( 1) 1985 ( 30) 1993 ( 0)
%%% 1978 ( 1) 1986 ( 23) 1994 ( 0)
%%% 1979 ( 0) 1987 ( 40) 1995 ( 1)
%%% 1980 ( 20) 1988 ( 56) 1996 ( 0)
%%% 1981 ( 25) 1989 ( 84) 1997 ( 0)
%%% 1982 ( 24) 1990 ( 0) 1998 ( 0)
%%% 1983 ( 14) 1991 ( 0) 1999 ( 1)
%%% 1984 ( 21) 1992 ( 0) 2000 ( 1)
%%%
%%% Article: 340
%%% Book: 2
%%%
%%% Total entries: 342
%%%
%%% The initial draft of this bibliography for
%%% the years 1990--1996 contained 963 entries,
%%% and was constructed primarily from the OCLC
%%% Contents1st database. Regrettably, that
%%% database does not record final page numbers
%%% of journal articles, so there are many page
%%% ranges of the form 123--?? in this
%%% bibliography. The collection was then
%%% augmented with 398 entries from the author's
%%% personal bibliography files, and from a May
%%% 1994 snapshot of the huge Computer Science
%%% bibliography archive on ftp.ira.uka.de.
%%% Later additions came from the Compendex
%%% databases (1970--1996), and the IEEE INSPEC
%%% CD ROM database (1989--1995).
%%%
%%% BibTeX citation tags are uniformly chosen
%%% as name:year:abbrev, where name is the
%%% family name of the first author or editor,
%%% year is a 4-digit number, and abbrev is a
%%% 3-letter condensation of important title
%%% words. Citation tags were automatically
%%% generated by software developed for the
%%% BibNet Project.
%%%
%%% In this bibliography, entries are sorted by
%%% journal, and then by publication order, with
%%% the help of ``bibsort -byvolume''. The bibsort
%%% utility is available from ftp.math.utah.edu
%%% in /pub/tex/bib.
%%%
%%% Fields within entries have been put into a
%%% consistent order by the biborder utility,
%%% and the entire bibliography has been
%%% processed by the bibclean syntax checker
%%% and prettyprinter, and by bibcheck. These
%%% tools are available in the same archive as
%%% bibsort.
%%%
%%% Spelling has been verified with the UNIX
%%% spell and GNU ispell programs using the
%%% exception dictionary stored in the
%%% companion with extension .sok. Numerous
%%% heuristic checks on the validity of the
%%% bibliography files have also been made
%%% using software developed by the author for
%%% maintenance of the TeX Users Group and
%%% BibNet bibliography collections.
%%%
%%% The checksum field above contains a CRC-16
%%% checksum as the first value, followed by the
%%% equivalent of the standard UNIX wc (word
%%% count) utility output of lines, words, and
%%% characters. This is produced by Robert
%%% Solovay's checksum utility.",
%%% }
%%% ====================================================================
@Preamble{
"\hyphenation{
Berg-mark
Chang-hwa
Cher-kas-sky
Krueg-er
Ma-rie
No-bu-ya-su
Pra-san-na
Sa-ri-ka-ya
Tha-zhu-tha-vee-til
Wheel-chairs
}"
}
%%% ====================================================================
%%% Acknowledgement abbreviations:
@String{ack-nhfb = "Nelson H. F. Beebe,
Center for Scientific Computing,
University of Utah,
Department of Mathematics, 110 LCB,
155 S 1400 E RM 233,
Salt Lake City, UT 84112-0090, USA,
Tel: +1 801 581 5254,
FAX: +1 801 585 1640, +1 801 581 4148,
e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|,
\path|beebe@computer.org|,
\path|beebe@ieee.org| (Internet),
URL: \path|http://www.math.utah.edu/~beebe/|"}
@String{ack-nj = "Norbert Juffa,
2445 Mission College Blvd.
Santa Clara, CA 95054
USA
email: \path=norbert@iit.com="}
%%% ====================================================================
%%% Journal abbreviations:
@String{j-COMPUTER = "Computer"}
@String{j-DDJ = "Dr. Dobb's Journal of Software Tools"}
@String{j-IEEE-TRANS-INF-THEORY = "IEEE Transactions on Information Theory"}
%%% ====================================================================
%%% Publishers and their addresses:
@String{pub-ORA = "O'Reilly \& {Associates, Inc.}"}
@String{pub-ORA:adr = "103a Morris Street,
Sebastopol, CA 95472,
USA,
Tel: +1 707 829 0515,
and
90 Sherman Street,
Cambridge, MA 02140,
USA,
Tel: +1 617 354 5800"}
@String{pub-SV = "Spring{\-}er-Ver{\-}lag"}
@String{pub-SV:adr = "Berlin, Germany~/ Heidelberg, Germany~/
London, UK~/ etc."}
%%% ====================================================================
%%% Bibliography entries:
@Article{Foster:1980:DSV,
author = "M. J. Foster and H. T. Kung",
key = "Foster \& Kung",
title = "The Design of Special-Purpose {VLSI} Chips",
journal = j-COMPUTER,
volume = "13",
number = "1",
pages = "26--40",
month = jan,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/Multi.bib",
}
@Article{Coonen:1980:IGP,
author = "Jerome T. Coonen",
title = "An Implementation Guide to a Proposed Standard for
Floating Point Arithmetic",
journal = j-COMPUTER,
volume = "13",
number = "1",
pages = "68--79",
month = jan,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt",
note = "See errata in \cite{Coonen:1981:EIG}.",
}
@Article{Thornton:1980:BNA,
author = "J. E. Thornton",
title = "Back-End Network Approaches",
journal = j-COMPUTER,
volume = "13",
number = "2",
pages = "10--17",
month = feb,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Distributed/network.bib",
abstract = "Reproduced in Tutorial on Local Computer Networks
Thurber, K. J., and Freeman, H. A., (Eds.), (1981).",
}
@Article{Chlamatac:1980:PIB,
author = "I. Chlamatac and W. R. Franta and P. C. Patton and B.
and Wells",
key = "Chlamatac et al.",
title = "Performance Issues in Back-End Storage Networks",
journal = j-COMPUTER,
volume = "13",
number = "2",
pages = "18--31",
month = feb,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Thu Oct 8 10:33:32 1981",
bibsource = "Misc/storage.bib; Os/storage.bib",
keywords = "memory hierarchy, Performance Evaluation",
}
@Article{Butland:1980:EGD,
author = "J. Butland and S. D. Butland",
title = "An easy-to-use graph drawing package",
journal = j-COMPUTER,
volume = "13",
number = "2",
pages = "69--80",
month = feb,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Distributed/QLD.bib; Distributed/QLD/1980.bib",
date = "19/09/80",
descriptors = "DIAGRAM MANIPULATION; APPLICATION; method; HUMAN
FACTORS;",
enum = "459",
keywords = "graphics software subprogram, Applications of Computer
Graphics data presentation",
location = "RWTH-AC-DFV: Bibl., PH",
references = "0",
revision = "21/04/91",
}
@Article{Hayes:1980:TCM,
author = "J. P. Hayes and E. J. McCluskey",
key = "Hayes \& McCluskey",
title = "Testability Considerations in Microprocessor-Based
Design",
journal = j-COMPUTER,
volume = "13",
number = "3",
pages = "17--26",
month = mar,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Misc/vlsi.bib",
abstract = "Suveys testing techniques for microprocessors.
Introduces single stuck-line (SSL), pattern-sensitive
faults (PSF), scan-in/scan-out and level-sensitive scan
design (LSSD), self-checking, and comparison testing.",
keywords = "testing, microprocessor, survey, self test, signature
analysis",
}
@Article{Pradhan:1980:ECS,
author = "D. K. Pradhan and J. J. Stiffler",
key = "Pradhan \& Stiffler",
title = "Error-Correcting Codes and Self-Checking Circuits",
journal = j-COMPUTER,
volume = "13",
number = "3",
pages = "27--37",
month = mar,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/Multi.bib",
}
@Article{Peacock:1980:DSU,
author = "K. Peacock and E. Manning and J. Wong",
title = "Synchronization of Distributed Simulation Using
Broadcast Algorithms",
journal = j-COMPUTER,
volume = "13",
number = "4",
pages = "3--10",
month = apr,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Distributed/dist.sim.bib",
}
@Article{Buzen:1980:MCQ,
author = "Jeffrey P. Buzen and Peter J. Denning",
title = "Measuring and calculating queue length distributions",
journal = j-COMPUTER,
volume = "13",
number = "4",
pages = "33--44",
month = apr,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Sat Feb 1 12:53:41 1997",
bibsource = "Distributed/QLD.bib; Distributed/QLD/1980.bib",
annote = "Operational analysis, an alternative to stochastic
analysis based on measurable variables rather than
abstract parameters, simplifies proofs of formulas for
computing response times and queue lengths.",
country = "USA",
date = "01/12/80",
descriptors = "Queueing system; measurement; time series analysis;
QUEUE LENGTH; waiting time; LOOP queue; bibliography;
METHOD; G/G/1;",
enum = "489",
location = "PKI-OG: Li-Ord.Le; RWTH-AC-DFV: Bibl.",
references = "0",
revision = "21/04/91",
}
@Article{Leverett:1980:OPC,
author = "Bruce W. Leverett and R. G. G. Cattell and S. O. Hobbs
and J. M. Newcomer and A. H. Reiner and B. R. Schatz
and W. A. Wulf",
title = "An Overview of the {Production Quality
Compiler-Compiler Project}",
journal = j-COMPUTER,
volume = "13",
number = "8",
pages = "38--49",
month = aug,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Compiler/Compiler.Lins.bib",
}
@Article{Wilkes:1980:IWL,
author = "M. V. Wilkes",
title = "The impact of wide-band local area communication
systems on distributed computing",
journal = j-COMPUTER,
volume = "13",
number = "9",
pages = "22--25",
month = sep,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Distributed/QLD.bib; Distributed/QLD/1980.bib",
annote = "Work in the design and implementation of local area
systems holds the key to the future of large
distributed computer installations.",
date = "26/02/81",
descriptors = "Computer network; logical network structure; packet
switching; channel capacity; ETHERNET; ring network;",
enum = "3292",
location = "RWTH-AC-DFV: Bibl.",
references = "10",
revision = "21/04/91",
}
@Article{Isloor:1980:DPO,
author = "S. S. Isloor and T. A. Marsland",
key = "Isloor \& Marsland",
title = "The Deadlock Problem: An Overview",
journal = j-COMPUTER,
volume = "13",
number = "9",
pages = "58--78",
month = sep,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/Multi.bib",
}
@Article{Flynn:1980:DIA,
author = "M. Flynn",
key = "Flynn",
title = "Directions and Issues in Architecture and Language",
journal = j-COMPUTER,
volume = "13",
number = "10",
pages = "5--22",
month = oct,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/Multi.bib",
}
@Article{Rodrigue:1980:PLS,
author = "G. Rodrigue and E. D. Giroux and M. Pratt",
key = "Rodrigue et al.",
title = "Perspectives on Large-Scale Scientific Computation",
journal = j-COMPUTER,
volume = "13",
number = "10",
pages = "65--80",
month = oct,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/Multi.bib",
}
@Article{Boberg:1980:PMS,
author = "R. W. Boberg and others",
key = "Boberg et al.",
title = "Proposed {Microcomputer System 796 Bus Standard}",
journal = j-COMPUTER,
volume = "13",
number = "10",
pages = "89--105",
month = oct,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Fri Jun 11 18:03:17 1999",
bibsource = "Parallel/Multi.bib",
}
@Article{Vick:1980:AAS,
author = "C. R. Vick and S. P. Kartashev and S. I. Kartashev",
key = "Vick et al.",
title = "Adaptable Architectures for Super Systems",
journal = j-COMPUTER,
volume = "13",
number = "11",
pages = "17--35",
month = nov,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/Multi.bib",
}
@Article{Dennis:1980:DFS,
author = "Jack B. Dennis",
title = "Data Flow Supercomputers",
journal = j-COMPUTER,
volume = "13",
number = "11",
pages = "48--56",
month = nov,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/par.misc.bib",
annote = "Covers basic data flow, the idea of activity
templates, single assignment and so on. Also reprinted
in the text compiled by Kai Hwang: ``Supercomputers:
Design and Application,'' IEEE, 1984. Reproduced in
``Selected Reprints on Dataflow and Reduction
Architectures'' ed. S. S. Thakkar, IEEE, 1987, pp.
102-110.",
keywords = "grecommended, multiprocessors, parallel processing,
data flow,",
}
@Article{Chu:1980:TAD,
author = "W. W. Chu and L. J. Holloway and M. Lan and K. Efe",
key = "Chu et al.",
title = "Task Allocation in Distributed Data Processing",
journal = j-COMPUTER,
volume = "13",
number = "11",
pages = "57--69",
month = nov,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/load.balance.4.bib; Parallel/Multi.bib",
}
@Article{Kozdrowicki:1980:SGV,
author = "E. W. Kozdrowicki and Douglas J. Theis",
key = "Kozdrowicki \& Theis",
title = "Second Generation of Vector Supercomputers",
journal = j-COMPUTER,
volume = "13",
number = "11",
pages = "71--83",
month = nov,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/Multi.bib; Parallel/vectorization.bib",
}
@Article{Ball:1980:VN,
author = "A. J. S. Ball and G. V. Bochmann and J. Gecsei",
title = "{Videotex} networks",
journal = j-COMPUTER,
volume = "13",
number = "12",
pages = "8--14",
month = dec,
year = "1980",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Distributed/QLD.bib; Distributed/QLD/1980.bib",
annote = "Using the home TV screen, videotex networks can
provide easy, inexpensive access to vast amounts of
information. Here, we consider planned and possible
network structures.",
country = "USA",
date = "26/02/81",
descriptors = "Public network; communication network; hybrid
switching; local cable; telephone channel; fiber
optics; broadcast; communication; X.25; packet
switching;",
enum = "178",
location = "RWTH-AC-DFV: Bibl.",
references = "15",
revision = "21/04/91",
}
@Article{Myers:1981:CGR,
author = "W. Myers",
title = "Computer Graphics: Reaching the User",
journal = j-COMPUTER,
volume = "14",
number = "3",
pages = "7--10, 14, 17",
month = mar,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Graphics/siggraph/81.bib",
keywords = "I36 color table animation and I36 realism and I36
stereoscopic pattern generation",
}
@Article{Stevenson:1981:PSB,
author = "David Stevenson",
title = "A Proposed Standard for Binary Floating-Point
Arithmetic",
journal = j-COMPUTER,
volume = "14",
number = "3",
pages = "51--62",
month = mar,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Distributed/QLD.bib; Distributed/QLD/1981.bib",
annote = "Offered here for public comment, this proposed
standard facilitates transportation of numerically
oriented programs and encourages development of
high-quality numerical software.",
country = "USA",
date = "30/10/88",
descriptors = "Standardization; computer arithmetic; IEEE 754;
floating point; computation structure; numerical
software;",
enum = "2967",
location = "PKI-OG: Li-Ord.Le; RWTH-AC-DFV: Bibl.",
references = "0",
revision = "21/04/91",
}
@Article{Coonen:1981:EIG,
author = "Jerome T. Coonen",
title = "Errata: An Implementation Guide to a Proposed Standard
for Floating Point Arithmetic",
journal = j-COMPUTER,
volume = "14",
number = "3",
pages = "62--??",
month = mar,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Wed Sep 14 21:15:55 1994",
note = "See \cite{Coonen:1980:IGP}.",
acknowledgement = ack-nj,
}
@Article{Cody:1981:APF,
author = "William J. {Cody, Jr.}",
title = "Analysis of Proposals for the Floating-Point
Standard",
journal = j-COMPUTER,
volume = "14",
number = "3",
pages = "63--69",
month = mar,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "file://sunrise/u/sy/beebe/tex/bib/master.bib",
acknowledgement = ack-nj,
}
@Article{Hough:1981:API,
author = "David Hough",
title = "Applications of the Proposed {IEEE-754} Standard for
Floating Point Arithmetic",
journal = j-COMPUTER,
volume = "14",
number = "3",
pages = "70--74",
month = mar,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Fri Sep 2 23:38:14 1994",
acknowledgement = ack-nhfb,
}
@Article{Coonen:1981:UDN,
author = "Jerome T. Coonen",
title = "Underflow and the Denormalized Numbers",
journal = j-COMPUTER,
volume = "14",
number = "3",
pages = "75--87",
month = mar,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Fri Sep 2 23:38:17 1994",
acknowledgement = ack-nj,
}
@Article{Kernighan:1981:UPE,
author = "B. W. Kernighan and J. R. Mashey",
key = "Kernighan \& Mashey",
title = "The {Unix} Programming Environment",
journal = j-COMPUTER,
volume = "14",
number = "4",
pages = "12--24",
month = apr,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Wed Jun 15 16:48:10 1983",
bibsource = "Misc/unix.1.bib; Os/unix.1.bib",
keywords = "PE",
owner = "Rick Snodgrass",
}
@Article{Teitelman:1981:IPE,
author = "Warren Teitelman and Larry Masinter",
key = "Teitelman \& Masinter",
title = "The {Interlisp} Programming Environment",
journal = j-COMPUTER,
volume = "14",
number = "4",
pages = "25--33",
month = apr,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Sat Feb 01 12:52:43 1997",
bibsource = "Misc/programming.env.bib; Object/Nierstrasz.bib",
keywords = "plang seelit interlisp, PE, Interlisp",
owner = "Rick Snodgrass",
}
@Article{Zloof:1981:QOA,
author = "M. M. Zloof",
title = "{QBE\slash OBE}: {A} Language for Office and Business
Automation",
journal = j-COMPUTER,
volume = "14",
number = "5",
pages = "13--22",
month = may,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Object/Nierstrasz.bib",
keywords = "oislit qbe sba",
}
@Article{Stenning:1981:AEA,
author = "V. Stenning and R. Froggatt and R. Gilbert and E.
Thomas",
key = "Stenning et al.",
title = "The {Ada} Environment: {A} Perspective",
journal = j-COMPUTER,
volume = "14",
number = "6",
pages = "26--36",
month = jun,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Wed Jun 15 16:45:20 1983",
bibsource = "Misc/programming.env.bib",
abstract = "Four of the original goals of the DoD common
high-order language effort, which led to the definition
of the Ada language, were to (1) address the problem of
life-cycle program costs, (2) improve program
reliability, (3) promote the development of portable
software, and (4) promote the development of portable
software tools. It was recognized from the beginning
that these objectives would not be met by the language
alone, but by a comprehensive, integrated programming
environment. This article is about both the objectives
and the design of such an environment. It draws heavily
on reports produced by the authors during the United
Kingdom Ministry of Defense Ada Support System Study.
This study was initiated by MoD in January 1979 to
investigate environment issues, to stimulate discussion
of these issues, and to provide constructive input to
the US Department of Defense on the topic of the
language environment-just as such input had previously
been offered on the language itself. This article also
draws upon Stoneman, the DoD requirements document for
Ada programming support environments.",
keywords = "PAD, Ada, PE",
owner = "Rick Snodgrass",
}
@Article{Sussman:1981:SLC,
author = "Gerald Jay Sussman and Jack Holloway and Guy Lewis
{Steele, Jr.} and Alan Bell",
title = "{Scheme-79} --- {Lisp} on a Chip",
journal = j-COMPUTER,
volume = "14",
number = "7",
pages = "10--21",
month = jul,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Ai/scheme.bib",
keywords = "scheme79",
}
@Article{Webb:1981:VIM,
author = "Jon A. Webb and J. K. Aggarwal",
title = "Visually Interpreting the Motion of Objects in Space",
journal = j-COMPUTER,
volume = "14",
number = "8",
pages = "40--46",
month = aug,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Graphics/nonrigid.bib",
}
@Article{Cohler:1981:FPA,
author = "E. U. Cohler and J. E. Storer",
key = "Cohler \& Storer",
title = "Functionally Parallel Architecture for Array
Processors",
journal = j-COMPUTER,
volume = "14",
number = "9",
pages = "28--36",
month = sep,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/Multi.bib",
}
@Article{Maron:1981:IAP,
author = "N. Maron and T. A. Brengle",
key = "Maron \& Brengle",
title = "Integrating an Array Processor into a Scientific
Computing System",
journal = j-COMPUTER,
volume = "14",
number = "9",
pages = "41--44",
month = sep,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/Multi.bib",
}
@Article{Brode:1981:PFP,
author = "B. Brode",
title = "Precompilation of {Fortran} Programs to Facilitate
Array Processing",
journal = j-COMPUTER,
volume = "14",
number = "9",
pages = "46--51",
month = sep,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/ovr.bib",
}
@Article{Cohen:1981:HWP,
author = "Danny Cohen",
title = "On {Holy Wars} and a plea for peace",
journal = j-COMPUTER,
volume = "14",
number = "10",
pages = "48--54",
month = oct,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Tue Feb 4 06:43:17 1997",
bibsource = "Misc/misc.1.bib",
note = "This is an entertaining account of the Big-Endian and
Little-Endian problems of bit and byte ordering.",
acknowledgement = ack-nhfb,
}
@Article{Pohm:1981:CMS,
author = "A. V. Pohm and T. A. Smay",
key = "Pohm \& Smay",
title = "Computer Memory Systems",
journal = j-COMPUTER,
volume = "14",
number = "10",
pages = "93--110",
month = oct,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Sat Nov 7 14:21:51 1981",
bibsource = "Misc/storage.bib; Os/storage.bib",
keywords = "memory hierarchy, Devices",
}
@Article{Chang:1981:PDB,
author = "S. K. Chang and T. L. Kunii",
title = "Pictorial data base systems",
journal = j-COMPUTER,
volume = "14",
number = "11",
pages = "13--21",
month = nov,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Distributed/QLD.bib; Distributed/QLD/1981.bib;
Graphics/imager/imager.81.bib;
Graphics/siggraph/81.bib",
annote = "A pictorial data base is a collection of sharable
pictorial data encoded in various formats. A pictorial
data-base system, or PDBS, provides an integrated
collection of pictorial data for easy access by a large
number of users. The PDBS is the core of a pictorial
information system. until recently, little attention
has been paid to the management of nonalphanumeric
information such a digitized images, which require
large amounts of storage \ldots{}.",
country = "USA",
date = "01/02/82",
descriptors = "Graphics; design; diagram manipulation; information
system;",
enum = "535",
keywords = "I36 pictorial data base",
location = "RWTH-AC-DFV: Bibl.",
references = "0",
revision = "08/02/92",
}
@Article{Chang:1981:PQL,
author = "N. S. Chang and K. S. Fu",
title = "Picture query languages for pictorial data-base
systems",
journal = j-COMPUTER,
volume = "14",
number = "11",
pages = "23--33",
month = nov,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Distributed/QLD.bib; Distributed/QLD/1981.bib",
annote = "During the past twenty years, there has been
considerable growth of interest in problems of image
analysis. This interest has prompted many attempts to
simplify the management of images. One advance has been
the shared image data base that serves all users. This
approach is much more efficient than storing the vast
number of possibly redundant images needed by each
individual user. The directory, or catalog, of shared
image data bases consists \ldots{}",
country = "USA",
date = "24/02/82",
descriptors = "GRAPHICS; DESIGN; INFORMATION SYSTEM; DIAGRAM
MANIPULATION; COMMAND LANGUAGE; GRAPHICS LANGUAGE; DATA
REDUCTION;",
enum = "534",
location = "RWTH-AC-DFV: Bibl.",
references = "0",
revision = "21/04/91",
}
@Article{Zobrist:1981:PIP,
author = "A. L. Zobrist and G. Nagy",
title = "Pictorial information processing of {LANDSAT} data for
geographic analysis",
journal = j-COMPUTER,
volume = "14",
number = "11",
pages = "34--41",
month = nov,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Graphics/siggraph/81.bib",
keywords = "I33 geography",
}
@Article{Chock:1981:MDS,
author = "Margaret Chock and Alfonso F. Cardenas and Allen
Klinger",
key = "Chock81",
title = "Manipulating Data Structures in Pictorial Information
Systems",
journal = j-COMPUTER,
volume = "14",
number = "11",
pages = "43--50",
month = nov,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Tue Feb 4 06:43:11 1997",
bibsource = "Distributed/networking.bib;
Graphics/imager/imager.81.bib;
Graphics/siggraph/81.bib",
keywords = "I34 data structures and I34 pictorial systems, I34
data structures, I34 pictorial systems",
}
@Article{Dias:1981:PSI,
author = "D. M. Dias and J. R. Jump",
title = "Packet Switching Interconnection Networks for Modular
Systems",
journal = j-COMPUTER,
volume = "14",
number = "12",
pages = "43--53",
month = dec,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Distributed/QLD.bib; Distributed/QLD/1981.bib",
country = "USA",
date = "28/09/88",
descriptors = "Interconnection Network; Simulation;",
enum = "770",
location = "UniS-IND",
references = "23",
revision = "21/04/91",
}
@Article{Chen:1981:INU,
author = "P.-Y. Chen and D. H. Lawrie and P.-C. Yew and D. A.
Padua",
title = "Interconnection Networks Using Shuffles",
journal = j-COMPUTER,
volume = "14",
number = "12",
pages = "55--63",
month = dec,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Sat Feb 1 12:52:59 1997",
bibsource = "Distributed/QLD.bib; Distributed/QLD/1981.bib",
country = "USA",
date = "28/09/88",
descriptors = "Interconnection Network; Simulation;",
enum = "543",
location = "UniS-IND",
references = "25",
revision = "21/04/91",
}
@Article{Satyanarayanan:1981:DTV,
author = "M. Satyanarayanan and D. P. Bhandarkar",
key = "Satyanarayanan \& Bhandarkar",
title = "Design Trade-Offs in {VAX-11} Translation Buffer
Organization",
journal = j-COMPUTER,
volume = "14",
number = "12",
pages = "103--111",
month = dec,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Tue Feb 04 06:43:43 1997",
bibsource = "Misc/os.bib; Os/os.bib",
acknowledgement = ack-nhfb,
keywords = "simulation",
}
@Article{Plattner:1981:MPE,
author = "B. Plattner and J. Nievergelt",
key = "Plattner \& Nievergelt",
title = "Monitoring Program Execution: {A} Survey",
journal = j-COMPUTER,
volume = "16",
number = "11",
pages = "76--93",
month = nov,
year = "1981",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Wed Dec 29 21:05:56 1982",
bibsource = "Misc/monitor.bib",
}
@Article{Lantz:1982:RIG,
author = "K. A. Lantz and K. D. Gradischnig and J. A. Feldman
and R. F. and Rashid",
key = "Lantz et al",
title = "{Rochester}'s Intelligent Gateway",
journal = j-COMPUTER,
volume = "11",
number = "10",
pages = "54--68",
month = oct,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Fri Jan 6 14:03:48 1984",
bibsource = "Misc/os.bib; Os/os.bib",
}
@Article{Haynes:1982:SHP,
author = "L. S. Haynes and R. L. Lau and D. P. Siewiorek and D.
W. Mizel",
key = "Haynes et al.",
title = "A Survey of Highly Parallel Computing",
journal = j-COMPUTER,
volume = "15",
number = "1",
pages = "9--24",
month = jan,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Distributed/QLD.bib; Distributed/QLD/1982.bib;
Parallel/Multi.bib",
country = "USA",
date = "03/05/82",
descriptors = "Parallel computing;",
enum = "1303",
location = "PKI-OG: Li-Ord.Le",
references = "0",
revision = "21/04/91",
}
@Article{Gottlieb:1982:NAV,
author = "Allan Gottlieb and J. T. Schwartz",
key = "Gottlieb \& Schwartz",
title = "Networks and Algorithms for Very-Large-Scale Parallel
Computation",
journal = j-COMPUTER,
volume = "15",
number = "1",
pages = "27--36",
month = jan,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Neural/neural.5.bib; Parallel/Multi.bib",
}
@Article{Kung:1982:WSA,
author = "H. T. Kung",
title = "Why Systolic Architectures?",
journal = j-COMPUTER,
volume = "15",
number = "1",
pages = "37--46",
month = jan,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/par.misc.bib",
annote = "Systolic architectures, which permit multiple
computations for each memory access, can speed
execution of compute-bound problems without increasing
I/O requirements. reconfigured to suit new
computational structures; however, this capability
places new demands on efficient architecture use. Note:
Kung also has a machine readable bibliography in Scribe
format which is also distributed with the MP biblio on
tape, best to request from Kung on the CMU `sam'
machine. Reproduced in Dharma P. Agrawal's (ed.)
``Advanced Computer Architecture,'' IEEE, 1986, pp.
300-309. In order to achieve the simplicity and density
needed for effective VLSI design, Kung's strategy is to
optimize processor number, interconnection topology and
I/O structures for particular points in his space of
parallel algorithms. He defines a family of systolic
designs for computing various forms of the convolution
computation. This is a family of computations each
member of which generates a sequence of values formed
by taking a sum of products of values of corresponding
elements in two other sequences, according to some
indexing scheme. In this paper Kung also gives examples
of some of the ways the movement of data could be
organized: (1) Should vector elements be pre-loaded
into Processing Elements (PEs)? (2) Which way should
data move? Note that this is a two dimensional
pipelining strategy, so that the choice of data flow
direction has much more freedom than with simple linear
pipelines. Some of the organizations that Kung uses
are: square, hexagonal, and triangular arrays. Among
these schemes, the relative direction of data flow of
the two input vectors is another design parameter. (3)
Should information be broadcasted or shifted through
the network? (4) Which vectors should shift through the
PEs? Which should remain stationary in the PEs? Should
vector entries come in a temporally interleaved
fashion, and if so, at what relative rates? Each member
of this family of architectures has a particular
interprocessor communication structure that matches the
flow of data required by the underlying algorithms. It
is a wise choice to match this flow with particular
algorithms in mind; previous attempts at multiprocessor
parallelism have met with the problem of interprocessor
communication being a bottleneck. There are many
considerations in chosing the design parameters of a
systolic architecture. Probably the major factor is
that it is highly desirable to match the speed of
processing to the available I/O bandwidth. One way to
accomplish this goal is to make multiple use of each
input data item. This is done by either using
broadcasting with unlimited fan-in or by re-using each
value of a vector at each stage of a pipeline. Since it
is usually not possible to accurately estimate
available I/O bandwidth in a complex system, the hope
is to make the system modular to allow for adjustments
to this ratio. A surprising number of applications have
been found where systolic algorithms and architectures
lead to effective, highly parallel computing systems.
Among these are applications in signal and image
processing, matrix arithmetic, and non-numeric
applications.",
keywords = "Rhighnam, analysis, architecture, j-lb,
grecommended91, multiprocessors, parallel processing,
systolic arrays, VLSI, bmiya,",
}
@Article{Ahmed:1982:HCC,
author = "H. M. Ahmed and J. M. Delosme and M. Morf",
key = "Ahmed et al.",
title = "Highly Concurrent Computing Structures for Matrix
Arithmetic and Signal Processing",
journal = j-COMPUTER,
volume = "15",
number = "1",
pages = "65--82",
month = jan,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/Multi.bib",
}
@Article{Agerwala:1982:DS,
author = "T. Agerwala and Arvind",
key = "Agerwala \& Arvind",
title = "{DataFlow} Systems",
journal = j-COMPUTER,
volume = "15",
number = "2",
pages = "10--30",
month = feb,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/Multi.bib",
}
@Article{Ackerman:1982:DFL,
author = "W. B. Ackerman",
title = "Data Flow Languages",
journal = j-COMPUTER,
volume = "15",
number = "2",
pages = "15--25",
month = feb,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/par.misc.bib",
annote = "Very good summary of data flow, and changes made to
traditional languages to accommodate parallelism [e.g.
outlawing side-effects] Reproduced in ``Selected
Reprints on Dataflow and Reduction Architectures'' ed.
S. S. Thakkar, IEEE, 1987, pp. 179-188.",
keywords = "grecommended, programming languages, special issue on
data flow,",
}
@Article{Davis:1982:DFP,
author = "Alan L. Davis and Robert M. Keller",
title = "Data flow program graphs",
journal = j-COMPUTER,
volume = "15",
number = "2",
pages = "26--41",
month = feb,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Compiler/Compiler.Lins.bib",
}
@Article{Watson:1982:PDF,
author = "I. Watson and J. Gurd",
key = "Watson \& Gurd",
title = "A Practical Data Flow Computer",
journal = j-COMPUTER,
volume = "15",
number = "2",
pages = "51--57",
month = feb,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/par.dataflow.bib; Parallel/par.misc.bib",
annote = "Based on a tagged dynamic data flow model, this
prototype machine has eight unusual matching functions
for handling incoming data tokens at its computational
nodes.",
keywords = "grecommended, special issue on data flow,",
}
@Article{Gajski:1982:SOD,
author = "D. D. Gajski and D. A. Padua and D. J. Kuck and R. H.
Kuhn",
title = "A Second Opinion on Data Flow Machines and Languages",
journal = j-COMPUTER,
volume = "15",
number = "2",
pages = "58--69",
month = feb,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Sat Feb 1 12:53:20 1997",
bibsource = "Parallel/par.misc.bib",
annote = "(SKS) or why I'm afraid people won't use FORTRAN. This
paper should only be read (by beginners) in conjunction
with a pro-dataflow paper for balance: maybe McGraw's
``Physics Today'' May 1984. Also reprinted in the text
compiled by Kai Hwang: ``Supercomputers: Design and
Application,'' IEEE, 1984. Reproduced in ``Selected
Reprints on Dataflow and Reduction Architectures'' ed.
S. S. Thakkar, IEEE, 1987, pp. 165-176. * Due to their
simplicity and strong appeal to intuition, data flow
techniques attract a great deal of attention. Other
alternatives, however, offer more hope for the future.
(JLH \& DP) The most complete critique of the dataflow
approach.",
keywords = "grecommended91, multiprocessing",
}
@Article{Levy:1982:VMM,
author = "H. M. Levy and P. H. Lipman",
key = "Levy \& Lipman",
title = "Virtual Memory Management in the {VAX\slash VMS}
Operating System",
journal = j-COMPUTER,
volume = "15",
number = "3",
pages = "35--41",
month = mar,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Fri Jan 6 13:38:13 1984",
bibsource = "Misc/os.bib; Os/os.bib",
}
@Article{Hwang:1982:ULC,
author = "K. Hwang and W. J. Croft and G. H. Goble and B. W. Wah
and F. A. Briggs and W. R. Simmons and C. L. Coates",
key = "Hwang et al",
title = "A {Unix-Based} Local Computer Network with Load
Balancing",
journal = j-COMPUTER,
volume = "15",
number = "4",
pages = "55--66",
month = apr,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Tue Jan 10 15:38:59 1984",
bibsource = "Distributed/Osser.bib; Misc/os.bib; Os/os.bib;
Parallel/Load.Balance.2.bib;
Parallel/load.balance.3.bib;
Parallel/load.balance.5.bib;
Parallel/load.balance.hierarchical.bib",
abstract = "Describes ECN, a network of Vasen and smaller DEC
computers connected to a 1 M-baud network. Unix was
extended with programs to establish a virtual terminal
access, remote process execution, and load balancing
capabilities in a time-sharing mode.",
keywords = "load balancing, local area networks, Unix, load
balancing, remote execution, ECN",
}
@Article{Kenville:1982:ODD,
author = "Richard F. Kenville",
key = "Kenville",
title = "Optical Disk Data Storage",
journal = j-COMPUTER,
volume = "15",
number = "7",
pages = "21--25",
month = jul,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Tue Feb 04 06:44:48 1997",
bibsource = "Database/database.bib",
abstract = "RCA has recently completed two systems that establish
the feasibility of optical disks as a high data-rate
digital recording medium. The results of these programs
are being used to design operational data storage
hardware. The systems can record 5E10 bits of data on
one side of an optical disk at rates exceeding 100M
bits per second. They have provided a bit error rate of
one in 1E8 and can access any block of data in less
than 0.5 seconds.",
acknowledgement = ack-nhfb,
}
@Article{Copeland:1982:WIM,
author = "George Copeland",
key = "Copeland",
title = "What If Mass Storage Were Free?",
journal = j-COMPUTER,
volume = "15",
number = "7",
pages = "27--35",
month = jul,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Tue Feb 04 06:44:36 1997",
bibsource = "Misc/storage.bib; Os/storage.bib",
abstract = "This article takes the idea of ever-decreasing mass
storage costs to its absolute limit and examines the
hypothetical effects that free mass storage would
likely have on the design and use of future data-base
systems. Unfortunately, because of the broad scope of
the topics discussed herein, it is not possible to
describe each of them in depth. Instead, the goal here
is to provide an overall picture of mass storage
systems so that the reader can see how the pieces fit
together in a compatible and consistent way.",
acknowledgement = ack-nhfb,
annote = "The following advantages accrue from a non-deletion
strategy: improved functionality, access to past
states, use in accounting systems, elimination of
complex garbage collection mechanisms, improved
reliability, throughput, and availability, and
synchronization of distributed data bases. Two problems
with optical disks are noted: the solid-state laser
read/write heads currently have a limited lifespan and
therefore require periodic replacement, and
first-generation optical disks do not facilitate small
insertions because optical disks, like magnetic disks,
have unacceptable raw error rates.",
}
@Article{OLear:1982:SCM,
author = "B. T. O'Lear and J. H. Choy",
key = "O'Lear \& Choy",
title = "Software Considerations in Mass Storage Systems",
journal = j-COMPUTER,
volume = "15",
number = "7",
pages = "36--44",
month = jul,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Wed Sep 26 10:56:19 1984",
bibsource = "Misc/storage.bib; Os/storage.bib",
abstract = "This article looks at some possible MSS software
requirements as they apply to single-host connections
and a single MSS serving the data storage needs of more
than one host computer. As various systems are
developed, the aspects of the software functions for an
MSS should fall into the categories of move/copy,
compress, maintenance of directory integrity, data
staging/destaging and migration, and diagnostic
functions. We describe general MSS software
requirements with respect to definition, interaction,
and location of the software functions.",
}
@Article{Lawrie:1982:EAF,
author = "D. H. Lawrie and J. M. Randal and R. R. Barton",
key = "Lawrie, et al.",
title = "Experiments with Automatic File Migration",
journal = j-COMPUTER,
volume = "15",
number = "7",
pages = "45--55",
month = jul,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Wed Sep 26 11:03:44 1984",
bibsource = "Misc/storage.bib; Os/storage.bib",
abstract = "By collecting copies of the disk file catalogues on a
daily basis over a period of several years, we have
determined to what extent locality principles exist in
file access patterns and to what extent these patterns
may be useful in managing user files. Smith has done a
very thorough and interesting analysis of file size and
activity patterns. Many of his findings are very
similar to ours, ever though our installations are
quite different and even though the purposes of the
files in the study are different. Smith goes further
and considers file migration algorithms. Not
surprisingly, our findings are similar in this area
too. Later in this article we will refer to differences
between his approach and findings and ours.",
}
@Article{Shoch:1982:EEL,
author = "John F. Shoch and Y. K. Dalal and David D. Redell and
Ronald C. Crane",
title = "Evolution of the {Ethernet} Local Computer Network",
journal = j-COMPUTER,
volume = "15",
number = "8",
pages = "10--27",
month = aug,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Sat Aug 17 16:07:56 1996",
bibsource = "Ai/Ai.misc.bib",
}
@Article{Boral:1982:ADF,
author = "H. Boral and D. J. DeWitt",
title = "Applying Data Flow Techniques to Data Base Machines",
journal = j-COMPUTER,
volume = "15",
number = "8",
pages = "57--63",
month = aug,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Database/Graefe.bib",
note = "Reprinted in A. R. Hurson, L. L. Miller, and S. H.
Pakzad, Parallel Architectures for Database Systems,
IEEE Computer Society Press, Washington, DC, 1989",
keywords = "Direct",
}
@Article{Patterson:1982:VR,
author = "D. A. Patterson and C. H. Sequin",
title = "A {VLSI RISC}",
journal = j-COMPUTER,
volume = "15",
number = "9",
institution = "IEEE",
pages = "8--21",
month = sep,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Database/Graefe.bib; Misc/risc.bib",
keywords = "risc reduced instruction set computer architecture
restricted, architecture programming languages",
}
@Article{Brayer:1982:TAD,
author = "K. Brayer and V. Lafleur",
key = "Brayer \& Lafleur",
title = "A Testbed Approach to the Design of a Computer
Communication Network",
journal = j-COMPUTER,
volume = "15",
number = "10",
pages = "14--23",
month = oct,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/Multi.bib",
}
@Article{McDonald:1982:FDT,
author = "W. C. McDonald and R. W. Smith",
key = "McDonald \& Smith",
title = "A Flexible Distributed Testbed for Real-Time
Applications",
journal = j-COMPUTER,
volume = "15",
number = "10",
pages = "25--39",
month = oct,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/Multi.bib",
}
@Article{Gehringer:1982:CT,
author = "E. F. Gehringer and A. K. Jones and Z. Z. Segall",
key = "Gehringer et al.",
title = "The {Cm*} Testbed",
journal = j-COMPUTER,
volume = "15",
number = "10",
pages = "40--49",
month = oct,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/Multi.bib",
}
@Article{Hall:1982:MCS,
author = "Ernest L. Hall and James K. B. Tio and Charles A.
McPherson and Firooz A. Sadjadi",
title = "Measuring Curved Surfaces for Robot Vision",
journal = j-COMPUTER,
volume = "15",
number = "12",
pages = "42--54",
month = dec,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Graphics/vision.bib",
}
@Article{Arvind:1982:U,
author = "Arvind and Kim P. Gostelow",
key = "Arvind \& Gostelow",
title = "The {U-Interpreter}",
journal = j-COMPUTER,
volume = "16",
number = "1",
pages = "42--49",
month = jan,
year = "1982",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/Multi.bib",
annote = "Yes, first author has only one name",
bibdate = "Thu Oct 31 18:41:27 2002",
}
@Article{Fu:1983:ICA,
author = "K. Hwang and K. Fu",
key = "Hwang83A",
title = "Integrated Computer Architectures for Image Processing
and Database Management",
journal = j-COMPUTER,
volume = "16",
number = "1",
pages = "51--60",
month = jan,
year = "1983",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Distributed/networking.bib",
}
@Article{Atkinson:1983:APP,
author = "M. P. Atkinson and P. J. Bailey and K. J. Chisholm and
P. W. Cockshott and R. Morrison",
title = "An Approach to Persistent Programming",
journal = j-COMPUTER,
volume = "16",
number = "4",
pages = "360--365",
month = apr,
year = "1983",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Object/Ooos.bib",
}
@Article{Benhamou:1983:MIG,
author = "Eric Benhamou and Judy Estrin",
title = "Multilevel internetworking gateways: Architecture and
applications",
journal = j-COMPUTER,
volume = "16",
number = "9",
pages = "27--34",
month = sep,
year = "1983",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Sat Feb 1 12:54:07 1997",
bibsource = "Distributed/network.bib",
}
@Article{Hinden:1983:DII,
author = "R. Hinden and J. Haverty and A. Sheltzer",
title = "The {DARPA Internet}: Interconnecting Heterogeneous
Computer Networks with Gateways",
journal = j-COMPUTER,
volume = "16",
number = "9",
pages = "38--48",
month = sep,
year = "1983",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Misc/misc.1.bib",
note = "papers box",
keywords = "DARPA gateway",
}
@Article{Thornton:1983:HNL,
author = "James E. Thornton and Gary S. Christensen",
title = "Hyperchannel network links",
journal = j-COMPUTER,
volume = "16",
number = "9",
pages = "50--54",
month = sep,
year = "1983",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Sat Feb 1 12:54:14 1997",
bibsource = "Distributed/network.bib",
}
@Article{Redell:1983:IEM,
author = "David D. Redell and James E. White",
title = "Interconnecting electronic mail systems",
journal = j-COMPUTER,
volume = "16",
number = "9",
pages = "55--63",
month = sep,
year = "1983",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Sat Feb 1 12:54:52 1997",
bibsource = "Distributed/network.bib",
}
@Article{Brachman:1983:WII,
author = "Ronald J. Brachman",
key = "Brachman",
title = "What {IS-A} Is and Isn't: An Analysis of Taxonomic
Links in Semantic Networks",
journal = j-COMPUTER,
volume = "16",
number = "10",
pages = "30--36",
month = oct,
year = "1983",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Ai/concordia.bib; Database/database.bib;
Distributed/gesturing.bib",
abstract = "Fairchild Laboratory for Artificial Intelligence
Research",
}
@Article{Schubert:1983:DTP,
author = "Lenhart K. Schubert and Mary Angela Papalaskaris and
Jay Taugher",
key = "Schubert et al.",
title = "Determining Type, Part, Color, and Time
Relationships",
journal = j-COMPUTER,
volume = "16",
number = "10",
pages = "53--60",
month = oct,
year = "1983",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Thu Jul 17 13:15:00 1986",
bibsource = "Ai/hybrid.bib; Database/time.bib",
note = "Special Issue on Knowledge Representation",
abstract = "Much combinatory reasoning can be short-circuited by
using special graphical and geometrical methods when
determining certain relationships-the ones people grasp
without thinking.",
area = "Knowledge Representation",
description = "This paper talks about adding special-purpose
reasoning mechanisms to knowledge representation
systems in order to reason efficiently about type
relationships, part-of relationships, relationships
between colors, and time relationships. In each case, a
specialized representation (graphical or geometrical)
with special properties is exploited to get more
efficient processing. One claim is that once a few of
these representations are available, many more areas
can be couched in their terms, thus allowing large
advances in efficiency with very little extra work.",
grouping = "hybrid knowledge representation systems",
owner = "manning",
topics = "semantic networks, special-purpose inference, hybrid
knowledge representation systems",
}
@Article{Brachman:1983:KAF,
author = "Ronald J. Brachman and Richard E. Fikes and Hector J.
Levesque",
title = "{KRYPTON}: {A} Functional Approach to Knowledge
Representation",
journal = j-COMPUTER,
volume = "16",
number = "10",
pages = "67--73",
month = oct,
year = "1983",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Ai/hybrid.bib",
note = "Special Issue on Knowledge Representation",
area = "Knowledge Representation",
description = "This paper presents KRYPTON, a new knowledge
representation system that is to be based on the idea
that a knowledge representation system should have some
commitment to what its structures denote. To achieve
this, only a limited, functional, interface is provided
between KRYPTON and its users. This prevents
unauthorized access to those structures and helps to
guarantee their meaning. KRYPTON also contains two
languages: one for representing terms and one for
asserting facts. This dichotomy serves to augment the
representational powers of the language.",
grouping = "hybrid knowledge representation systems",
note-2 = "A slightly extended version appears in Ronald J.
Brachmann and Hector J. Levesque, ``Readings in
Knowledge Representation'', Morgan Kaufmann (1985),
ISBN 0-934613-01-X.",
other = "Also available as FLAIR Technical Report Number 16,
Fairchild Laboratory for Artificial Intelligence
Research, May 1983.",
topics = "hybrid knowledge representation systems",
}
@Article{Davis:1983:RSB,
author = "Randall Davis and Howard Shrobe",
title = "Representing Structure and Behavior of Digital
Hardware",
journal = j-COMPUTER,
volume = "16",
number = "10",
pages = "75--81",
month = oct,
year = "1983",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Ai/concordia.bib",
abstract = "The Artificial Intelligence Laboratory, MIT",
}
@Article{Mylopoulos:1983:BKS,
author = "John Mylopoulos and Tetsutaro Shibahara and John K.
Tsotsos",
title = "Building Knowledge-Based Systems: The {PSN}
Experience",
journal = j-COMPUTER,
volume = "16",
number = "10",
pages = "83--89",
month = oct,
year = "1983",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Ai/concordia.bib",
abstract = "U of T",
}
@Article{Havens:1983:RKV,
author = "W. Havens and A. Mackworth",
title = "Representing knowledge of the visual world",
journal = j-COMPUTER,
volume = "16",
number = "10",
pages = "90--96",
month = oct,
year = "1983",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Ai/raum.bib",
topics = "K{\"u}nstliche Intelligenz / Wissensrepr{\"a}sentation
/ Spatial Reasoning / Raumwissen / Konkreter Raum /
Navigation / Raumbeschreibung",
}
@Article{Balzer:1983:STU,
author = "Robert Balzer and Thomas E. {Cheatham, Jr.} and
Cordell Green",
title = "Software Technology in the 1990s: Using a New
Paradigm",
journal = j-COMPUTER,
volume = "16",
number = "11",
pages = "39--45",
month = nov,
year = "1983",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Tue Feb 4 06:45:30 1997",
bibsource = "Misc/softeng.misc.bib",
acknowledgement = ack-nhfb,
}
@Article{Gajski:1983:GEI,
author = "D. Gajski and R. Kuhn",
key = "GaKu83",
title = "{Guest Editors}' Introduction: New {VLSI} Tools",
journal = j-COMPUTER,
volume = "16",
number = "12",
pages = "11--14",
month = dec,
year = "1983",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Misc/formal.hardware.verification.bib",
}
@Article{Lee:1984:BPS,
author = "J. K. F. Lee and A. J. Smith",
title = "Branch prediction strategies and branch target buffer
design",
journal = j-COMPUTER,
volume = "17",
number = "1",
pages = "6--22",
month = jan,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Compiler/Compiler.Lins.bib",
}
@Article{Gligor:1984:IHD,
author = "V. D. Gligor and G. L. Luckenbaugh",
key = "Gligor \& Luckenbaugh",
title = "Interconnecting Heterogeneous Database Management
Systems",
journal = j-COMPUTER,
volume = "17",
number = "1",
pages = "33--43",
month = jan,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Tue Feb 4 06:46:05 1997",
bibsource = "Parallel/Multi.bib",
acknowledgement = ack-nhfb,
}
@Article{Boari:1984:MPT,
author = "Maurelio Boari and Stefano Crespi-Reghizzi and Alberto
Dapra and Francesco Maderna and Antonio Natali",
title = "Multiple-Microprocessor Programming Techniques: {MML},
a New Set of Tools",
journal = j-COMPUTER,
volume = "17",
number = "1",
pages = "47--59",
month = jan,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/debug_3.1.bib; Parallel/par.debug.bib",
}
@Article{Grinberg:1984:CVA,
author = "J. Grinberg and G. R. Nudd and R. D. Etchells",
title = "A Cellular {VLSI} Architecture",
journal = j-COMPUTER,
volume = "17",
number = "1",
institution = "Hughes",
pages = "69--81",
month = jan,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Graphics/rosenfeld/1984.bib",
keywords = "IMAGE PROCESSING, DIGITAL",
}
@Article{Weide:1984:PCI,
author = "B. W. Weide and M. E. Brown and J. Ramanathan and K.
Schwan",
key = "Weide et al.",
title = "Process Control: Integration and Design Methodology
Support",
journal = j-COMPUTER,
volume = "17",
number = "2",
pages = "27--32",
month = feb,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Tue Feb 04 06:46:19 1997",
bibsource = "Misc/softeng.bib",
acknowledgement = ack-nhfb,
}
@Article{Roussopoulos:1984:AMD,
author = "N. Roussopoulos and R. T. Yeh",
key = "Roussopoulos \& Yeh",
title = "An Adaptable Methodology for Database Design",
journal = j-COMPUTER,
volume = "17",
number = "5",
pages = "64--80",
month = may,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Thu Nov 1 10:00:09 1984",
bibsource = "Database/database.bib",
}
@Article{Welch:1984:THP,
author = "Terry A. Welch",
title = "A technique for high performance data compression",
journal = j-COMPUTER,
volume = "17",
number = "6",
pages = "8--20",
month = jun,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Thu Jan 16 17:13:16 2003",
acknowledgement = ack-nhfb,
annote = "This is the paper with the Lempel-Ziv-Welch (LZW)
algorithm that led to the famous Unix
compress/decompress programs (and the .Z file file
extension), written by Spence Thomas at the University
of Utah in June 1984. It builds on prior work by Ziv
and Lempel \cite{Ziv:1977:UAS,Ziv:19778CIS} in
1977--1978.\par
Welch (the inventor) and Sperry Corporation (the
employer) applied for (on 20 June 1983), and received
(on 10 December 1985), a United States Patent
(No. 4,558,302) on the algorithm (see
\path@http://patft.uspto.gov/netacgi/nph-Parser?Sect1=PTO1&Sect2=HITOFF&d=PALL&p=1&u=/netahtml/srchnum.htm&r=1&f=G&l=50&s1=4,558,302.WKU.&OS=PN/4,558,302&RS=PN/4,558,302@),
and Unisys (which acquired Sperry in 1986) has since
regulated its use through licensing fees, notably from
Compuserv for its use in the GIF image format
compression.\par
The LZW decoding algorithm is widely held to be
unencumbered by patents.\par
About 1990, Adobe Systems licensed the LZW compression
algorithm from Unisys for use in the LZWEncode operator
in the Level 2 of the PostScript page description
language, so PostScript-producing programs are required
to have a Unisys license in order to produce data for
that operator. Aladdin Software, the creators of
ghostscript, chose not to license the patent, and
instead, developed a completely different compression
algorithm that just happens to be decompressable with
the LZW decompression algorithm.\par
According to Salomon \cite[p.~216]{Salomon:2000:DCC},
``The patent expires on 10 December 2002, or 20 June
2003, depending on whether the GATT agreements
grandfather in existing patents or no. The first date
is 17 years from issuance of the patent (old U.S. law),
and the second is 20 years from the date of first
filing (a GATT requirement).''\par
In 1992, the GNU Project countered with gzip/gunzip
(and the .gz file extension), based on patent-free
algorithms, with better compression performance, and by
2000, those utilities had largely replaced
compress/decompress for Internet archives. gunzip will
uncompress a .Z file, but gzip will not create such a
file because of the patent.\par
In 1996, Julian R. Seward developed the bzip2/bunzip2
programs (and the .bz2 file extension), believed to be
patent free, based on the Burrows-Wheeler block-sorting
text compression algorithm, and Huffman coding,
obtaining even better compression than gzip, but at the
expense of considerably longer running times. The
Unisys patent (United States Patent No. 4,558,302
(1985), Japanese Patent Numbers 2,123,602 and
2,610,084, and patents in Canada, France, Germany,
Italy and the United Kingdom) and license is discussed
at \path=http://www.unisys.com/about__unisys/lzw/= (URL
accurate on 16-Jan-2003).\par
In 1995, a collaborative group developed the Portable
Network Graphics (PNG) image file format in reaction to
the patent restrictions on the GIF format; see
\cite{Crocker:1995:PPN,Roelofs:1999:PDG}.",
}
@Article{Hsieh:1984:RSC,
author = "W. N. Hsieh and I. Gitman",
title = "Routing Strategies in Computer Networks",
journal = j-COMPUTER,
volume = "17",
number = "6",
pages = "46--56",
month = jun,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Distributed/QLD.bib; Distributed/QLD/1984.bib",
annote = "\ldots{} In this article, we provide an overview of
how the routing-related functions are implemented in a
number of current distributed computer networks and
compare the performance of the routing functions. The
networks reviewed include public data networks Arpanet,
Tymnet, Telenet, Datapac, IBM's System Network
Architecture, and Digital Equipment C/rporation's
Digital Network Architecture. \ldots{}",
date = "01/06/89",
descriptors = "Packet switching; survey; routing algorithm; SNA;
DATAPAC; ARPANET; TYMNET; comparison;",
enum = "1422",
location = "TU-BS-INS",
references = "15",
revision = "21/04/91",
}
@Article{MacDougall:1984:IPP,
author = "Myron MacDougall",
title = "Instruction-Level Program and Processor Modeling",
journal = j-COMPUTER,
volume = "17",
number = "7",
pages = "14--24",
month = jul,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Sat Feb 01 12:56:09 1997",
bibsource = "Misc/risc.bib",
keywords = "mips risc reduced restricted instruction set computer
architecture pipelining microcoding",
}
@Article{Snyder:1984:PPP,
author = "L. Snyder",
key = "Snyder",
title = "Parallel Programming and the {Poker} Programming
Environment",
journal = j-COMPUTER,
volume = "17",
number = "7",
pages = "27--36",
month = jul,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Tue Feb 4 06:46:36 1997",
bibsource = "Parallel/Multi.bib",
acknowledgement = ack-nhfb,
}
@Article{Keller:1984:SPR,
author = "R. M. Keller and F. C. H. Lin",
title = "Simulated Performance of a Reduction-Based
Multiprocessor",
journal = j-COMPUTER,
volume = "17",
number = "7",
pages = "70--82",
month = jul,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Misc/Functional.bib; Parallel/Pfpbib.bib",
abstract = "Multiprocessor systems present unique concurrency
problems. Rediflow combines disciplined von Neumann
processes with a hybrid reduction and dataflow model in
an effective packet-switching network.",
keywords = "Simulation, Graph Reduction, parallel AMPS functional
rediflow dataflow",
}
@Article{Sarrazin:1984:FSM,
author = "D. B. Sarrazin and M. Malek",
key = "Sarrazin \& Malek",
title = "Fault-Tolerant Semiconductor Memories",
journal = j-COMPUTER,
volume = "17",
number = "8",
pages = "49--56",
month = aug,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/Multi.bib",
}
@Article{Mittal:1984:PAK,
author = "S. Mittal and B. Chandrasekaran and J. Sticklen",
key = "Mittal et al.",
title = "{Patrec}: {A} Knowledge-Directed Database for a
Diagnostic Expert System",
journal = j-COMPUTER,
volume = "17",
number = "9",
pages = "51--58",
month = sep,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Thu Sep 20 13:05:28 1984",
bibsource = "Database/database.bib",
abstract = "Patrec is one component in a cluster of
knowledge-based medical expert systems developed at
Ohio State University. This system holds extensive
knowledge on relevant medical data entries: it uses
this knowledge to acquire and organize data about
patients and to answer questions about patient data
needed for diagnostic reasoning. The most important
feature of Patrec is its underlying knowledge base, to
generate answers when corresponding data are not
explicitly stored in the database. In addition, Patrec
can handle some temporal aspects of the data and answer
questions regarding the temporal relationships of
events.",
annote = "The temporal component of Patrec uses the ideas of (1)
event cluster, where several events are collapsed into
one point in time; (2) domain-specific key events; and,
(3) imprecisions. Securities are used to answer 3 forms
of questions: (1) When did event occur? (2) Did patient
have Y during temporal description of time duration?
(3) Did Y occur within interval T of 7?",
}
@Article{MacHover:1984:ICG,
author = "C. MacHover and W. Myers",
title = "Interactive Computer Graphics",
journal = j-COMPUTER,
volume = "17",
number = "10",
institution = "Machover/IEEE",
pages = "145--161",
month = oct,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Graphics/imager/imager.84.bib;
Graphics/rosenfeld/1984.bib; Graphics/siggraph/84.bib",
keywords = "I30 survey, IMAGE PART PROCESSING, SURVEY",
}
@Article{Brown:1984:AOS,
author = "R. L. Brown and P. J. Denning",
key = "Brown \& Denning",
title = "Advanced Operating Systems",
journal = j-COMPUTER,
volume = "17",
number = "10",
pages = "173--190",
month = oct,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Wed Sep 2 13:14:03 1987",
bibsource = "Misc/os.bib; Os/os.bib",
owner = "manning",
}
@Article{Fu:1984:PRC,
author = "K. S. Fu and A. Rosenfeld",
title = "Pattern Recognition and Computer Vision",
journal = j-COMPUTER,
volume = "17",
number = "10",
institution = "Purdue U/U Md",
pages = "274--282",
month = oct,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Graphics/rosenfeld/1984.bib",
keywords = "IMAGE PART STRUCTURE, SURVEY",
}
@Article{Glinert:1984:PIG,
author = "E. P. Glinert and S. L. Tanimoto",
title = "{PICT}: An Interactive Graphical Programming
Environment",
journal = j-COMPUTER,
volume = "17",
number = "11",
pages = "7--25",
month = nov,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Graphics/imager/imager.84.bib",
keywords = "I34 programming environments",
}
@Article{Shemer:1984:GDC,
author = "J. Shemer and P. M. Neches",
title = "The Genesis of a Database Computer",
journal = j-COMPUTER,
volume = "17",
number = "11",
pages = "42--??",
month = nov,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Database/Graefe.bib",
keywords = "Teradata",
}
@Article{Laurent:1984:GAG,
author = "D. Laurent and S. Motet",
title = "{GEOMATIC}: {A $3$-D} Graphic Relief Simulation
System",
journal = j-COMPUTER,
volume = "17",
number = "12",
pages = "25--30",
month = dec,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Graphics/imager/imager.84.bib",
keywords = "I34 simulation",
}
@Article{Yoshiura:1984:TCM,
author = "H. Yoshiura and K. Fujimura and T. L. Kunii",
title = "Top-Down Construction of {3-D} Mechanical Object
Shapes From Engineering Drawings",
journal = j-COMPUTER,
volume = "17",
number = "12",
institution = "Hitachi/U Tokyo",
pages = "32--40",
month = dec,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Graphics/rosenfeld/1984.bib",
keywords = "IMAGE PART STRUCTURE",
}
@Article{Woo:1984:ISM,
author = "T. C. Woo",
title = "Interfacing Solid Modeling to {CAD} and {CAM}: Data
Structures and Algorithms for Decomposing a Solid",
journal = j-COMPUTER,
volume = "17",
number = "12",
institution = "U Mich",
pages = "44--49",
month = dec,
year = "1984",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Graphics/imager/imager.84.bib;
Graphics/rosenfeld/1984.bib; Graphics/siggraph/84.bib",
keywords = "I35 solid modeling, I35 data structures, I35 solid
decomposition, IMAGE PART FORM, LARGE DIMENSIONALITY",
}
@Article{Chu:1985:CKT,
author = "Y. Chu",
title = "{Chinese\slash Kanji} Text and Data Processing",
journal = j-COMPUTER,
volume = "18",
number = "1",
institution = "U Md",
pages = "10--66",
month = jan,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Graphics/rosenfeld/1985.bib",
keywords = "IMAGE, SYMBOL, MEETING",
}
@Article{Maruyama:1985:HV,
author = "F. Maruyama and M. Fujita",
title = "Hardware Verification",
journal = j-COMPUTER,
volume = "18",
number = "2",
pages = "22--32",
month = feb,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
LCCN = "TK7885 A1 C6 V.18 1985, STEACIE",
bibsource = "Ai/log.prog.85.bib",
note = "U. S. Copyright Clearance Center Code:
0018-9162/85/0200-0022\$01.00",
abstract = "The authors describe two formal verification
techniques for hardware design, making use of a
temporal logic notation. They first describe DDL
(Digital Design Language), a register transfer
language, and discuss causality tracing using the DDL
verifier. They then discuss the use of PROLOG in
hardware description. Finally, they present two methods
for increasing efficiency of verification.",
keywords = "logic CAD; PROLOG; specification languages",
}
@Article{Suzuki:1985:CPE,
author = "N. Suzuki",
title = "Concurrent {PROLOG} as an Efficient {VLSI} Design
Language",
journal = j-COMPUTER,
volume = "18",
number = "2",
pages = "33--40",
month = feb,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
LCCN = "TK7885 A1 C6 V.18 1985, STEACIE",
bibsource = "Ai/log.prog.85.bib",
note = "U. S. Copyright Clearance Center Code:
0018-9162/85/0200-0033\$01.00",
abstract = "The use of a programming language, Concurrent PROLOG,
for describing hardware is described. A pipeline
control mechanism for a high-performance personal
computer is used as an example. The same language is
used to write functional specifications and requirement
specifications (I/O assertions) and to check the
consistency between specifications by executing the
PROLOG programs.",
keywords = "electronic engineering computing; logic CAD; PROLOG;
specification languages",
}
@Article{Lieberherr:1985:ZAL,
author = "K. J. Lieberherr and S. M. German",
key = "Lieberherr \& German",
title = "{Zeus}: {A} Language for Expressing Algorithms in
Hardware",
journal = j-COMPUTER,
volume = "18",
number = "2",
pages = "55--65",
month = feb,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Thu Oct 24 13:04:27 1985",
bibsource = "Misc/arch.bib",
note = "Zeus",
annote = "This paper provides an introduction to the language
Zeus, discussing the features of the language with
examples. The language is derived from Modula-2 and is
designed to be used with a silicon compiler now under
development.",
keywords = "Zeus",
}
@Article{Piloty:1985:CPC,
author = "R. Piloty and D. Borrione",
key = "PiBo85",
title = "The {CONLAN} project: concepts, implementations and
applications",
journal = j-COMPUTER,
volume = "18",
number = "2",
pages = "81--92",
month = feb,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Misc/formal.hardware.verification.bib",
keyword = "HDL CONLAN verification",
owner = "Ralf Reetz",
}
@Article{Shahdad:1985:VHD,
author = "M. Shahdad and R. Lipsett and F. E. Marschner and K.
Sheehan and H. Cohen and R. Waxman and D. Ackley",
key = "Shahdad et al.",
title = "{VHSIC} Hardware Description Language",
journal = j-COMPUTER,
volume = "18",
number = "2",
pages = "94--103",
month = feb,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Thu Oct 24 12:54:25 1985",
bibsource = "Misc/arch.bib",
note = "VHDL",
annote = "A good introductory paper on VHDL. Several examples
are shown, and there is a short discussion of the
design environment that is evolving around the
language.",
keywords = "VHDL",
}
@Article{Berman:1985:CRT,
author = "S. Berman and P. Parikh and C. S. G. Lee",
title = "Computer Recognition of Two Overlapping Parts Using a
Single Camera",
journal = j-COMPUTER,
volume = "18",
number = "3",
institution = "U Mich +",
pages = "70--80",
month = mar,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Graphics/rosenfeld/1985.bib",
keywords = "IMAGE, MECHANICS",
}
@Article{Anonymous:1985:NCA,
author = "Anonymous",
key = "Anonymous85o",
title = "New Configuration Added, Price Cut, For Processor",
journal = j-COMPUTER,
volume = "18",
number = "5",
pages = "122--??",
month = may,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Ai/ai.misc.bib",
abstract = "Symbolics announced a new configuration of its 3640
processor, the 3640-1711 which has two 140 MB
Winchester disks and costs \$71,080 and with one 140MB
hard drive it costs \$65,900. 2MB add-in board is
\$9,900 and an eight megabyte add-in memory board is
\$35,000.",
keywords = "Symbolics lisp machine",
}
@Article{Gajski:1985:EIM,
author = "Daniel D. Gajski and Jih-Kwon Peir",
title = "Essential Issues in Multiprocessor Systems",
journal = j-COMPUTER,
volume = "18",
number = "6",
institution = "IEEE",
pages = "9--27",
month = jun,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/par.misc.bib; Parallel/scheduling.bib;
Parallel/transputer.bib",
annote = "The performance of a multiprocessor system depends on
how it handles the key problems of control,
partitioning, scheduling, synchronization, and memory
access. On a second look, this paper has some nice
ideas. (rec added to \%K). Examines actual and proposed
machines from the viewpoint of the authors' key
multiprocessing problems: control, partitioning,
scheduling, synchronization, and memory access.
Detailed classification scheme based upon control model
of computation, partitioning, scheduling,
synchronization, memory access. Classification is
illustrated with many examples, including a summary
table for to Cray-1, Arvind's Data flow, HEP, NYU
Ultracomputer, and Cedar. Reproduced in ``Computer
Architecture,'' D. D. Gajski, V. M. Milutinovic, H. J.
Siegel, and B. P. Furht, eds., IEEE, 1987, pp.
115--133.",
keywords = "parallel processor vector shared memory message
passing tightly loosely coupled dataflow partitioning
cedar csp occam hep synchronization grecommended91",
}
@Article{Schneck:1985:PPP,
author = "P. B. Schneck and D. Austin and S. L. Squires and J.
Lehmann and D. Mizell and K. Wallgren",
key = "Schneck et al.",
title = "Parallel Processor Programs in the {Federal
Government}",
journal = j-COMPUTER,
volume = "18",
number = "6",
pages = "43--56",
month = jun,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Wed Oct 7 07:14:20 1998",
bibsource = "Parallel/Multi.bib",
}
@Article{Murakami:1985:RPM,
author = "K. Murakami and T. Kakuta and R. Onai and N. Ito",
key = "Murakami et al.",
title = "Research on Parallel Machine Architecture for
Fifth-Generation Computer Systems",
journal = j-COMPUTER,
volume = "18",
number = "6",
pages = "76--92",
month = jun,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Ai/prolog.1.bib; Parallel/par.logic.bib",
note = "Month June",
keyword = "ICOT,Delta,PIM-R,PIM-D",
keywords = "prolog ICOT,Delta,PIM-R,PIM-D",
}
@Article{Wah:1985:MCS,
author = "Benjamin W. Wah and G. J. Li and C. F. Yu",
title = "Multiprocessing of Combinatorial Search Problems",
journal = j-COMPUTER,
volume = "18",
number = "6",
pages = "93--108",
month = jun,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Tue Feb 4 06:46:54 1997",
bibsource = "Parallel/par.branch.and.bound.bib",
acknowledgement = ack-nhfb,
}
@Article{Miller:1985:TRM,
author = "S. W. Miller and M. W. Collins",
key = "Miller \& Collins",
title = "Toward a Reference Model of Mass Storage Systems",
journal = j-COMPUTER,
volume = "18",
number = "7",
pages = "9--22",
month = jul,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Thu Jul 25 14:16:05 1985",
bibsource = "Misc/storage.bib; Os/storage.bib",
}
@Article{Ammon:1985:HLJ,
author = "G. Ammon and J. Calabria and D. Thomas",
key = "Ammon et al.",
title = "A High-Speed, Large-Capacity, Jukebox Optical Disk
System",
journal = j-COMPUTER,
volume = "18",
number = "7",
pages = "36--46",
month = jul,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Mon Aug 5 15:28:36 1985",
bibsource = "Database/database.bib",
}
@Article{Raeder:1985:SCG,
author = "G. Raeder",
key = "Raeder",
title = "A Survey of Current Graphical Programming Techniques",
journal = j-COMPUTER,
volume = "18",
number = "8",
pages = "11--25",
month = aug,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Wed Aug 14 11:27:10 1985",
bibsource = "Graphics/graphics.1.bib",
abstract = "Representing programs in graphical images offers many
opportunities for improving programming techniques.
This article examines the use of pictures in
programming and compares various graphical programming
systems.",
}
@Article{Brown:1985:PVG,
author = "G. P. Brown and R. T. Carling and C. F. Herot and D.
A. Kramlich and P. Souza",
key = "Brown et al.",
title = "Program Visualization: Graphical Support for Software
Development",
journal = j-COMPUTER,
volume = "18",
number = "8",
pages = "27--35",
month = aug,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Wed Aug 14 11:30:33 1985",
bibsource = "Graphics/imager/imager.85.bib;
Graphics/siggraph/85.bib; Misc/monitor.bib",
abstract = "PV designers are extending application-specific
graphical support techniques and devising newer, more
comprehensive graphics tools that together can be used
throughout the software life cycle.",
keywords = "I36 program visualization",
}
@Article{London:1985:APU,
author = "R. L. London and R. A. Duisberg",
key = "London \& Duisberg",
title = "Animating Programs using {Smalltalk}",
journal = j-COMPUTER,
volume = "18",
number = "8",
pages = "61--71",
month = aug,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Wed Aug 14 11:35:06 1985",
bibsource = "Graphics/graphics.1.bib;
Graphics/imager/imager.85.bib",
abstract = "An animation kit can be used to explain how a program
works by creating graphical snapshots, animations, and
movies correlated with the program's actions. Such a
facility could play an important role in program
design, development, and testing.",
keywords = "I36 Smalltalk, I36 program visualization, I37
animation",
}
@Article{Melamed:1985:VSP,
author = "B. Melamed and R. J. T. Morris",
key = "Melamed \& Morris",
title = "Visual Simulation: The Performance Analysis
Workstation",
journal = j-COMPUTER,
volume = "18",
number = "8",
pages = "87--94",
month = aug,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Wed Aug 14 11:38:03 1985",
bibsource = "Graphics/imager/imager.85.bib;
Graphics/siggraph/85.bib; Misc/monitor.bib",
abstract = "AT\&T's Performance Analysis Workstation takes
advantage of the human ability to process information
from concrete, visual stimuli. It adds pictures and
animated sequences to written displays to provide an
effective programming tool for the most complex
environment.",
keywords = "I34 simulation, I34 debugging",
}
@Article{Colwell:1985:ISB,
author = "Robert P. Colwell and Charles Y. {Hitchcock, III} and
E. Douglas Jensen and H. M. Brinkley Sprunt and Charles
P. Kollar",
title = "Instruction Sets and Beyond: Computers, Complexity,
and Controversy",
journal = j-COMPUTER,
volume = "18",
number = "9",
pages = "8--19",
month = sep,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Sat Feb 01 12:58:40 1997",
bibsource = "Misc/risc.bib",
keywords = "mips risc reduced restricted instruction set computer
architecture pipelining microcoding",
}
@Article{Coutaz:1985:AUI,
author = "Jo{\"e}lle Coutaz",
title = "Abstractions for user interface design",
journal = j-COMPUTER,
volume = "18",
number = "9",
pages = "21--34",
month = sep,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Sat Feb 01 12:59:01 1997",
bibsource = "Distributed/QLD.bib; Distributed/QLD/1985.bib",
annote = "Designers of the interface between users and computer
systems need a toolkit of abstractions that embody
human factors knowledge while automatically executing
the low-level details of the interaction.",
country = "USA",
date = "11/11/85",
descriptors = "human factors; survey; man-machine interaction;
design; development; user interface",
enum = "661",
location = "RWTH-AC-DFV: Bibl.",
references = "31",
revision = "21/04/91",
}
@Article{Hartzband:1985:EKR,
author = "D. J. Hartzband and F. J. Maryanski",
title = "Enhancing Knowledge Representation in Engineering
Databases",
journal = j-COMPUTER,
volume = "18",
number = "9",
pages = "39--??",
month = sep,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Database/Graefe.bib",
keywords = "semantic database models",
}
@Article{Yankelovich:1985:RWE,
author = "Nicole Yankelovich and Norman Meyrowitz and Andries
{van Dam}",
title = "Reading and Writing the Electronic Book",
journal = j-COMPUTER,
volume = "18",
number = "10",
pages = "15--30",
month = oct,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Sun Oct 25 10:14:05 1998",
bibsource = "Misc/hypertext.1.bib",
keywords = "hypertext",
}
@Article{Sarin:1985:CRC,
author = "S. Sarin and I. Greif",
key = "Sarin85",
title = "Computer-Based Real-Time Conferencing Systems",
journal = j-COMPUTER,
volume = "18",
number = "10",
pages = "33--45",
month = oct,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Distributed/gesturing.bib;
Distributed/networking.bib",
}
@Article{Horak:1985:ODA,
author = "Wolfgang Horak",
key = "Horak85",
title = "{Office Document Architecture and Office Document
Interchange} Formats: Current Status of International
Standardization",
journal = j-COMPUTER,
volume = "18",
number = "10",
pages = "50--60",
month = oct,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Distributed/networking.bib; Object/Nierstrasz.bib",
keywords = "olit-appl oda",
}
@Article{Bono:1985:SGS,
author = "Peter R. Bono",
key = "Bono85",
title = "A Survey of Graphics Standards and Their Role in
Information Interchange",
journal = j-COMPUTER,
volume = "18",
number = "10",
pages = "63--75",
month = oct,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Sat Feb 1 13:00:16 1997",
bibsource = "Distributed/networking.bib;
Graphics/imager/imager.85.bib",
keywords = "I30 standards, I30 survey",
}
@Article{Reynolds:1985:DEM,
author = "J. K. Reynolds and J. B. Postel and A. R. Katz and G.
G. Finn and A. L. DeSchon",
key = "Reynolds85",
title = "The {DARPA} Experimental Multimedia Mail System",
journal = j-COMPUTER,
volume = "18",
number = "10",
pages = "82--91",
month = oct,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Distributed/networking.bib",
}
@Article{Sakata:1985:DIM,
author = "S. Sakata and T. Ueda",
key = "Sakata85",
title = "A Distributed Interoffice Mail System",
journal = j-COMPUTER,
volume = "18",
number = "10",
pages = "106--116",
month = oct,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Distributed/networking.bib",
}
@Article{Carlson:1985:APD,
author = "W. W. Carlson and K. Hwang",
key = "Carlson \& Hwang",
title = "Algorithmic Performance of Dataflow Multiprocessors",
journal = j-COMPUTER,
volume = "18",
number = "12",
pages = "30--40",
month = dec,
year = "1985",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibsource = "Parallel/Multi.bib",
}
@Article{Yalamanchili:1985: