A Logarithmic Time Sort on Linear Size Networks

J Reif L G Valiant Proceedings of the 15th Annual ACM Symposium on Theory of Computing Boston 1987 A Logarithmic Time Sort on Linear Size Networks Journal of the ACM 60--76 U Vazirani In Proceedings of the 19 th Annual ACM Symposium on Theory of Computing New York City 1987 Efficiency considerations in using semi-random sources A C Yao In Proceedings of the 13 th Annual ACM Symposium on Theory of Computing Milwaukee, Wisconsin 1981 The entropic limitations on VLSI computations 308--311 Nimrod Megiddo 1984 Linear programming in linear time when the dimension is fixed Journal of the ACM 31--1 Muneo Takahashi Yuji Kamayachi Proceedings of the Eighth International Conference on Software Engineering An Empirical Study of a Model for Program Error Prediction 28--30 G M Lohman Proceedings of the ACM SIGMOD International Conference on the Management of Data Chicago, IL 1988 Grammar-Like Functional Rules for Representing Query Optimization Alternatives 18--27 R E Mayer 2 1979 A psychology of learning BASIC computer programming Journal of Communications of the ACM 589--593 Marc Gyssens Laks V S Lakshmanan Iyer N Subramanian In Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems Montreal, Canada Tables as a paradigm for querying and restructuring 3--5 Wolf-Dietrich Weber Anoop Gupta In Proceedings of the Third International Conference on Architectural Support for Programming Languages Operating Systems ASPLOS III Analysis of Cache Invalidation Patterns in Multiprocessors 243--256 Dan Suciu Val Breazu-Tannen In Proceedings of 13th ACM Symposium on Principles of Database Systems, Minneapofis Minnesota 1994 A query language for NC W Hill Proceedings of the 1989 ACM Conference on Human Factors in Computing Systems 1989 How Some Advice Fails 85--90 D LEHMAN ANO RABIN M In Proceedings of the 8th Annual ACM Symposium on Principles of Programming Languages Williamsburg, Va On the advantages of free choice: A symmetric and fully distributed solution of the dining philosophers problem 26--28 K Abrahamson In Proceedings of the 7th Annual ACM Symposium on the Principles of Distributed Computing 1988 On achieving consensus using shared memory 291--302 J Grudin S E Poltrock In Proceedings CHI '89 Human Factors in Computing Systems. ACM New York 1981 User interface design in large corporations: Coordination and communication across disciplines 197--203 S Takakuwa In Proceedings of the 1994 Winter Simulation Conference, Piscataway New Jersey 1994 Precise modeling and analysis of large-scale AS/RS J Heintz C P Schnorr In Proceedings of the lth Annual ACM Symposium on the Theory o f Computing 1980 Testing polynomials that are easy to compute 262--272 Barry Silverman 1992 Survey of Expert Critiquing Systems: Practical and Theoretical Frontiers Communications of the ACM 35--4 H Ludwigs Proceedings of the 16th annual SIMULATION symposium Tampa, Florida 1983 SIMIS II -An Environment For Material Flow Systems Simulation 69--78 Robert M Metcalfe David R Boggs 19 1976 Ethemet: Distributed Packet Switching for Local Computer Networks Communications of the ACM A Deutsch Proceedings of the ACM SIGPLAN 94 Conference on Programming Language Design Implementation 1994 Interprocedural may-alias analysis for pointers: Beyond k-limiting 230--241 Alan Borning 1981 The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory ACM Transactions on Programming Languages Systems 3--4 D Gries J Prins In Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments. no 7, 18. ACM New York 1985 A new notion of encapsulation 131--139 A D Falkoff Proceedings of the Second Annual SHARE Workshop on Design Automation, Atlantic City 1965 Formal Description of Processes -The First Step in Design Automation Barry W Smith 8 1965 Symbolic notations for statistical tables and an approach towards automatic systems design Communications of the ACM Association for Computing Machinery J V Raghavan J E Bracken R A Rohrer Proceedings of the 29th ACM/IEEE Design Automation Conference 1992 AWESpice: A General Tool for the Accurate and Efficient Simulation of Interconnect Problems 87--92 J Bradley Chen Brian N Bershad In Proceedings Conference of SIGIR 1993 The Impact of Operating System Structure on Memory System Performance 120--133 G D Stamoulis J N Tsitsiklis In Proceedings of the 3rd Annual ACM Symposium on Parallel Algorithms Architectures 1991 The efficiency of greedy routing in hypercubes and butterflies 248--259 Phillip B Gibbons Ephraim Korach In Proceedings of the 6th Annual Symposium on Parallel Algorithms Architectures New York, NY, USA 1994 On testing cache-coherent shared memories ACM Press 177--188 J C MOGUL In Proceedings of the SIGCOMM 90 Symposium on Communications Architectures Protocols. ACM New York 1990 Efficient use of workstations for passive monitoring of local area networks 253--263 C Rose 2 1996 Minimizing the Average Cost of Paging and Registration: A Timer-Based Method ACM journal of Wireless Networks 109--116 George W Cherry 1991 S-R Machines: a Visual Formalism for Reactive and Interactive Systems ACM Software Engineering Notes 16--3 Kenji Yamanishi In Proceedings of the Third Annual Workshop on Computational Learning Theory 1990 A learning criterion for stochastic rules Brown Dobbie in Proceedings of the thirty SIGCSE Technical Symposium on Computer Science 1999 A learning criterion for stochastic rules on Supporting and Evaluating Team Dynamics in Group Projects ACM Press 281--285 Xiaogang Qiu Michel Dubois In Proceedings of the 25th Annual International Symposium on Computer Architecture ISCA 1998 Options for Dynamic Address Translation for COMAs 214--225 Brian K Reid In Conference Record of 7th annual Symposium on Principles of Programming Languages Las Vegas, Nevada 1980 A high-level approach to computer document formatting 24--31 R Jain Y B Lin 1995 An Auxiliary User Location Strategy Employing Forwarding Pointers to Reduce Network Impact of PCS ACM Balker Journal of Wireless Nattuork David R Karger Philip N Klein Robert E Tarjan 1995 A randomized linear-time algorithm to find minimum spanning trees Journal of the ACM 42--2 Thomas D Clark William A Shrode Proceedings of the Winter Simulation Conference Miami, Florida 1978 Public Utility Operation and Growth: A System Simulation Model 806--814 M E Maron K L Kuhns 7 1960 On relevance, probabilistic indexing and information retrieval Journal of the Associations of Computing Machinery ACM 216--244 U V Vazirani Proceedings of the 17th Annual ACM Symposium on Theory of Computing 1985 Towards a strong communication complexity theory or generating quasirandom sequences from two communicating; slightly-random sources 366--378 Claus-Werner Lermen Dieter Maurer In Proceedings 1986 ACM Conference on Lisp Functional Programming Cambridge, Massachusetts 1986 A protocol for distributed reference counting 343--350 ACM SIGPLAN/SIGACT/SIGART A Aggarwal B Alpern A K Chandra M Snil In Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing 1987 A model for hierarchical memory 305--313 Steffen Lange Thomas Zeugmann Proceedings of the Sixth Conference on Computational Learning Theory COLT 1993 Language learning in dependence on the space of hypotheses 127--136 Avrim Blum In Proceedings of the Twenty Second Annual ACM Symposium on Theory of Computing New York 1990 Learning Boolean functions in an infinite attribute space 64--72 J Carabetta 19 1987 The Planning and Procedures Associated with the Western New England College Winter Invitational High School Programming Contest ACM SIGCSE Bulletin 29--35 R S GLANVILLE S L GRAHAM In Conference Record of the 5th Annual Symposium on Principles of Programming Languages (Tucson, Ariz New York 1978 A new method for compiler code generation ACM 23--25 B Kutzlcr S Sifter in Proceedings of the 1986 Symposium on Symbolic Algebraic Computation 1986 Automate A Geometry Theorem Proving Using Buchberger's Algorithm 209--214 Atsushi Ohori Peter Buneman In ACM Conference on LISP Functional Programming 1988 Type inference in a database langage 174--183 Steven M Drucker Tinsley A Galyean David Zeltzer 1992 CINEMA: A system for procedural camera movements. volume 25 67--70 G C Necula In Proceedings of the 24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Paris, France Proof-carrying code 15--17 Akima 17 1970 A New Method of Interpolation and Smooth Curve Fitting Based on Local Procedures Journal of the ACM 589--602 J Why rudin In Proceedings of the Conference on Computer-Supported Cooperative Work Portland, OR), NY CSCW Applications Fail: Problems in x the Design and Evaluation of Organisational Interfaces 26--28 R P Selke In Conference Record of the Sixteenth ACM Symposium on Principles of Programming Languages 1989 A rewriting semantics for program dependence graphs ACM Press 2--24 B CABRAL N CAM J FORAN Proceedings of the 1994 Symposium on Volume Visualization Washington 1994 Accelerated Rendering Tomographic Reconstruction Using Texture Mapping Hardware 91--97 T Malone K Crowston In Proceedings of the Conference on Compute-Supported Cooperative Work. Association for Computing Machinery ACM New York, (Los Angeles What is coordination theory and how can it help design cooperative work systems W Cunto J Ian Munro Proceedings of the Sixteenth Annual ACM Symposzum on Theory of Computing 1984 Average case selection 369--375 P Cousot R Cousot 4th ACM Symposium on Principles of Programming Languages 1977 Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints 238--252 A Avritzer B Larson Proceedings of the 1993 International Symposium on Software Testing Analysis ISSTA 1993 Load testing software using deterministic state testing ACM Press 82--88 Mark Finch Mike Falvo Vernon L Chi Sean Washburn Russell M Taylor Richard Superfine In Conference Symposium on Interactive 3D Graphics 1995 Surface Modification Tools in a Virtual Environment Interface to a Scanning Probe Microscope 13--18 K Andrews R R Henry W K Yamamoto Proceedings of the ACM SIGPLAN 1988 Symposium on Programming Lanuage Design Implementation, ACM SiGPLAN Notices 18 1988 Design and Implementation of the UW Illustrated Compiler 105--114 S Konstantinidou L Snyder In Proceedings of the 18th International Symposium on Computer Architecture 1991 Chaos Router: architecture and performance 212--221 K Daniels V J Milenkovic In Proceedirgs of the 6th Annual ACM-SIAM Symposium on Discrete Algorithms 1995 Multiple Translational Containment: Approximate and Exact Algorithms K Knowlton Proceedings of ACM SIGPLAN Symposium on 2-D Man-machine Communications, Los Alamos 1972 A Report on the Use of FORTRAN-coded EXPLOR for the Teaching of Computer Graphics and Computer Art P W Foltz In Proceedings of theACM Conference on Office Information Systems Boston Using Latent Semantic Indexing for information filtering ACM/SIGOIS 25--27 G Bristow C Drey B Edwards W Riddie Proceedings of the Jib International Conference on Software Engineering 1979 Anomaly Detection in Concurrent Programs 265--273 K Pettis R C Hansen In Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design Implementation 1990 Profile guided code positioning 16--27 N Matelan In Proceedings of the 12th International Symposium on Computer Architecture 1985 The Flex/32 multicomputer Computer Society Press 209--213 W TICHY In Proceedings of the 6th IEEE International Conference on Software Engineering (Sept.). IEEE New York 1982 Design implementation, and evaluation of a revision control system T J Ostrand M J Balcer 1988 The categorypartition method for specifying and generating functional tests Communications of the ACM 31--6 Vladimir Batageli 18 1975 The quadratic hash method when the table is not a prime number Communications of the ACM 216--217 J WARREN In Conference Record of the 11th Annual ACM Symposium on Principles of Programming Languages (Salt Lake City, UT New York 1984 A hierarchical basis for reordering transformations ACM 272--282 J ROMPEL In Proceedings of the 22nd Annual ACM Symposium on the Theoo' of Computing. ACM New York 1990 One-way functions are necessary and sufficient for secure signatures 387--394 J M Wing M Vaziri-Farahani In Proceedings of SIGSOFT'95 Third ACM SIGSOFT Symposium on the Foundations of Software Engineering 1995 Model checking software systems: A case study 128--139 S L Peyton Jones Jon Salldld In Proceedings of the 1989 Conference on Functional Programming Languages and Computer Architecture 1989 The Model Spineless Tagless G-machine F Lockwood Morris In Proceedings of the First ACM Symposium on Principles of Programming Languages 1973 Advice on structuring compilers and proving them correct 144--152 J Ross K Ruhleder Proceedings of the 1993 Conference on Computer Personnel Research 1993 Preparing IS Professionals for a Rapidly Changing World: The Challenge for IS Edacators 379--384 J CONKLIN M L BEGEMAN In Proceedings of the ACM Conference on Computer-Supported Cooperative Work CSCW '88 Portland, OR 1988 gIBIS: a hypertext tool for exploratory policy discussion ACM Press 26--28 J Histad in Proceedings of the 18th ACM Symposium on Theory of Computing 1986 Almost Optimal Lower Bounds for Small Depth Circuits 6--20 A Davis 9 1988 A Comparison of Techniques for the Specification of External System Behavior Communications of the ACM 3I 1098--1115 S P Fekete in Proceedings of the ACM/SIAM Symposium on Discrete Algorithms 1999 Simplicity and hardness of the Maximum Traveling Salesman Problem under geometric distances Randy Allen Ken Kennedy 4 1987 Automatic Translation of FORTRAN Programs to Vector Form ACM Transactions of Programming Languages Systems, volume 9, No 491--542 J Buhler M Tompa In Proceedings of the Fifth Annual International Conference on Computational Molecular Biology RECOMB-01 Montreal, Canada 2001 Finding motifs using random projections ACM Press 69--76 Christian Collberg In Proceedings of the SIGPLAN '97 Conference on Programming Language Design Implementation 1997 Reverse interpretation + mutation analysis -automatic retargeting J R Rossignac H B Voelcker 1989 Active zones in CSG for accelerating boundary evaluation, redundancy elimination, interference detection and shading algorithms ACM Transactions on Graphics 8--1 James P Callan Zhihong Lu W Bruce Croft In Proceedings of the 18th International Conference on Research Development in Information Retrieval Seattle, WA 1995 Searching Distributed Collections with Inference Networks 21--29 MAKOTO MATSUMOTO and Computer Simulation Special Issue on Uniform Random Number Generation 1998 Mersenne Twister. A 623-dimensionally equidistribuited uniform pseudo-random number generator ACM Transactions on Modeling M Dennis Mickunas Richard M ScheU ACM: Proceedings of the Annual Conference 1978 Parallel Compilation in a Multiprocessor Environment 241--246 K Osterbye In Proceedings of the ACM Conference on Hypertext Milan, Italy, Nov), ACM, New York 1992 Structural and cognitive problems in providing version control for hypertext 3 P Pirolli in Conference on Human Factors in Computing Systems 1997 Computational models of information scentfollowing in a very large browsable text collection William E Biles J James Proceedings of the Winter Simulation Conference New York 1977 Strategies for Optimization of Multiple-Response Simulation Models IEEE Press 135--142 P YIANNILOS In Proceedings of the ACM-SIAM Symposium on Discrete Algorithms, ACM New York, NY 1993 Data structures algorithms for nearest neighbor search in general metric spaces Press 311--321 A P Sistla O Wolfson In Proceedings of the 1995 ACM SIGMOD Intl. Conference on Management of Data 1995 Temporal Conditions and Integrity Constraints in Active Database Systems 269--280 K Inoue T Ishihara K Murakami In Proceedings of the International Symposium on Low Power Electronics Design ISLPED 1999 Way-predicting set-associative cache for high performance and low energy consumption 273--75 Proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms 1996 Ming-Deh Huang and Ashwin Rao, Interpolation of sparse multivariate polynomials over finite fields with applications 508--517 B CHAZELLE In Proceedings of the 26th Annual ACM Symposium on Theory of Computing Montreal, Que., Canada 1994 Computational geometry: A retrospective ACM 23--25 C Preist M van_Tol Proceedings of the 1 st International Conference on the Intemet Computing Economics, ACM 1998 Adaptive Agents in a Persistent Shout Double Auction Press D CALLAHAN B KOBLENZ In Proceedings of the 1991 ACM SIGPLAN Conference on Programming Language Design Implementation. ACM New York 1991 Register allocation via hierarchical graph coloring 192--203 B A Barsky J C 2 1983 Local control of bias and tension in Beta-splines ACM Transactions on Graphics 109--134 A C Arvillias D G Maritsas 25 1978 Partitioning the Period of a Class of m-Sequences and Application to Pseudorandom Number Generation Journal of the ACM 675--686 Michael Luby Erie Vigoda In Proceedings of the Twenty-Ninth Annual ACM Symposium on Theot3 of Computing 1997 Approximately counting up to four 682--687 K P Eswaran J N Gray R A Lorie I L Traiger 1976 The Notions of Consistency and Predicate Locks in a Database System Communication of ACM 19--11 C DWORK O WAARTS In Proceedings of the 24th ACM Symposium on the Theory of Computing. ACM New York 1992 Simple and efficient bounded concurrent timestamping or bounded concurrent timestamp systems are comprehensible 655--666 I D Baxter In Proceedings of the Fifth Symposium on Software Reusability 1999 DMS transformational software maintenance by reuse: A production research system ACM 163 C Ruggieri T P Murtagh In Proceedings of the 15th ACM Symposium on Principles of Programming Languages 1988 Lifetime analysis of dynamically allocated objects 285--293 James Laudon Daniel Lenoski In Proceedings of the 18th Annual ACM Symposium on Theory of Computing 1986 An optimal sorting algorithm for mesh connected computers 255--263 James Laudon Daniel Lenoski In Proceedings of the 24th Annual International Symposium on Computer Architecture 1997 The SGI Origin 2000: A ccNUMA Highly Scalable Server Alan R Feuer Edward B Fowlkes in Proceedings 4th International Conference on Software Engineering. Los Alamitos California 1979 Some Results from an Empirical Study of Computer Software IEEE Computer Society Press 351--355 E Brynjolfsson S Yang In Proceedings of the International Conference on Information Systems (Atlanta, GA 1997 Intangible benefits and costs of computer investments: Evidence from the financial market M Bender S Chakrabarti S Muthukrishnan In Proceedings of the Ninth Annual ACM-SIAM Symposium on Discrete Algorithms San Francisco, California 1998 Flow and stretch metrics for scheduling continuous job streams 270--279 P A Fishwick 1992 An Integrated Approach to System Modelling using a Synthesis of Artificial Intelligence, Software Engineering and Simulation Methodologies. ACM Transactions on Modehng Computer Szmulatzon 2--4 Steve Pieper Joseph Rosen David Zeltzer Proceedings of the ACM 199 Symposium on Interactive SD Graphics 1992 Interactive computer graphics for plastic surgery: A task-level analysis and implementation 127--134 J Clement J Lochhead E Soloway Proceedings of the National ACM Conference Nashville, Tenn 1980 Positive Effects of Computer Programming On Students Understanding of Variables and Equations B L Peuto L J Shustek Performance, Proceedings of the 4th Annual Symposium on Computer Architecture Maryland New York 1977 An instruction Timing Model of CPU 165--178 Robert M Metcalfe David R Boggs 19 1976 Ethernet: Distributed Packet Switching for Local Computer Networks Communications of the ACM 395--404 C W Tseng In Proceedings of the Fifth ACM/SiGPLAN Symposium on Principles Practice of Parallel Programming 1995 Compiler optimizations for eliminating barrier synchronization 144--155 W A Martin R J Fateman Proceedings of Second Symposium on Symbolic Algebraic Manipulation 1971 The MACSYMA System John Penix Willem Visser Eric Engstrom Aaron Larson Nicholas Weininger In Proceedings of the 22nd International Conference on Software Engineering 2000 Verification of time partitioning in the deos scheduler kernel ACM Press J P C KLEIJNEN In Proceedings of the 1995 Winter Simulation Conference Arlington, VA 1995 Sensitivity analysis and optimization in simulation: Design of experiments and case studies 3--6 L Augustsson In Proceedings of the 198J ACM Symposium on Lisp Functional Programming Austin Texas New York 1984 A Compiler for Lazy ML ACM Press 218--227 H Walker in Computer Science, Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education 1999 The Crisis in Academic Hiring R L Rivest A Shamir L Adleman 1978 A method for obtaining digital signatures and bublic key cryptosystems Communications of the ACM 21--2 K Rimey P N Hilfinger Proceding of the 21st Annual Workshop on Microprogramming and Microarchitecture 1988 A method for obtaining digital signatures and bublic key cryptosystems 115 V Christophides A Rizk Proceedings of the European Conference on Hypermedia Technology ECHT '94 Edinburgh New York UK 1994 Querying Structured Documents with Hypertext Links using OODBMS 186--197 P W BLAME J HASTAD In Proceedings of the 19th ACM Symposium on Theory of Computing (New York Optimal bounds for decision problems on the CRCW PRAM ACM 25--27 K E Coates D L Dvorak R M Watts Proceedings of the Seventh Data Communications Symposium Mexico City, Mexico 1981 An Overview of BLN: A Bell Laboratories Computing Network 224--229 M Weiser 18 1993 Some computer science issues in ubiquitous computing Communications of the ACM 74--84 T Jebelean in Proceedings of the International Symposium on Symbolic Algebraic Computation ISSAC 93 1993 A Generalization of the Binary GCD Algorithm 111--116 Y E IOANNIDIS Y C KANG 1990 Randomized algorithms for optimizing large join F BANCILHON R RAMAKRISHNAN in Proceedings of the ACM SIGMOD International Conference on Management of Data Washington An amateur's introduction to recursive query processing strategies ACM 28--30 H Gomaa 1984 A Software Design Method for Real-Time Systems Communications of the ACM R P LaRowe Jr J T Wilkes C S Ellis In Proceedings of he Symposium on the Principles Practice of Parallel Programming Exploiting operating system support for dynamic page placement on a NUMA shared memory multiprocessor 122--132 R Hagmann Proceedings of the llth ACM Symposium on Operating Systems Principles 1987 Reimplementing the cedar file system using logging and group commit 21--5 J B Goodenough L Sha Proceedings of the International Workshop of ReaI-Time Ada Issues 1988 The Priority Ceiling Protocol: A Method for Minimizing the Blocking of High Priority Ada Tasks Thomas H Cormen David M Nicol 1997 Out-of-core FFTs with parallel disks ACM SIGMETRICS Performance Evaluation Review 25--3 C Ware S Osborne Proceedings of the 1990 Symposium on Interactive 3D Graphics (Snowbird, Utah ). In ACM Computer Graphics 24 1990 Exploration and virtual camera control in virtual three dimensional environments 175--183 A Michail In Proceedings of the 22nd International Conference on Software Engineering 2000 Data mining library reuse patterns using generalized association rules P BONATTI DE_CAPITANI DI_VIMERCATI S P SAMARATI In Proceedings of the Seventh ACM Conference on Computer Communication Security CCS, 2000 Athens York, Greece 2000 A modular approach to composing access control policies 164--173 R Kadia In Proceedings of ACM SIGSOFT '92: Conference Fifth Symposium on Software Development Environments 1999 Issues encountered in building a flexible software development environment: Lessons learned from the Arcadia project J H Saltzer M D Schroeder In Proceedings of the IEEE 63 1975 The protection of and control of information sharing in computer systems C Consel F Nol In Proceedings 3rd Annual ACM Symposium on Principles of Programming Languages Petersburg, Fla 1996 A general approach for run-time specialization and its application to C ACM Press 145--156 A R Bruss A R Meyer Proceedings of the Tenth Annual ACM Symposium on Theory of Computing 1978 On time-space classes and their relation to the theory of real addition 233--239 W Wan Perkowski and Local Transformations and Its Application to FPGA Mapping, European Design Automation Conference M.: A New Approach to the Decomposition of Incompletely Specified Multi-Output Functions Based on Graph Coloring 23 E Soloway 29 Learning to Program -Learning to Construct Mechanisms and Explanations Communications of the ACM K D Ashley E L Rissland Proceedings of 1st International Conference on Artificial Intelligence Law ICAIL-871 New York Accord: Generating Blue Book Citations in HYPO ACM Press 67--14 L G Williams in Proceedings of the 10th International Conference on Sofnvare Engineering IEEE 1988 Software Process Modeling: A Behavioral Approach 174--186 D A Van_Veldhuizen G B Lamont In Proceedings of the 1999 ACM Symposium on Applied Computing. ACM 1999 Multiobjectire Evolutionary Algorithm Test Suites Joon S Park Ravi Sandhu In Proceedings of 4th ACM Workshop on Role-Based Access Control Fairfax, VA 1999 RBAC on the web by smart certificates ACM 1--9 John Heinlein In Proceedings of the 6th International Conference on Architectural Support for Programming Languages Operating Systems, CA 2000 Integration of Message Passing and Shared Memory in the Stanford FLASH Multiprocessor Michael J Carey David J DeWitt Jeffrey F Naughton In Proceedings of the 1993 ACM-SIGMOD Conference on the Management of Data Washington York DC 1993 The 007 benchmark G J Holzmann Margaret H Smith In Proceedings of the 1999 international conference on Software engineering ICSE99 Los Angeles, CA, USA 1999 A practical method for the verification of event-driven software ACM Press 597--607 S T Pan K So J T Rahmeh in Proceedings of the Fifth International Conference on Architectural Support for Programming Languages Operating Systems 1993 improving the accuracy of dynamic branch prediction using branch correlation 76--84 S P Masticola B G Ryder Proceedings oJ the ACM/ONR Workshop on Parallel Distributed Debugging, ACM SIGPLAN Notices 1991 A Model of Ada Programs for Static Deadlock Detection in Polynomial Time 26--12 David F Bacon Robert E Strom Sequential Processes. ACM SiGPLAN Symposium on Principles Practice of Parallel Programming 1991 Optimistic Parallelization of Communicating M Das In Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design Implementation, 2000 Unification-based pointer analysis with directional assignments R J Paul In Proceedings of the 1992 Winter Simulation Conference San Diego 1992 The computer aided simulation modeling environment: An overview R Furuta C Marshall F Shipman J Leggett J In Proceedings of the 1st ACM International Conference on Digital Libraries New York 1996 Physical objects in the digital library ACM Press 109--115 D Haines W B Croft In Proceedings of the Sixteenth Annual International ACM SIGIR Conference on Research Development in Information Retrieval 1993 Relevance feedback and inference networks 2--11 P Jouvelot D K Gifford In Proceedings of the ACM SIGPLAN Conference on Programming Language Design Implementation. ACM New York 1989 Reasoning about Continuations with Control Effects Toby Bloom Stanley B Zdonik In Conference Proceedings of the Workshop on Persistent Object Systems Their Design Implementation Use, Appin York Scotland 1987 Issues in the design of objectoriented database programming languages 89--112 Michael Albers In Proceedings of the Seventeenth Annual Conference of Computer Documentation New Orleans 1999 Information design considerations for improving situation awareness in complex problem-solving 154--158 E Nygren M Lind M Johnson B Sandblad In Conference Proceedings for CH1'92, ACM Conference on Human Factors in Computing Systems 1992 The an of the obvious' automatically processes components of the task of reading frequently used documents L SVOBODOVA In Proceedings of the 8th ACM Symposium on Operating Systems Principles Pacific Grove, Calif 1981 A reliable object-oriented data repository for a distributed computer system ACM 47--58 G Ammons J R Larus in Proceedings of the SiGPLAN '98 Conference on Programming Language Design Implementation Montreal, Canada 1998 Improving Data-flow Analysis with Path Profiles 72--84 R Stansifer D Wetklow In Proceedings of the ACM/SIGAPP Symposium on Applied Computing 1993 Method reuse in typed object-oriented languages 63--70 Phillip B Gibbons Steven S Muchnick Proceedings of the SIG-PLAN 1986 Symposium on Compiler Construction, ACM SIGPLAN Notices 21 1986 Efficient instruction scheduling for a pipelined architecture W Landi B G Ryder In Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design Implementation 27 San Francisco, CA 1992 A safe approximate algorithm for interprocedural pointer aliasing 235--248 R COLE M T GOODRICH In Proceedings of the 4th ACM Symposium on Computational Geometry. ACM New York 1988 Optimal parallel algorithms for polygon and point-set problems 201--210 C B Stunkel W K Fuchs in Proceedings of the International Conference on Measurement Modeling of Computer Systems 1989 TRAPEDS: Producing traces for multicomputers via execution driven simulation 70--78 David R Karger In Proceedings of the 28th ACM Symposium on Theory of Computing. ACM, ACM Philadelphia PA 1996 Minimum cuts in near-linear time Press D Agrawal A El_Abbadi A Singh T Yurek In proceedings of the 1997 ACM international conference on Management of Data 1997 Efficient View Maintenance at Data Warehouses 417--427 P A G Sivilotti 21st International Conference on Software Engineering ICSE 1999 Specifying and testing the progress properties of distributed components In Proceedings of the 21st Annual International Symposium on Computer Architecture 1994 Zarka Cvetanovic and Dileep Bhandarkar. Characterization of the Alpha AXP Performance Using TP and SPEC Workloads 60--70 D A TURNER In Proceedings of the 1981 Conference on Functional Programming Languages Computer Architecture. ACM 1981 The semantic elegance of applicative languages 85--92 P CousoT R COUSOT In Proceedings of the 4th ACM Symposium on the Principles of Programming Languages. ACM New York 1977 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints M Rosenblum J K Ousterhout In Proceedings of the Thirteenth ACM Symposium on Operating System Principles 1991 The design and implementation of a log-structured file system G JAESCHKE H SCHEK In Proceedings of the ACM SIGA CT-SIGMOD Symposium on Principles of Database Systems (Los Angeles 1982 Remarks on the algebra of non first normal form relations 124--138 E Roberts In Proceedings of the Thirty-first Annual SIGCSE Technical Symposium on Computer Science Education 2000 Strategies for Encouraging Individual Achievement in Introductory Computer Science Courses 285--299 F FICH M HERLIHY N SHAVIT In Proceedings of the 12th Annual ACM Symposium on Principles of Distributed Computing Ithaca New York 1993 On the space complexity of randomized synchronization ACM 15--18 D J Support."In Proceedings of the 1994 International Symposium on Software Testing Analysis Seattle, Washington 1994 Richardson."TAOS: Testing with Oracles and Analysis 138--153 B ChazeUe Proceedings of the First Annual ACM Symposium on Computational Geometry 1985 New techniques for computing order statistics in Euclidean space 125--134 Arun N Lokanathan Jay B Brockman John E Renaud In Proceedings of the 33rd IEEE/ACM Design Automation Conference 1996 A Methodology for Concurrent Fabrication Process/Cell Library Optimization Jeffrey S Poulin Keith J Werkman in conference proceedings of ACM SIGSOFT Symposium on Software Reusability SSR'95 Seattle WA 1995 Melding Structured Abstracts and the World Wide Web for Retrieval of Reusable Components 28--30 David R Cheriton Willy Zwaenepoel In Proceedings of the Ninth ACM Symposium on Operating Systems Principles 1983 The distributed V kernel and its performance for diskless workstations 129--140 J LAI J VERGO In Proceedings of the ACM Conference on Human Factors in Computing Systems (Atlanta, GA New York, NY 1997 MedSpeak: Report creation with continuous speech recognition ACM Press 22--27 R Guindon In Proceedings of the ACM SIGCHI Conference Human Factors in Computer Systems 1988 How to interface to advisory systems7 Users request help with a very simple language James Archibald Jean-Loup Boer 1986 Cache coherence protocols: Evaluation using a multiprocessor simulation model ACM Transactions on Computer Systems 4--4 Rob Kling 21 1978 Value conflicts and social choice in electronic funds transfer systems developments Communications of the ACM 642--657 James Archibald Jean-Loup Baer In The 11th Annual International Symposium on Computer Architecture 1984 An economical solution to the cache coherence problem 355--362 Alan Borning GM 2ansactions on Programming Languages and Systems 1981 The programming language aspects of ThingLab, a constraint-oriented simulation laboratory. A 3--4 D C Schmidt 38 1995 Experience Using Design Patterns to Develop Reuseable Object-Oriented Communication Software Communications of the ACM Special Issue on Design Patterns J M E HYLAND C H L ONG In Proceedings of the Conference on Functional Programming Languages Computer Architecture New York, NY, USA 1995 Pi-cMculus dialogue games and full abstraction for PCF ACM Press 96--107 M JAYARAM G VARGHESE In Proceedings of the 16th Annual ACM Symposium on Principles of Distributed Computing (Calif New York 1997 The complexity of crash failures ACM 21--24 N FRANCEZ D KOZEN In Proceedings of the llth ACM Symposium on the Principles of Programming Languages Salt Lake City, Utah Generalized fair termination 15--18 Anders Bondorf Jens Palsberg In Proceedings of the 5th Conference on Functional Languages Computer Architecture 1993 Compiling actions by partial evaluation ACM 308--320 H Schftze C Silverstein In Proceedings of the Annual International ACM SIGIR Conference on Research Development in Information Retrieval 1997 Projections for efficient document clustering Anthony Savidis Constantine Stephanidis in Proceedings of CHI '95. ACM SIGCHI, ACM 1995 Developing dual user interfaces for integrating blind and sighted users: the HOMER UIMS Press G Tiruvuri M t2hung 1998 Estimation of lower bounds in scheduling algorithms for high-level synthesis ACM Transactions on Design Automation of Electronic Systems 3--2 J Brown T C N Graham T Wright In Proceedings of Human Factors in Computing Systems CHf'98, ACM Los Angeles, USA 1998 The Vista Environment for the Coevolutionary Design of User Interfaces Press P Pirolli Proceedings of the Conference on Human Factors in Computing Systems, CHI '97 Atlanta, GA 1997 Computational models of information scentfollowing in a very large browsable text collection 3--10 P K DAVIS R J HILLESTAD In Proceedings of the 1993 Winter Simulation Conference, ACM New York 1993 Computational models of information scentfollowing in a very large browsable text collection Mihai Barbuceanu Tom Gray Serge Mankovski In Proceedings of the Second International Conference on Autonmruus Agents Agents98 1998 Coordinating with obligations 62--69 J Magee J Kramer In Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of zofiware Engineering 1996 Dynamic structure in software architectures ACM Press 3--14 J D Choi S L Min Proceedings of Third ACM SIGPLAN Symposium on Principles Practice of Parallel Processing 1991 Race method frontier: reproducing races in parallel-program debugging John B Smith F Donelson Smith Proceedings of the Third ACM Conference on Hyperiezt 1991 ABC:A Hypermedia System for Artifact-Based Collaboration 179--192 U Manber 1997 A text compression scheme that allows fast searching directly in the compressed file ACM Transactions on Information Systems 15--2 A Aiken E L Wimmers In Proceedings of the ACM SIGPLAN Conference on Fundional Programming Languages Computer Architecture 1993 Type inclusion constraints and type iafexence 31--41 Gene T J Wuu Arthur J Bernstein In Proceedings of the 3rd Symposium on Principles of Distributed Computing Vancouver, Canada 1984 Efficient solutions to the replicated log and dictionary problems 233--242 K L Clarkson In Proceedings 29th IEEE Syrup on Foundations of Computer Science 1988 A Las Vegas algorithm for linear programming when the dimension is small 452--456 G Salton M Smith In SIGIR'89 Proceedings of the 12th Annual international ACMSIGIR Conference on RandD in Information Retreival on the application of syntactic methodologies in automatic text analysis R W Schwanke R Z Altucher M A PIandoff Di5 covering, Visualizing, and Controlling Software Structure. In Proceedings of the Fifth International Workshop on Software Specification Design Pittsburgh, Pennsylvania 1989 147--150 V Z Ogozalek 21 1989 A comparison of Male and Female Computer Science Students' Attitudes Toward Computers ACM SIGCSE Bulletin 8--14 Bill Pottenger Rudolf Eigenmann Proceedings of the 9th ACM International Conference on $upercomputing Barcelona, Spain 1995 idiom Recognition in the Polaris Parallelizing Compiler 444--448 Rajagopalan Desikan Doug Burger Stephen W Keckler In Proceedings of the 28th Annual International Symposium on Computer Architecture 2001 Measuring experimental error in microprocessor simulation 266--277 Jon L White ACM SIGPLAN '90 Conference on Programming Language Design Implementation 1990 How to print floating-point numbers accurately 25--6 D A Henderson S K Card 5 1986 Rooms: The Use of Multiple Virtual Workspaces to Reduce Space Contention in a Window-Based Graphical User Interface ACM Transactions on Graphics 211--243 Vijay Karamcheti Andrew Chien Proceedings of the 6th International Conference on Architectural Support for Programming Languages Operating Systems 1994 Software Overhead in Messaging Layers: Where Does the Time Go 51--60 Y Ogawa T Matsuda In Proceedings of the 20th Annual International ACM SIGIR Conference on Research Development in Information Retrieval Philadelphia Overlapping statistical word indexing: A new indexing method for Japanese text 226--234 N a MINSKY D ROZENSHTEIN In Proceedings of the Conference on Object-Oriented Programming Systems Languages Apphcatzons. ACM New York 1987 A law-based approach to object-oriented programming 482--493 T Berlage Proceedings of the ACM Symposium on User Interface Software Technology Monterey, CA Using Taps to Separate the Application Code from the User Interface 15--18 N Adams J frees In Proceedings of the ACM Conference on Lisp Functional Programming 1988 Object-oriented programming in Scheme 277--288 G L Peterson 1983 A new solution to Lamport's concurrent programming problem using small shared variables ACM Transactions on Programming Languages Systems 5--1 C Consel F Noel In Conference Record of the 23rd Symposium on Principles of Programming Languages 1996 A General Approach for Run-Time Specialization and its Application to C 145--156 P K McKinley A M Malenfant J M Arango in Proceedings of the ACM SIG-GROUP Conference on Supporting Group Work 1999 Pavilion: A distributed middleware framework for collaborative web-based applications 179--188 N Manjikian Wayne M Loueks In Proceedings of the 7th Workshop on Parallel Distributed Simulation San Diego, CA 1993 High performance parallel logic simulation on a network of workstations 76--84 A C YAO In Proceedings of the 13th Annual Symposium on Theory of Computing (Milwaukee, Wls.). ACM New York 1980 On the parallel computation for the knapsack problem 123--127 D F Jerding J T Stasko T Ball In Proceedings of the 19th International Conference on Software Engineering ICSE '97 1997 Visualizing interactions in program executions 360--371 M C Johnson K Roy 18 1997 Datapath scheduling with multiple supply voltages and level converters ACM Transactions on Design Automation of Electronic Systems L LAMPORT In Conference Record of the 7th Annual ACM Symposium on Principles of Programming Languages, LaB 1980 Sometime is sometimes not never On the temporal logic of programs 28--30 R S GLANVILLE S L GRAHAM In Proceedings o[ the 5th ACM Symposium on Principles o[ Programming Languages (Tucson, Ariz New York 1978 A new method for compiler code generation ACM 231--240 D Leven M Sharir in Two-Dimensional Space Amidst Polygonal Barriers, Proceedings of the 1st ACM Symposium on Computational Geometry 1985 An Efficient and Simple Motion Planning Algorithm for a Ladder Moving 211--227 A Korhonen L Malmi Proceedings of the 5th Annual SIGCSE/SIGCUE Conference on Innovation Technology in Computer Science Education Helsinki, Finland 2000 Algorithm Simulation with Automatic Assessment 160--163 C Creveuil G Roman 1994 Formal specification and design of a message router ACM Transactions on Software Engineering Methodology 3--4 Edith Cohen Nimrod Megiddo Proceddings of the 21st ACM Annual Symposium on Theory of Computing 1989 Strongly Polynomial-Time and NC Algorithms for Detecting Cycles in Dynamic Graphs 523--534 K S BOOTH G S Linear LEUKER Proceedings 7th Annual ACM Symposium on Theory of Computing (Albuquerque, New Mex 1975 algorithms to recognize interval graphs and test for the consecutive ones property 255--265 G M Schneider 21 1989 A quantitative evaluation of graduate programs in computer science in the United States Canada. ACM SIGCSE Bulletin 20--24 P W Glynn In Proceedings of the 1983 Winter Simulation Conference 1983 On the role of generalized semi-Markov processes in simulation output analysis 39--42 V C SREEDHAR G R GAO In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 1995 A linear time algorithm for placing 0b-nodes Brandon Goldfedder Linda Rising 1996 A training experience with patterns Communications of the ACM 39--10 T Bench-Capon G Staniford In Proceedings of the Fifth International Conference on Artificial Intelligence Law 1995 PLAID -proactive legal assistance 81--88 G Estrin Proceedings of the Symposium on Design Automation Micro-Processors Palo Alto, California 1977 Modeling for Synthesis -The Gap Between Intent and Behavior A Lingas Proceedings of the Second Annual ACM Symposium on Computational Geometry 1986 On Approximating Behavior and Implementation of the Greedy Triangulation for Convex Planar Point Sets 72--79 L DEGEN R MANNER G SALOMON In Proceedings of CHI '92 Conference on Human Factors in Computing Systems. ACM New York 1992 Working with audio: Integrating personal tape recorders and desktop computers 413--418 Nimar S Arora Robert D Blumofe C Greg In Proceedings of the 10nth Annual ACM Symposium on Parallel Algorithms Architectures SPAA, Puerto Vallarta Mexico 1998 Plaxton. Thread scheduling for multiprogrammed multiprocessors In Proceedings Conference on Functional Programming Languages Computer Architecture 1995 Akihiko Takano and Erik Meijer. Shortcut deforestation in calculational form 306--313 P WOLPER In Proceedings of the 13th ACM Symposium on Principles of Programming Languages (Petersburg Beach, Fla New York 1986 Specifying interesting properties of programs in propositional temporal logic ACM 184--193 L Pliimer G GrSger Proceedings of the 4th ACM Workshop on Advances in GIS 84, Roekville, Maryland Nested Maps -a Formal Provably Correct Object Model for Spatial Aggregates ACM Press 77 J F Kelley In Proceedings of the CHI 83 Conference on Human Factors in Computing Systems Boston, Mass New York An empirical methodology for writing user-friendly natural language computer applications ACM 12--15 J Whaley M Rinard In Proceedings of the ACM Conference on Object-Oriented Programming Systems Languages Applications OOPSLA'99 1999 Compositional pointer and escape analysis for Java programs 187--206 R Farrow A Stanculescu In Proceedings of the SIGPLAN '89 Conference on Programming Language Design Implementation 1989 A VHDL compiler based on attribute grammars 120--130 Henry Massalin in Proceedings of the Second International Conference on Architectural Support for Programming Languages Operating Systems ASPLOS II 1987 Superoptimizer A Look at the Smallest Program 122--126 W Gaver In Proceedings Of ACM Conference On Computer Supported Collabo rative Work 1992 The Affordances Of Media Spaces For Collaboration 17--24 R E Grinter in ACM Conference on Computer Supported Cooperative Work CSCW '98 Seattle, Washington 1998 Recomposition: Putting It All Back Together Again ACM Press D M Nicol E Heidelberger 18 1995 A comparative study of parallel algorithms for simulating continuous time markov chains ACM Transactions on Modeling Computer Simulation 326--354 James R Larus Eric Schnarr In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design Implementation 1995 EEL: machine-independent executable editing Clayton Lewis D Charles Hair Victor Schoenberg In Proceedings of ACM CHI'89 Conference on Human Factors in Computing Systems 1989 Generalization Consistency Control 1--5 Brian Cantwell Smith In Proceedings of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City 1984 ReflSection and semantics in Lisp ACM 23--35 G Cooperman M Tselman Proceedings of International Symposium on Symbolic Algebraic Computation ISSAC '96, ACM 1996 New Sequential and Parallel Algorithms for Generating High Dimension Hecke Algebras using the Condensation Technique Press 1 Mark Holland Garth A Gibson In Proceedings of 5th Int Conf on Architectural Support for Programming Languages Operating Systems 1992 Parity Ieclustering for Continuous Operation in Redundant Disk Arrays 23--34 P Cousot R Cousot A In Proceedhags of the Fourth Annual Symposium on Principles of Programming Languages unified lattice model for the static analysis of programs by construction or approximation of fixpoints ACM Press R Yuan S K Biswas L J French J Li D Raychaudhuri in wireless ATM networks Mobile Networks and Applications. 7(3), Special Issue on Wireless ATM 1996 A signaling and control architecture for mobility support 287--298 Stone Don C Seth Bergmann Ganesh Baliga A Michael Berman John Schmalzel Proceedings of the Thirtieth SIGCSE Technical Symposium of Computer Science Education 1999 A CS1 Maze Lab using Joysticks and MIPPETs 170--173 M Wray V Belrose Proceedings of the Fourth Symposium on the Virtual Reality Modeling Language 1999 Avatars in Living Space ACM 13--19 D A Henderson S K Card 1986 Rooms: The Use of Multiple Virtual Workspaces to Reduce Space Contention in a Window-Based Graphical User interface ACM Transactions on Graphics 5--3 Brad Calder Dirk Gmnwald In 22nd Annual International Symposium of Computer Architecture 1995 Next cache line and set prediction ACM 287--296 Edwina L Rissland Jody J Daniels In Proceedings 5th International Conference on Artificial Intelligence an Law 1995 A Hybrid CBR-IR Approach to Legal Information Retrieval ACM 52--61 B E John A Newell Proceedings CHI'89 Human Factors in Computing Systems New York 1989 Cumulating From S-R compatibility to transcription typing ACM Press 109--114 Daniel P Huttenlocher Applications, Proceedings of the 7th Annual Symposium on Computational Geometry 1991 Klara Kedam and Micha Sharir. The Upper Envelope of Voronoi Surfaces and its 194--203 M Wand D P Fredman In Proceedings Symposium on Lisp Functional Programming 1986 The mystery of the tower revealed: a non-reflective description of the reflective tower ACM 298--307 C Ahlberg B Shneiderman in Proceedings of the ACM SIGCHI Conference on Human Factors in Computing System clebrating independence (Boston MA 1994 Visual Information Seeking: Tight Coupling of Dynamic Query Filters with Starfield Displays David B Leblang Robert P Jr In Proceedings of the ACM SIGSOFTISIGPLAN Software Engineering Symposiumm on Practical Software Development Environments Computer-Aided Software Engineering in a Distributed Workstation Environment 104--1 Cary Gray David Cheriton In Proceedings of the Twelfth Symposium on Operating Systems Principles 1989 Leases: An efficient faulttolerant mechanism for distributed file cache consistency ACM 202--210 A M Disney P M Johnson In Proceedings of the ACM SIGSOFT Sixth International Symposium on the Foundations of Software Engineering Investigating data quality problems in the PSP 143--148 N KARMARKAR Y N LAKSHMAN In Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation ISSAC'96 1996 Approximate polynomial greatest common divisors and nearest singular polynomials 35--39 D R Engler M F Kaashoek J W In Proceedings of the 15th ACM Symposium on Operating Systems Principles Colorado, USA 1995 O'Toole Jr. Exokernel: An Operating System Architecture for Application Level Resource Management 251--266 L Vicci S Brumback K Keller G Welch G Bishop D N Colucci In Proceedings of the ACM Symposium on Virtual Reality Software Technology The hiball tracker: High-performance widearea tracking for virtual and augmented environments 1--11 Pavel Curtis James Rauen ACM Conference on Lisp Functional Programming 1990 A module system for Scheme 13--19 Dorai Sitaram Matthias Felleisen In Proceedings 1990 Conference on LISP Functional Programming 1990 Reasoning with continuations II: Full abstraction for models of control 161--175 Nimrod Megiddo 1984 Linear programming in linear time when the dimension is fixed Journal of the ACM 31--1 Tyson R Henry Scott E Hudson Proceedings of the ACM SIGGRAPH Symposium on User Interface Software Banff, Alberta, Canada 1988 Using Active Data in a UIMS 167--178 T Saaao In Proceedings of the 8th International Symposium on Multiple-Valued Logic 1978 An application of multiple-valued logic to a design of programmable logic arrays K Pettis R C Hansen In Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design Implementation 1990 Profile guided code positioning 16--27 J ROMPEL In Proceedings of the 22nd Annual ACM Symposium on the Theoo' of Computing. ACM New York 1990 One-way functions are necessary and sufficient for secure signatures 387--394 J M Wing M Vaziri-Farahani In Proceedings of SIGSOFT'95 Third ACM SIGSOFT Symposium on the Foundations of Software Engineering 1995 Model checking software systems: A case study 128--139 S L Peyton Jones Jon Salldld In Proceedings of the 1989 Conference on Functional Programming Languages Computer Architecture 1989 The Spineless Tagless G-machine F Lockwood Morris In Proceedings of the First ACM Symposium on Principles of Programming Languages 1973 Advice on structuring compilers and proving them correct 144--152 J CONKLIN M L BEGEMAN In Proceedings of the ACM Conference on Computer-Supported Cooperative Work CSCW '88 Portland, OR 1988 gIBIS: a hypertext tool for exploratory policy discussion ACM Press 26--28 J Reif L G Valiant Proceedings of the 15th Annual ACM Symposium on Theory of Computing Boston 1987 A Logarithmic Time Sort on Linear Size Networks Journal of the ACM 60--76 U Vazirani In Proceedings of the 19 th Annual ACM Symposium on Theory of Computing New York City 1987 Efficiency considerations in using semi-random sources A C Yao In Proceedings of the 13 th Annual ACM Symposium on Theory of Computing Milwaukee, Wisconsin 1981 The entropic limitations on VLSI computations 308--311 Nimrod Megiddo 1984 Linear programming in linear time when the dimension is fixed Journal of the ACM 31--1 Nimrod Megiddo 1984 Linear programming in linear time when the dimension is fixed Journal of the ACM 31--1 Muneo Takahashi Proceedings of the Eighth International Conference on Software Engineering Yuji Kamayachi (Nippon Telephone and Telegraph). "An Empirical Study of a Model for Program Error Prediction 28--30 G M Lohman Proceedings of the ACM SIGMOD International Conference on the Management of Data Chicago, IL 1988 Grammar-Like Functional Rules for Representing Query Optimization Alternatives 18--27 Daniel P Huttenlocher Applications, Proceedings of the 7th Annual Symposium on Computational Geometry 1991 Klara Kedam and Micha Sharir. The Upper Envelope of Voronoi Surfaces and its 194--203 M Wand D P Fredman In Proceedings Symposium on Lisp and Functional Programming 1986 The mystery of the tower revealed: a non-reflective description of the reflective tower ACM 298--307 C Ahlberg B Shneiderman in Proceedings of the ACM SIGCHI Conference on Human Factors in Computing System clebrating independence (Boston MA 1994 Visual Information Seeking: Tight Coupling of Dynamic Query Filters with Starfield Displays David B Leblang Robert P Chase In Proceedings of the ACM SIGSOFTISIGPLAN Software Engineering Symposiumm on Practical Software Development Environments Computer-Aided Software Engineering in a Distributed Workstation Environment 104--1 Cary Gray David Cheriton In Proceedings of the Twelfth Symposium on Operating Systems Principles 1989 Leases An efficient faulttolerant mechanism for distributed file cache consistency ACM 202--210 A M Disney P M Johnson In Proceedings of the ACM SIGSOFT Sixth International Symposium on the Foundations of Software Engineering Investigating data quality problems in the PSP 143--148 J Reif L G Valiant 34 Boston 1987 Proceedings of the 15th Annual ACM Symposium on Theory of Computing A Logarithmic Time Sort on Linear Size Networks Journal of the ACM 60--76