Browse

ftp://netlib.att.com (45)

	ftp://netlib.att.com/netlib/att/cs/cstr/153.ps.Z, 19910511 AT&T Bell Laboratories Murray Hill, NJ 07974 Computing Science Technical Report No. 153 Usage Summary for Selected Optimization Routines David M. Gay October 1990 USAGE SUMMARY FOR SELECTED OPTIMIZATION ROUTINES David M. Gay CONTENTS 1. Introduction 1a. Notation 1b. Caveat 1c. Forward and reverse
	ftp://netlib.att.com/netlib/att/cs/cstr/116.ps.Z, 19910511 AT&T Bell Laboratories Murray Hill, New Jersey 07974 Computing Science Technical Report No. 116 PIC A Graphics Language for Typesetting User Manual Brian W. Kernighan Revised, May, 1991 PIC A Graphics Language for Typesetting User Manual Brian W. Kernighan AT&T Bell Laboratories Murray Hill, New Jersey
	ftp://netlib.att.com/netlib/att/cs/cstr/148.ps.Z, 19910511 Generating Automatically-Tuned Bitmaps from Outlines John D. Hobby
	ftp://netlib.att.com/netlib/att/cs/cstr/114.ps.Z, 19910511 AT&T Bell Laboratories Murray Hill, New Jersey 07974 Computing Science Technical Report No. 114 Grap A Language for Typesetting Graphs Tutorial and User Manual Jon L. Bentley Brian W. Kernighan Revised, May 1991 Grap A Language for Typesetting Graphs Tutorial and User Manual Jon L. Bentley Brian W.
	ftp://netlib.att.com/netlib/att/cs/cstr/136.ps.Z, 19910511 AT&T Bell Laboratories Murray Hill, NJ 07974 Computing Science Technical Report No. 136 Pictures of Karmarkar's Linear Programming Algorithm David M. Gay January 1987 Pictures of Karmarkar's Linear Programming Algorithm David M. Gay AT&T Bell Laboratories Murray Hill, New Jersey 07974
	ftp://netlib.att.com/netlib/att/cs/cstr/157.ps.Z, 19910705 AT&T Bell Laboratories Murray Hill, NJ 07974 Computing Science Technical Report No. 157 Tutorial: Design and Validation of Protocols Gerard J. Holzmann May 1991 Tutorial: Design and Validation of Protocols Gerard J. Holzmann AT&T Bell Laboratories Murray Hill, NJ 07974
	ftp://netlib.att.com/netlib/att/cs/cstr/158c.ps.Z, 19910715 Plan 9, A Distributed System Dave Presotto Rob Pike Ken Thompson Howard Trickey AT&T Bell Laboratories Murray Hill, New Jersey 07974
	ftp://netlib.att.com/netlib/att/cs/cstr/100.ps.Z, 19910718 AT&T Bell Laboratories Murray Hill, New Jersey 07974 Computing Science Technical Report No. 100 Why Pascal is Not My Favorite Programming Language Brian W. Kernighan April 2, 1981 Why Pascal is Not My Favorite Programming Language Brian W. Kernighan AT&T Bell Laboratories Murray Hill, New Jersey 07974
	ftp://netlib.att.com/netlib/att/cs/cstr/132.ps.Z, 19910806 AT&T Bell Laboratories Murray Hill, New Jersey 07974 Computing Science Technical Report No. 132 A System for Algorithm Animation Tutorial and User Manual Jon L. Bentley Brian W. Kernighan August 6, 1991 A System for Algorithm Animation Tutorial and User Manual Jon L. Bentley Brian W. Kernighan AT&T Bell
	ftp://netlib.att.com/netlib/att/cs/cstr/127.ps.Z, 19910820 Maintaining Cross References in Manuscripts ALFRED V. AHO RAVI SETHI AT&T Bell Laboratories Murray Hill, New Jersey 07974
	ftp://netlib.att.com/netlib/att/cs/cstr/128.ps.Z, 19910820 Computing Science Technical Report No. 128 Tools for Printing Indexes Jon L. Bentley Brian W. Kernighan AT&T Bell Laboratories Murray Hill, New Jersey 07974 October, 1986 Tools for Printing Indexes Jon L. Bentley Brian W. Kernighan AT&T Bell Laboratories Murray Hill, New Jersey 07974
	ftp://netlib.att.com/netlib/att/cs/cstr/150.ps.Z, 19910911 Terminal Call Processing in Esterel Gary J. Murakami Ravi Sethi AT&T Bell Laboratories Murray Hill, New Jersey 079741
	ftp://netlib.att.com/netlib/att/cs/cstr/159.ps.Z, 19910911 Efficient Algorithms for Constructing Testing Sets, Covering Paths, and Minimum Flows Alfred V. Aho David Lee AT&T Bell Laboratories Murray Hill, New Jersey
	ftp://netlib.att.com/netlib/att/cs/cstr/154.ps.Z, 19911011 TTGU - A Package for Solving Time Varying Partial Differential Equations on a Union of Rectangles L L. . K Ka au uf fm ma an n AT&T Bell Laboratories Murray Hill, New Jersey 07974 A AB BS ST TR RA AC CT T A formulation is presented for partial differential equations on a union of rectangles which
	ftp://netlib.att.com/netlib/att/cs/cstr/161.ps.Z, 19911012 Sixteen Ways to Stack a Cat Bjarne Stroustrup AT&T Bell Laboratories Murray Hill, New Jersey 07974
	ftp://netlib.att.com/netlib/att/cs/cstr/160.ps.Z, 19911012 What is ``Object-Oriented Programming'' (1991 revised version) Bjarne Stroustrup AT&T Bell Laboratories Murray Hill, New Jersey 07974
	ftp://netlib.att.com/netlib/att/cs/cstr/133.ps.Z, 19911216 AT&T Bell Laboratories Murray Hill, New Jersey 07974 Computing Science Technical Report No. 133 AMPL: A Mathematical Programming Language Robert Fourer* David M. Gay Brian W. Kernighan January 1987 Revised June 1989 *Department of Industrial Engineering and Management Sciences Northwestern University,
	ftp://netlib.att.com/netlib/att/cs/cstr/120.ps.Z, 19920107 Twig Reference Manual Steven W.K. Tjiang Twig is a language for manipulating trees. A twig program consists of a set of pattern-action rules together with associated declarations. Patterns describe trees to be matched. Actions calculate costs, perform tree manipulations and other functions such as
	ftp://netlib.att.com/netlib/att/cs/cstr/145.ps.Z, 19920513 Computing Science Technical report No. 145 A Permuted Index for TEX and LATEX Bill Cheswick ches@research.att.com Last revision: May 13, 1992 Contents 1 Introduction 3 2 Permuted Index 5 3 Primitive and Plain TEX commands 95 4 LaTEX Commands 107 1 2 Chapter 1 Introduction This Index is designed to help
	ftp://netlib.att.com/netlib/att/cs/cstr/163d.ps.Z, 19920514 The Design of IX M. D. McIlroy J. A. Reeds
	ftp://netlib.att.com/netlib/att/cs/cstr/163h.ps.Z, 19920514 GLOSSARY This glossary defines terms peculiar to IX. The glossary for the Unix Research System, 10th Edition, which is incorporated by reference, defines certain terms used here: argument, executable file, file, groupid, inode, kernel, permission, process, stream, superuser, system call, terminal,
	ftp://netlib.att.com/netlib/att/cs/cstr/163g.ps.Z, 19920514 Secure IX Network Jim Reeds AT&T Bell Laboratories Murray Hill, New Jersey 07974
	ftp://netlib.att.com/netlib/att/cs/cstr/163i.ps.Z, 19920514 GETLAB ( 1 ) GETLAB ( 1 ) N NA AM ME E getlab print security labels of files and processes S SY YN NO OP PS SI IS Sgetlab D DE ES SC CR RI IP PT TI IO ON N If there is a file argument, getlab prints, in the style of labtoa(3), the security labels of the named files. Otherwise, getlab
	ftp://netlib.att.com/netlib/att/cs/cstr/163b.ps.Z, 19920514 The IX Multilevel-Secure UNIX System J. A. Reeds M. D. McIlroy
	ftp://netlib.att.com/netlib/att/cs/cstr/163e.ps.Z, 19920514 A Tour of IX Doug McIlroy Jim Reeds
	ftp://netlib.att.com/netlib/att/cs/cstr/163c.ps.Z, 19920514 Multilevel Security in the UNIX Tradition M. D. McIlroy J. A. Reeds AT&T Bell Laboratories Murray Hill, New Jersey 07974
	ftp://netlib.att.com/netlib/att/cs/cstr/163a.ps.Z, 19920514 AT&T Bell Laboratories Murray Hill, New Jersey 07974 Computing Science Technical Report No. 163 The IX Multilevel-Secure UNIX System James A. Reeds M. Douglas McIlroy January 1992
	ftp://netlib.att.com/netlib/att/cs/cstr/163f.ps.Z, 19920514 Multilevel Windows on a Single-level Terminal M. D. McIlroy J. A. Reeds AT&T Bell Laboratories Murray Hill, New Jersey 07974
	ftp://netlib.att.com/netlib/att/cs/cstr/97.ps.Z, 19920605 AT&T Bell Laboratories Murray Hill, New Jersey 07974 Computing Science Technical Report No. 97 A Typesetter-independent TROFF Brian W. Kernighan Revised, March, 1982 A Typesetter-independent TROFF Brian W. Kernighan AT&T Bell Laboratories Murray Hill, New Jersey 07974
	ftp://netlib.att.com/netlib/att/cs/cstr/89.ps.Z, 19920716 Computing Science Technical Report No. 89 A Test of a Computer's Floating-Point Arithmetic Unit N N. . L L. . S Sc ch hr ry ye er r February 4, 1981 A Test of a Computer's Floating-Point Arithmetic Unit N N. . L L. . S Sc ch hr ry ye er r February 4, 1981 A Test of a Computer's Floating-Point Arithmetic
	ftp://netlib.att.com/netlib/att/cs/cstr/123.ps.Z, 19920902 C Traps and Pitfalls* Andrew Koenig AT&T Bell Laboratories Murray Hill, New Jersey 07974
	ftp://netlib.att.com/netlib/att/cs/cstr/142.ps.Z, 19920920 AT&T Bell Laboratories 600 Mountain Avenue Murray Hill, NJ 07974 Computing Science Technical Report No. 142 DFORMAT A Program for Typesetting Data Formats Jon L. Bentley April, 1988 DFORMAT A Program for Typesetting Data Formats Jon L. Bentley AT&T Bell Laboratories 600 Mountain Avenue Murray Hill, NJ
	ftp://netlib.att.com/netlib/att/cs/cstr/122.ps.Z, 19921006 AT&T Bell Laboratories Murray Hill, New Jersey 07974 Computing Science Technical Report No. 122 CHEM A Program for Typesetting Chemical Diagrams: User Manual Jon L. Bentley Lynn W. Jelinski Brian W. Kernighan October 6, 1992 CHEM A Program for Typesetting Chemical Diagrams: User Manual Jon L. Bentley
	ftp://netlib.att.com/netlib/att/cs/cstr/54.ps.Z, 19921109 AT&T Bell Laboratories Murray Hill, New Jersey 07974 Computing Science Technical Report No. 54 Troff User's Manual Joseph F. Ossanna Brian W. Kernighan Revised November, 1992 Troff User's Manual Joseph F. Ossanna Brian W. Kernighan AT&T Bell Laboratories Murray Hill, New Jersey 07974 Revised November,
	ftp://netlib.att.com/netlib/att/cs/cstr/103.ps.Z, 19930210 AT&T Bell Laboratories Murray Hill, New Jersey 07974 Computing Science Technical Report No. 103 IDEAL User's Manual Christopher J. Van Wyk December 17, 1981 IDEAL User's Manual Christopher J. Van Wyk AT&T Bell Laboratories Murray Hill, New Jersey 07974
	ftp://netlib.att.com/netlib/att/cs/cstr/106.a.ps.Z, 19930211 Programs for Solving Linear Equations in the PORT Library Linda Kaufman AT&T Bell Laboratories Murray Hill, New Jersey 07974
	ftp://netlib.att.com/netlib/att/cs/cstr/106.c.ps.Z, 19930211 Appendix 2 SYMMETRIC MATRICES SYCE - Condition Estimation SYDC - DeComposition SYFBS - Forward and Back Solve SYLE - Linear Equation solution SYMD - MDMT decomposition SYML - MuLtiplication SYNM - NorM SYSS - System Solution SYCE decomposition of a symmetric matrix with condition estimation Purpose:
	ftp://netlib.att.com/netlib/att/cs/cstr/106.f.ps.Z, 19930211 Appendix 5 BASIC LINEAR ALGEBRA MODULES ISAMAX - index if the largest element of a vector SASUM - 1-norm of a vector SAXPY - add multiple of one vector to another SDOT - dot product of two vectors SSCAL - scale a vector SSWAP - interchange two vectors ISAMAX index of the maximum magnitude element of a
	ftp://netlib.att.com/netlib/att/cs/cstr/106.b.ps.Z, 19930211 Appendix 1 GENERAL MATRICES GEBS - Back Solve GECE - Condition Estimation GEDC - DeComposition GEFS - Forward Solve GELE - Linear Equation solution GELU - LU decomposition GEML - MuLtiplication GENM - NorM GESS - System Solution GEBS upper triangular linear system solution Purpose: GEBS (GEneral matrix
	ftp://netlib.att.com/netlib/att/cs/cstr/106.d.ps.Z, 19930211 Appendix 3 BANDED MATRICES BABS - Back Solve BACE - Condition Estimation BADC - DeComposition BAFS - Forward Solve BALE - Linear Equation solution BALU - LU decomposition BAML - MuLtiplication BANM - NorM BASS - System Solution BABS band upper triangular linear system solution Purpose: BABS (BAnded
	ftp://netlib.att.com/netlib/att/cs/cstr/162.ps.Z, 19930330 A User's Manual for MetaPost 87 withdots 32 withpen 37, 40 xpart 16, 32 xscaled 30 xxpart 32 xypart 32 year 64 ypart 16, 32 yscaled 30 yxpart 32 yypart 32 z convention 9, 17, 50 zscaled 30, 46 18, 49 A User's Manual for MetaPost 86 roundoff error 11 rt 18, 38 save 42 scaled 2, 22, 30, 32 hsecondaryi
	ftp://netlib.att.com/netlib/att/cs/cstr/164.ps.Z, 19931001 Drawing Graphs with MetaPost John D. Hobby AT&T Bell Laboratories Murray Hill, NJ 07974-2070
	ftp://netlib.att.com/netlib/att/cs/cstr/155.ps.Z, 19941225 There Is No Royal Road to Programs A Trilogy on Raster Ellipses and Programming Methodology M. Douglas McIlroy AT&T Bell Laboratories Murray Hill, New Jersey 07974
	ftp://netlib.att.com/netlib/att/cs/cstr/135.ps.Z, 19951227 TTGR - A Package for Solving Partial Differential Equations in Two Space Variables. L L. . K Ka au uf fm ma an n N N. . L L. . S Sc ch hr ry ye er r AT&T Bell Laboratories Murray Hill, New Jersey 07974 A AB BS ST TR RA AC CT T A formulation is presented for partial differential equations in two space
	ftp://netlib.att.com/netlib/att/cs/cstr/149.ps.Z, 19960514 AT&T Bell Laboratories Murray Hill, NJ 07974 Computing Science Technical Report No. 149 A Fortran-to-C Converter S. I. Feldman* David M. Gay Mark W. Maimone N. L. Schryer Last updated March 22, 1995. Originally issued May 16, 1990. *Bell Communications Research, Morristown, NJ 07960 Carnegie-Mellon