Home     Top: Hardware    Subtopics:   CISC   High Performance   Logic Design   Memory Structures   Microprogramming   RISC   Storage   VLSI

Change ordering:   Authority   Hubs (tutorials)   Date   Expected authority       Show abstracts
Ordered by the number of citations

This directory is created automatically and some papers may be mislabeled. Only document within the CiteSeer database are listed. The directory is intended to provide entry points for browsing the database and is not intended to be authoritative. Papers may not appear in all relevant categories. For example, papers in a sub-category may not appear in higher level categories.

558   RSVP: A New Resource ReSerVation Protocol - Zhang, Deering, Estrin, Shenker.. (1993)   (Correct)
496   PVM: A Framework for Parallel Distributed Computing - Sunderam (1990)   (Correct)
307   Exokernel: An Operating System Architecture for Application-Level.. - Engler, Kaashoek, O'Toole, Jr. (1995)   (Correct)
259   Efficient Software-Based Fault Isolation - Wahbe, Lucco, Anderson, Graham (1993)   (Correct)
255   Foundations for the Study of Software Architecture - Perry, Wolf (1992)   (Correct)
219   The NAS Parallel Benchmarks - Bailey, Barszcz, Barton, Browning.. (1994)   (Correct)
217   Lazy Release Consistency for Software Distributed Shared Memory - Keleher, Cox, Zwaenepoel (1992)   (Correct)
208   Transis: A Communication Sub-System for High Availability - Yair Amir (1992)   (Correct)
184   Weak Ordering - A New Definition - Adve (1990)   (Correct)
179   Munin: Distributed Shared Memory Based on Type-Specific Memory.. - Bennett, Carter, Zwaenepoel (1990)   (Correct)
165   Multiscalar Processors - Sohi (1995)   (Correct)
163   Authentication in Distributed Systems: Theory and Practice - Lampson, Abadi, Burrows, Wobber (1992)   (Correct)
163   CORBA: Integrating Diverse Applications Within Distributed.. - Vinoski (1997)   (Correct)
162   Performance of Various Computers Using Standard Linear Equations.. - Dongarra (1995)   (Correct)
161   The MIT Alewife Machine: A Large-Scale Distributed-Memory.. - Agarwal, Chaiken, Johnson, Kranz.. (1991)   (Correct)
158   Intelligent Agents: Theory and Practice - Wooldridge, Jennings (1995)   (Correct)
155   Measurement-based Admission Control Algorithms for Controlled-load.. - Jamin, al. (1995)   (Correct)
148   Why Aren't Operating Systems Getting Faster As Fast as Hardware? - Ousterhout (1990)   (Correct)
145   The Network Architecture of the Connection Machine CM-5 - Leiserson, Abuhamdeh, Douglas.. (1994)   (Correct)
144   A Methodology for Implementing Highly Concurrent Data Objects - Herlihy (1993)   (Correct)
137   The UNIX Time-Sharing System - Ritchie, Thompson (1974)   (Correct)
131   System Design Issues for Internet Middleware Services: Deductions.. - Gribble (1997)   (Correct)
130   An Evaluation of Directory Schemes for Cache Coherence - Agarwal, al. (1988)   (Correct)
126   Value Locality and Load Value Prediction - Lipasti, al. (1996)   (Correct)
123   The Nexus Approach to Integrating Multithreading and Communication - Foster (1996)   (Correct)
123   Visual Information Seeking: Tight Coupling of Dynamic Query Filters.. - Ahlberg, Shneiderman (1994)   (Correct)
122   The Transis Approach to High Availability Cluster Communication - Dolev (1996)   (Correct)
118   The Zebra Striped Network File System - Hartman, Ousterhout (1993)   (Correct)
118   Standard ML of New Jersey - Appel, MacQueen (1991)   (Correct)
116   Comparing Images Using the Hausdorff Distance - Huttenlocher, Klanderman, Rucklidge (1993)   (Correct)
114   Effective Erasure Codes for Reliable Computer Communication Protocols - Rizzo (1997)   (Correct)
111   Cluster-Based Scalable Network Services - Fox, Gribble, Chawathe, Brewer.. (1997)   (Correct)
109   Implementing lazy functional languages on stock hardware: the.. - Jones (1992)   (Correct)
107   An Application Level Video Gateway - Amir, McCanne, Zhang (1995)   (Correct)
104   Making Paths Explicit in the Scout Operating System - Mosberger, Peterson (1996)   (Correct)
102   Adaptive Execution in Complex Dynamic Worlds - Firby (1989)   (Correct)
101   Fine-grain Access Control for Distributed Shared Memory - Schoinas (1994)   (Correct)
98   Machine-Independent Virtual Memory Management for Paged Uniprocessor.. - Rashid, Tevanian, Young, Golub.. (1987)   (Correct)
95   Scheduling for Reduced CPU Energy - Weiser, Welch, Demers, Shenker (1994)   (Correct)
95   Adapting to Network and Client Variability via On-Demand Dynamic.. - Fox (1996)   (Correct)
90   LogGP: Incorporating Long Messages into the LogP Model - One step.. - Alexandrov, Ionescu, Schauser.. (1995)   (Correct)
89   An Event-Based Architecture Definition Language - Luckham, Vera (1995)   (Correct)
85   Infomaster: An Information Integration System - Genesereth, Keller, Duschka (1997)   (Correct)
84   Application Performance and Flexibility on Exokernel Systems - Kaashoek, Engler, Ganger.. (1997)   (Correct)
84   A New Theory of Deadlock-Free Adaptive Routing in Wormhole Networks - Duato (1993)   (Correct)
80   Practical Prefetching via Data Compression - Curewitz, Krishnan, Vitter (1993)   (Correct)
79   Programmable Active Memories: a Performance Assessment - Bertin Roncin (1993)   (Correct)
79   Scout: A Communications-Oriented Operating System - Montz, Mosberger, O'Malley.. (1994)   (Correct)
78   Optimizing Power Using Transformations - Chandrakasan, Potkonjak, Mehra.. (1995)   (Correct)
78   A Digital Fountain Approach to Reliable Distribution of Bulk Data - Byers, Luby, Mitzenmacher, Rege (1998)   (Correct)
76   Extensible Security Architectures for Java - Wallach (1997)   (Correct)
75   Reliable Broadband Communication Using a Burst Erasure Correcting Code - McAuley (1990)   (Correct)
75   Learning in the Presence of Malicious Errors - Kearns (1993)   (Correct)
73   View-Dependent Simplification Of Arbitrary Polygonal Environments - Luebke, Erikson   (Correct)
72   Beyond Multiprocessing ... Multithreading the SunOS Kernel - Eykholt, Kleiman, Barton, Faulkner.. (1992)   (Correct)
72   Secrecy by Typing in Security Protocols - Abadi (1997)   (Correct)
71   Unifying Data and Control Transformations for Distributed Shared.. - Cierniak (1994)   (Correct)
71   Memory Bandwidth Limitations of Future Microprocessors - Burger (1996)   (Correct)
68   Reducing Memory Latency via Non-blocking and Prefetching Caches - Chen (1992)   (Correct)
68   Supercomputer Performance Evaluation and the Perfect Benchmarks - Cybenko (1990)   (Correct)
67   Visual Navigation of Large Environments Using Textured Clusters - Maciel, Shirley (1995)   (Correct)
67   Evolution of Homing Navigation in a Real Mobile Robot - Floreano, Mondada (1996)   (Correct)
67   Scope Consistency : A Bridge between Release Consistency and Entry.. - Liviu Iftode (1996)   (Correct)
65   The STATEMATE Semantics of Statecharts - Harel, Naamad (1996)   (Correct)
65   Energy Efficient Indexing On Air - Imielinski, Viswanathan, Badrinath (1994)   (Correct)
65   Charlotte: Metacomputing on the Web - Baratloo (1996)   (Correct)
65   Baring it all to software: Raw machines - Waingold, al. (1997)   (Correct)
64   A Polygonal Approximation to Direct Scalar Volume Rendering - Shirley, Tuchman (1990)   (Correct)
64   Application Scheduling and Processor Allocation in Multiprogrammed.. - Sevcik (1993)   (Correct)
63   Garbage Collection Can Be Faster Than Stack Allocation - Appel (1987)   (Correct)
63   A Review of Evolutionary Artificial Neural Networks - Yao (1993)   (Correct)
62   Going Beyond the Sandbox: An Overview of the New Security.. - Gong, Mueller, Prafullchandra.. (1997)   (Correct)
62   Multiresolution Modeling for Fast Rendering - Heckbert (1994)   (Correct)
62   Integrated PVM Framework Supports Heterogeneous Network Computing - Dongarra, Geist, Manchek, Sunderam (1993)   (Correct)
62   Throughput-Competitive On-Line Routing - Awerbuch (1993)   (Correct)
61   Why Cryptosystems Fail - Anderson (1994)   (Correct)
60   Limitations of the Kerberos Authentication System+ - Bellovin (1991)   (Correct)
60   A Theoretical Evaluation of Selected Backtracking Algorithms - Kondrak (1994)   (Correct)
59   Model Checking Large Software Specifications - Anderson (1996)   (Correct)
58   SPIN - An Extensible Microkernel for Application-specific Operating.. - Bershad, Chambers, Eggers, Maeda.. (1994)   (Correct)
57   The Relative Importance of Concurrent Writers and Weak Consistency.. - Peter Keleher (1996)   (Correct)
57   Scalable High Speed IP Routing Lookups - Waldvogel, Varghese, Turner, Plattner (1997)   (Correct)
56   Evaluation of Release Consistent Software Distributed Shared Memory.. - Sandhya Dwarkadas (1993)   (Correct)
56   An Exploration of Nonprehensile Two-Palm Manipulation: Planning and.. - Erdmann (1995)   (Correct)
55   Measured Capacity of an Ethernet: Myths and Reality - Boggs, Mogul, Kent (1988)   (Correct)
55   Adaptive Cache Coherency for Detecting Migratory Shared Data - Cox, Fowler (1993)   (Correct)
54   On Non-Preemptive Scheduling of Periodic and Sporadic Tasks - Jeffay, Stanat, Martel (1991)   (Correct)
53   Microkernels Meet Recursive Virtual Machines - Ford (1996)   (Correct)
52   Techniques for Reducing Consistency-Related Communication in.. - Carter, Bennett, Zwaenepoel (1993)   (Correct)
51   Visibility Culling Using Hierarchical Occlusion Maps - Zhang, Manocha, Hudson, Hoff, III (1997)   (Correct)
50   Views: A way for pattern matching to cohabit with data abstraction - Wadler (1987)   (Correct)
50   Mariposa: a wide-area distributed database system - Stonebraker, Aoki, Litwin, Pfeffer.. (1996)   (Correct)
49   Representing Control in the Presence of First-Class Continuations - Hieb, Dybvig, Bruggeman (1990)   (Correct)
48   CPU Inheritance Scheduling - Bryan Ford (1996)   (Correct)
48   The Galley Parallel File System - Nieuwejaar (1996)   (Correct)
47   Chained Declustering: A New Availability Strategy for Multiprocssor.. - Hsiao (1990)   (Correct)
46   Turning SOS Rules into Equations - Aceto, Bloom, Vaandrager (1994)   (Correct)
46   Memory Consistency Models - Mosberger (1993)   (Correct)
45   Security Properties of Typed Applets - Leroy, Rouaix   (Correct)
45   An Argument for Simple COMA - Ashley Saulsbury (1995)   (Correct)
45   Two examples of verification of multirate timed automata with Kronos - Daws, Yovine (1995)   (Correct)
45   Hector - A Hierarchically Structured Shared Memory Multiprocessor - Stumm (1991)   (Correct)
45   Network Objects - Birrell, Nelson, Owicki, Wobber (1995)   (Correct)
45   NetCash: A design for practical electronic currency on the Internet - Medvinsky (1993)   (Correct)
45   Thwarting the Power-Hungry Disk - Douglis, Krishnan, Marsh (1994)   (Correct)
44   A High-Performance Microarchitecture with Hardware-Programmable.. - Razdan, Smith (1994)   (Correct)
44   Scalable Performance Environments for Parallel Systems - Reed (1991)   (Correct)
43   Real-Time Occlusion Culling for Models with Large Occluders - Coorg (1997)   (Correct)
43   Trustee-based Tracing Extensions to Anonymous Cash and the Making of.. - Brickell, Gemmell, Kravitz (1995)   (Correct)
42   Scheduling Dynamic Dataflow Graphs With Bounded Memory Using The.. - Buck, Lee (1993)   (Correct)
42   Small Forwarding Tables for Fast Routing Lookups - Degermark, Brodnik, Carlsson, Pink (1997)   (Correct)
42   Performance Analysis Using the MIPS R10000 Performance Counters - Zagha, Larson, Turner, Itzkowitz (1996)   (Correct)
42   Distributed Filaments: Efficient Fine-Grain Parallelism on a Cluster.. - Freeh, Lowenthal, Andrews (1994)   (Correct)
42   MPI-FM: High Performance MPI on Workstation Clusters - Lauria, Chien (1997)   (Correct)
42   Software-Extended Coherent Shared Memory: Performance and Cost - Chaiken, Agarwal (1994)   (Correct)
41   MGS: A Multigrain Shared Memory System - Yeung (1996)   (Correct)
41   On Performance of Caching Proxies - Rousskov   (Correct)
41   The Haptic Display of Complex Graphical Environments - Ruspini, Kolarov, Khatib (1997)   (Correct)
41   iKP - A Family of Secure Electronic Payment Protocols - Bellare, Garay, Hauser, Herzberg.. (1995)   (Correct)
41   How To Evolve Autonomous Robots: Different Approaches In Evolutionary .. - Nolfi, Floreano, Miglino, Mondada (1994)   (Correct)
41   Metasystems: An Approach Combining Parallel Processing and.. - Grimshaw (1994)   (Correct)
41   Building Reliable Distributed Systems with CORBA - Landis, Maffeis (1997)   (Correct)
40   Scientific Computing on Bulk Synchronous Parallel Architectures - Bisseling And (1993)   (Correct)
40   A Survey of QoS Architectures - Aurrecoechea, Campbell, Hauw (1996)   (Correct)
40   Composite Multimedia and Active Objects - Gibbs (1991)   (Correct)
39   Mudding: Social Phenomena in Text-Based Virtual Realities - Curtis (1992)   (Correct)
39   Validity Checking for Combinations of Theories with Equality - Barrett, Dill, Levitt (1996)   (Correct)
39   ProfileMe: Hardware Support for Instruction-Level Profiling on.. - Dean, Hicks, Waldspurger, Weihl.. (1997)   (Correct)
38   Partial Orderings of Event Sets and Their Application to Prototyping.. - Luckham, Vera, Bryan, Augustin, Belz (1992)   (Correct)
38   Verifying Systems with Replicated Components in Mur phi - Ip, Dill (1997)   (Correct)
38   Embra: Fast and Flexible Machine Simulation - Witchel, Rosenblum (1996)   (Correct)
38   The Desk Area Network - Hayter (1991)   (Correct)
38   Robust Partitioning Policies of Multiprocessor Systems - Rosti, Smirni, Dowdy, Serazzi.. (1993)   (Correct)
38   Public International Benchmarks for Parallel Computers - Hockney, Berry (1994)   (Correct)
38   Kernel Support for Live Digital Audio and Video - Jeffay, Stone, Smith (1992)   (Correct)
37   Fail-safe PVM: A portable package for distributed programming with.. - Leon (1993)   (Correct)
37   The Tiger Video Fileserver - Bolosky, Barrera, III, Draves.. (1996)   (Correct)
37   Model Checking for Security Protocols - Marrero, Clarke, Jha (1997)   (Correct)
37   Real-Time Robot Motion Planning Using Rasterizing Computer Graphics.. - Lengyel, Reichert, Donald, Greenberg (1990)   (Correct)
37   Enhanced Modulo Scheduling for Loops with Conditional Branches - Warter, Haab, Subramanian, Bockhaus (1992)   (Correct)
37   Detection and Exploitation of File Working Sets - Tait (1991)   (Correct)
36   The Performance Impact of Flexibility in the Stanford FLASH.. - Heinrich (1994)   (Correct)
36   Modularity for Timed and Hybrid Systems - Alur, Henzinger (1997)   (Correct)
36   On the Importance of Checking Cryptographic Protocols for Faults - Boneh, DeMillo, Lipton (1997)   (Correct)
35   Introducing OBJ - Goguen, Winkler, Meseguer.. (1993)   (Correct)
35   Analyzing Stability in Wide-Area Network Performance - Balakrishnan, Seshan, Stemm, Katz (1997)   (Correct)
35   Trace-driven Memory Simulation: A Survey - Uhlig, Mudge   (Correct)
35   Object Distribution in Orca using Compile-Time and Run-Time Techniques - Bal, Kaashoek (1993)   (Correct)
35   The Synergy Between Non-blocking Synchronization and Operating System .. - Greenwald, Cheriton (1996)   (Correct)
35   On the Applications of Harmonic Functions to Robotics - Connolly, Grupen (1993)   (Correct)
35   Distributed Schedule Management in the Tiger Video Fileserver - Bolosky, Fitzgerald (1997)   (Correct)
34   The Design and Implementation of Arjuna - Parrington, al. (1995)   (Correct)
34   A High-performance Endsystem Architecture for Real-time CORBA - Douglas Schmidt (1997)   (Correct)
34   Software DSM Protocols that Adapt between Single Writer and Multiple.. - Cristiana Amza (1997)   (Correct)
34   AudioFile: A Network-Transparent System for Distributed Audio.. - Thomas Levergood (1993)   (Correct)
34   Falcon: On-line Monitoring and Steering of Large-Scale Parallel.. - Gu (1995)   (Correct)
34   Separating Data and Control Transfer in Distributed Operating Systems - Thekkath, Levy, Lazowska (1994)   (Correct)
34   Compiler-Controlled Multithreading for Lenient Parallel Languages - Schauser, Culler, von Eicken (1991)   (Correct)
34   High-Performance Local Area Communication With Fast Sockets - Rodrigues, Anderson, Culler (1997)   (Correct)
33   Message-Passing Performance of Various Computers - Dongarra, Dunigan (1995)   (Correct)
33   Classification And Detection Of Computer Intrusions - Kumar (1995)   (Correct)
33   The Impact of Communication Locality on Large-Scale Multiprocessor.. - Johnson (1992)   (Correct)
33   PERTS: A Prototyping Environment for Real-Time Systems - Liu, Redondo, Deng, Tia, Bettati.. (1993)   (Correct)
33   Comparison of Hardware and Software Cache Coherence Schemes - Adve, Adve, Hill, Vernon (1991)   (Correct)
33   Fast Multiresolution Surface Meshing - Gross, Gatti, Staadt (1995)   (Correct)
32   A Survey of Distributed Garbage Collection Techniques - Plainfossé, Shapiro (1995)   (Correct)
32   Home-based SVM protocols for SMP clusters: Design and Performance - Samanta (1998)   (Correct)
32   Some Efficient Architecture Simulation Techniques - Bedichek (1990)   (Correct)
32   Silicon Evolution - Thompson (1996)   (Correct)
32   Mach Threads and the Unix Kernel: The Battle for Control - Tevanian, Jr., Rashid, Golub, Black, .. (1987)   (Correct)
31   The ParcTab Ubiquitous Computing Experiment - Want, Schilit, Adams, Gold..   (Correct)
31   Software Transactional Memory - Shavit (1995)   (Correct)
31   An Architecture for Optimal All-to-All Personalized Communication - Hinrichs, Kosak, O'Hallaron.. (1994)   (Correct)
31   A Sanctuary for Mobile Agents - Yee (1997)   (Correct)
31   Discretized Marching Cubes - Montani, Scateni, Scopigno (1994)   (Correct)
31   Markovian Analysis of Large Finite State Machines - Hachtel, Macii, Pardo, Somenzi (1996)   (Correct)
30   Coordinated Checkpointing-Rollback Error Recovery for Distributed.. - Janakiraman, Tamir (1994)   (Correct)
30   Protocol Implementation on the Nectar Communication Processor - Cooper, Steenkiste, Sansom, Zill (1990)   (Correct)
29   Reactive Synchronization Algorithms for Multiprocessors - Lim (1994)   (Correct)
29   Lazy Receiver Processing (LRP): A Network Subsystem Architecture for.. - Druschel (1996)   (Correct)
29   Number-Theoretic Constructions of Efficient Pseudo-Random Functions - Naor, Reingold (1997)   (Correct)
29   Scenario-Based Analysis of Software Architecture - Kazman (1996)   (Correct)
29   Bucket Hashing and its Application to Fast Message Authentication - Rogaway (1997)   (Correct)
28   Multi-Address Encoding for Multicast - Chiang (1994)   (Correct)
27   A Quantitative Analysis of Loop Nest Locality - McKinley, Temam (1996)   (Correct)
27   Optimizing Instruction Cache Performance for Operating System.. - Josep Torrellas (1995)   (Correct)
27   Exploiting In-Kernel Data Paths to Improve I/O Throughput and CPU.. - Fall (1993)   (Correct)
27   Lightweight Shared Objects in a 64-Bit Operating System - Chase, Levy, Lazowska, Baker-Harvey (1992)   (Correct)
27   BSPlib - The BSP Programming Library - Hill, McColl, Stefanescu, Goudreau.. (1997)   (Correct)
27   Volume Graphics - Kaufman, Cohen, Yagel (1993)   (Correct)
27   A Mathematical Model of CPU - Yatsuka Nakamura (1992)   (Correct)
26   Customizing Mobile Applications - Schilit, Theimer, Welch (1993)   (Correct)
26   A Parallel Workload Model and Its Implications for Processor.. - Allen Downey (1996)   (Correct)

CiteSeer - citeseer.org - Terms of Service - Privacy Policy - Copyright © 1997-2002 NEC Research Institute