Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
A note on bit-mapped free sector management
ACM SIGOPS Operating Systems Review
A protocol processing architecture for networked multimedia computers
ACM SIGOPS Operating Systems Review
ACM SIGOPS Operating Systems Review
An “open” oriented file system
ACM SIGOPS Operating Systems Review
Object distribution in Orca using Compile-Time and Run-Time techniques
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
ACM SIGCSE Bulletin
Optimal Centralized Algorithms for Store-And-Forward Deadlock Avoidance
IEEE Transactions on Computers
A fine-grained parallel completion procedure
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Animating operating systems algorithms with XTANGO
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Introducing Object Orientation into Large and Complex Systems
IEEE Transactions on Software Engineering
Communication control in computer supported cooperative work systems
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
Microkernels: a submodule for a traditional operating systems course
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
An object-oriented file system—an example of using the class hierarchy framework concept
ACM SIGOPS Operating Systems Review
Object-oriented programming for embedded systems
ACM SIGPLAN Notices
Integrating XTANGO's animator into the SR concurrent programming language
ACM SIGGRAPH Computer Graphics
A display and analysis tool for process-resource graphs
ACM SIGOPS Operating Systems Review
Dynamic retrieval of remote digital objects
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
ParFiSys: a parallel file system for MPP
ACM SIGOPS Operating Systems Review
ACM Computing Surveys (CSUR)
Operating system support for persistent and recoverable computations
Communications of the ACM
A hypermedia lab manual for operating systems: using the network to teach
ITiCSE '96 Proceedings of the 1st conference on Integrating technology into computer science education
Distributed processing of time-constrained queries in CASE-DB
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
Value-density algorithms for the deliberation-scheduling problem
ACM SIGART Bulletin
Decentralized routing algorithms for automated guided vehicles
ACM SIGICE Bulletin
Load distribution and balancing support in a workstation-based distributed system
ACM SIGOPS Operating Systems Review
Software methodologies for VHDL code static analysis based on flow graphs
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Iterative transmission of media streams
MULTIMEDIA '97 Proceedings of the fifth ACM international conference on Multimedia
Challenger: a multi-agent system for distributed resource allocation
AGENTS '97 Proceedings of the first international conference on Autonomous agents
System calls and interrupt vectors in an operating systems course
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
Visualizing UNIX synchronization operations
ACM SIGOPS Operating Systems Review
Empirical exploration in undergraduate operating systems
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Linux as a case study: its extracted software architecture
Proceedings of the 21st international conference on Software engineering
SODA '93 Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms
Empirical investigation of the Markov reference model
Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms
What future for the distributed systems annex?
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
Decentralized routing algorithms for automated guided vehicles
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Experimentation with bounded buffer synchronization
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
The wonders of Java object serialization
Crossroads - Special issue on Java
A fully associative software-managed cache design
Proceedings of the 27th annual international symposium on Computer architecture
Kernel Korner: The Linux Process Model
Linux Journal
Enabling scalable online personalization on the Web
Proceedings of the 2nd ACM conference on Electronic commerce
The universe model: an approach for improving the modularity and reliability of concurrent programs
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Starving philosophers: experimentation with monitor synchronization
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
ACM Computing Surveys (CSUR)
The state of the art in distributed query processing
ACM Computing Surveys (CSUR)
Freenet: a distributed anonymous information storage and retrieval system
International workshop on Designing privacy enhancing technologies: design issues in anonymity and unobservability
An open source laboratory for operating systems projects
Proceedings of the 6th annual conference on Innovation and technology in computer science education
Analysis of SRPT scheduling: investigating unfairness
Proceedings of the 2001 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Non-clairvoyant scheduling to minimize the average flow time on single and parallel machines
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
ICHU model for processor allocation in distributed operating systems
ACM SIGOPS Operating Systems Review
Automatic synthesis of deadlock free connectors for COM/DCOM applications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Lookahead Scheduling Requests for Multisize Page Caching
IEEE Transactions on Computers
An agreement centric access control mechanism for business to business e-commerce
Proceedings of the 2002 ACM symposium on Applied computing
On paging with locality of reference
STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing
What comes after CS 1 + 2: a deep breadth before specializing
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Requirements analysis using forward and backward search
Annals of Software Engineering
Multimedia Tools and Applications
A Review and Analysis of Commercial User Modeling Servers for Personalization on the World Wide Web
User Modeling and User-Adapted Interaction
Fault-Tolerant File-I/O for Portable Checkpointing Systems
The Journal of Supercomputing - Special issue on embedded fault-tolerance systems
Asymptotic convergence of scheduling policies with respect to slowdown
Performance Evaluation
Distributed Computing: New Power for Scientific Visualization
IEEE Computer Graphics and Applications
Resource Scheduling In A High-Performance Multimedia Server
IEEE Transactions on Knowledge and Data Engineering
Locating Mobile Agents in a Wide Distributed Environment
IEEE Transactions on Parallel and Distributed Systems
Note: an efficient distributed token-based mutual exclusion algorithm with central coordinator
Journal of Parallel and Distributed Computing
The group approach in cooperative work and in load balancing
Progress in computer research
A Scheduling Model for Grid Computing Systems
GRID '01 Proceedings of the Second International Workshop on Grid Computing
Concurrent Updates on Striped Data Streams in Clustered Server Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Semiformal Correctness Proof of a Network Broadcast Algorithm
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Personal Assistant for Web Database Caching
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
The Fast Bully Algorithm: For Electing a Coordinator Process in Distributed Systems
ICOIN '02 Revised Papers from the International Conference on Information Networking, Wireless Communications Technologies and Network Applications-Part II
SRPT Scheduling for Web Servers
JSSPP '01 Revised Papers from the 7th International Workshop on Job Scheduling Strategies for Parallel Processing
Distributed Deadlock Detection in Mobile Agent Systems
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
The Multi-Queue Replacement Algorithm for Second Level Buffer Caches
Proceedings of the General Track: 2002 USENIX Annual Technical Conference
A Scalable and Secure Global Tracking Service for Mobile Agents
MA '01 Proceedings of the 5th International Conference on Mobile Agents
Tutorial: Compiling concurrent languages for sequential processors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Code Placement and Replacement Strategies for Wideband CDMA OVSF Code Tree Management
IEEE Transactions on Mobile Computing
An architecture to support scalable online personalization on the Web
The VLDB Journal — The International Journal on Very Large Data Bases
Distributed multiprocessor environments
Journal of Computing Sciences in Colleges
Fairness and efficiency in web server protocols
SIGMETRICS '03 Proceedings of the 2003 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Classifying scheduling policies with respect to unfairness in an M/GI/1
SIGMETRICS '03 Proceedings of the 2003 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Design and implementation of a trader-based resource management system
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
A Process Migration Subsystem for a Workstation-Based Distributed Systems
HPDC '96 Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing
Trojan: A High-Performance Simulator for Shared Memory Architectures
SS '96 Proceedings of the 29th Annual Simulation Symposium (SS '96)
Priority Round-Robin Scheduling for Very Large Virtual Environments
VR '00 Proceedings of the IEEE Virtual Reality 2000 Conference
Memory resource management in VMware ESX server
ACM SIGOPS Operating Systems Review - OSDI '02: Proceedings of the 5th symposium on Operating systems design and implementation
Hoppix-an implementation of a Unix server on a persistent operating system
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
Deadlock-free software architectures for COM/DCOM applications
Journal of Systems and Software - Special issue on: Component-based software engineering
RAD: A Compile-Time Solution to Buffer Overflow Attacks
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Caching and Scheduling for Broadcast Disk Systems
Journal of Experimental Algorithmics (JEA)
Combining state and model-based approaches for mobile agent load balancing
Proceedings of the 2003 ACM symposium on Applied computing
Content Cruising System under Sparse Movements of Nodes
SAINT-W '04 Proceedings of the 2004 Symposium on Applications and the Internet-Workshops (SAINT 2004 Workshops)
An Experimental, Pluggable Infrastructure for Modular Configuration Management Policy Composition
Proceedings of the 26th International Conference on Software Engineering
Nonclairvoyant scheduling to minimize the total flow time on single and parallel machines
Journal of the ACM (JACM)
Dynamic tracking of page miss ratio curve for memory management
ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems
Advancing learning goals: Linda arouses a sleeping barber
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
The classification of deadlock prevention and avoidance is erroneous
ACM SIGOPS Operating Systems Review
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
A framework for the assessment of operating systems for small computers
ACM SIGICE Bulletin
Memory resource management in VMware ESX server
OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
Classifying scheduling policies with respect to higher moments of conditional response time
SIGMETRICS '05 Proceedings of the 2005 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Input-output control system (IOCS)
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Groups Partitioning Over CORBA for Cooperative Work
Cluster Computing
Towards scalable and simple software-DSM systems
Proceedings of the twentieth ACM symposium on Operating systems principles
Applying stochastic modeling to bus arbitration for systems-on-chip
Integration, the VLSI Journal
A comparison of interactivity in the Linux 2.6 scheduler and an MLFQ scheduler
Software—Practice & Experience
ACM SIGMETRICS Performance Evaluation Review
An overview of the NetWare operating system
WTEC'94 Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference
Software prefetching and caching for translation lookaside buffers
OSDI '94 Proceedings of the 1st USENIX conference on Operating Systems Design and Implementation
FLIPC: a low latency messaging system for distributed real time environments
ATEC '96 Proceedings of the 1996 annual conference on USENIX Annual Technical Conference
An integrated approach to teaching computer systems architecture
WCAE '07 Proceedings of the 2007 workshop on Computer architecture education
Out-of-core and compressed level set methods
ACM Transactions on Graphics (TOG)
Deep classifier: automatically categorizing search results into large-scale hierarchies
WSDM '08 Proceedings of the 2008 International Conference on Web Search and Data Mining
Distributed shared memory for object allocation in DCS
International Journal of Information Technology and Management
An environment for the rapid development of embedded file systems
Proceedings of the 2008 ACM symposium on Applied computing
Distribution of distinguishable objects to bins: generating all distributions
International Journal of Computer Mathematics
LeakSurvivor: towards safely tolerating memory leaks for garbage-collected languages
ATC'08 USENIX 2008 Annual Technical Conference on Annual Technical Conference
An e-contracting reference architecture
Journal of Systems and Software
Resource Management through Resource Virtualization in Distributed Network Environments
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
A dynamic-balanced scheduler for genetic algorithms for grid computing
WSEAS Transactions on Computers
Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation
Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation
Estimation of efficiency of multimedia system
ECC'09 Proceedings of the 3rd international conference on European computing conference
Partitioning and scheduling of task graphs on partially dynamically reconfigurable FPGAs
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Mobile agent systems and cellular automata
Autonomous Agents and Multi-Agent Systems
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
Rapid development of network software via SDL/socket interfaces
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
XACML policies for exclusive resource usage
Proceedings of the 21st annual IFIP WG 11.3 working conference on Data and applications security
Active learning of plans for safety and reachability goals with partial observability
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Satori: enlightened page sharing
USENIX'09 Proceedings of the 2009 conference on USENIX Annual technical conference
A Fully Distributed Lagrangean Solution for a Peer-to-Peer Overlay Network Design Problem
INFORMS Journal on Computing
Evaluation of the acknowledgment reduction in a Software-DSM system
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part I
BW-DCache: an inexpensive, effective and reliable cache solution in a SAN file system
HPCS'09 Proceedings of the 23rd international conference on High Performance Computing Systems and Applications
Parallel and distributed components with java
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
Model checking distributed systems by combining caching and process checkpointing
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Research: Analysis of a time-limited polling system
Computer Communications
Efficient fault-tolerant reliable broadcast in a multi-switch extended LAN
Computer Communications
A simulation framework for scheduling performance evaluation on CPU-GPU heterogeneous system
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
Generalized Mutual Exclusion with Semaphores Only
Fundamenta Informaticae
Static analysis of concurrent programs by adapted vector clock
Proceedings of the International C* Conference on Computer Science and Software Engineering
Hi-index | 0.02 |