Name
Papers
Collaborators
WILLIAM E. WEIHL
60
53
Citations 
PageRank 
Referers 
2614
903.11
3919
Referees 
References 
807
915
Search Limit
1001000
Title
Citations
PageRank
Year
Edgecomputing: extending enterprise applications to the edge of the internet432.442004
Beyond content delivery: applications to the edge00.342004
When does a correct mutual exclusion algorithm guarantee mutal exclusion?20.392000
SIGOPS 2000 Annual Report00.342000
Dynamic Coscheduling on Workstation Clusters743.261998
ProfileMe: hardware support for instruction-level profiling on out-of-order processors14019.961997
Continuous profiling: where have all the cycles gone?25566.941997
Dynamic computation migration in DSM systems81.081996
Scalable concurrent B-trees using multi-version memory10.361996
Algorithms for Search Trees on Message-Passing Architectures30.521996
Reducing synchronization overhead in parallel simulation231.671996
Zippers: A Focus+Context Display of Web Pages51.041996
Demand-Based Coscheduling of Parallel Jobs on Multiprogrammed Multiprocessors594.701995
Optimistic active messages: a mechanism for scheduling communication with computation406.621995
Deriving global virtual time algorithms from conservative simulation protocols10.481995
Specification and Verification of Object-Oriented Programs Using Supertype Abstraction.412.671995
Software prefetching and caching for translation lookaside buffers316.821994
Lottery scheduling: flexible proportional-share resource management31665.741994
Optimistic active messages: structuring systems for high-performance communication20.721994
Register relocation: flexible contexts for multithreading271.751993
Performance assertion checking282.441993
The impact of recovery on concurrency control5242.321993
Atomic incremental garbage collection and recovery for a large stable heap3434.321993
Computation migration: enhancing locality for distributed-memory parallel systems304.221993
PROTEUS: a high-performance parallel-architecture simulator16749.341992
Hybrid Atomicity for Nested Transactions810.321992
Atomic Garbage Collection21.281992
PRELUDE: A System for Portable Parallel Software136.431992
Pipes: linguistic support for ordered asynchronous invocations10.361992
A Case Study of CES: A Distributed Collaborative Editing System Implemented in Argus173.061992
On the correctness of orphan management algorithms51.341992
Prelude: Tools for Building Portable Parallel Programs (Abstract)00.341992
Scalable Reader-Writer Locks for Parallel Systems121.771992
An Algorithm for Concurrent Search Trees116.901991
Hybrid concurrency control for abstract data types6032.631991
A serialization graph construction for nested transactions2612.201990
Fault-tolerant parallel computing00.341990
Multi-version memory: software cache management for concurrent B-trees144.871990
Reasoning about object-oriented programs that use subtypes409.781990
Commutativity-based locking for nested transactions3113.031990
Local atomicity properties: modular concurrency control for abstract data types10038.171989
Two phase gossip: managing distributed event histories2421.401989
Atomic garbage collection: managing a stable heap174.451989
A theory of atomic transactions1714.291988
A Theory of Timestamp-Based Concurrency Control for Nested Transactions2116.571988
Commutativity-Based Concurrency Control for Abstract Data Types16049.701988
Distributed Version Management for Read-Only Actions5320.321987
Nested transactions and read-write locking2932.001987
Atomic data abstractions in a distributed collaborative editing system3765.291986
Specifications of Distributed Programs112.721986
  • 1
  • 2