Tools for teaching CCRs, monitors, and CSP concurrent programming concepts
ACM SIGCSE Bulletin
Empirical exploration in undergraduate operating systems
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Performance and Stability Analysis of Multilevel Data Structures with Deferred Reorganization
IEEE Transactions on Software Engineering
An architecture for easy Web page updating
Crossroads - Special issue on markup languages
Memory-efficient state lookups with fast updates
Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
A real bottom-up operating systems course
ACM SIGOPS Operating Systems Review
The design, implementation and initial evaluation of an advanced knowledge-based process scheduler
ACM SIGOPS Operating Systems Review
PortOS: an educational operating system for the Post-PC environment
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Dynamic Cluster Resource Allocations for Jobs with Known and Unknown Memory Demands
IEEE Transactions on Parallel and Distributed Systems
Interactive sculpturing and visualization of unbounded voxel volumes
Proceedings of the seventh ACM symposium on Solid modeling and applications
EW 9 Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
Conflict resolution for readers and writers
ACM SIGAda Ada Letters
Teaching computer concepts using virtual machines
ACM SIGCSE Bulletin
Efficient randomized web-cache replacement schemes using samples from past eviction times
IEEE/ACM Transactions on Networking (TON)
A Middleware Infrastructure for Active Spaces
IEEE Pervasive Computing
An Approach to Mobile Software Robots for the WWW
IEEE Transactions on Knowledge and Data Engineering
The Performance Impact of Advance Reservation Meta-scheduling
IPDPS '00/JSSPP '00 Proceedings of the Workshop on Job Scheduling Strategies for Parallel Processing
Non-clairvoyant Scheduling for Minimizing Mean Slowdown
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Hardware Migratable Channels (Research Note)
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
Virtual-Time Round-Robin: An O(1) Proportional Share Scheduler
Proceedings of the General Track: 2002 USENIX Annual Technical Conference
Bunches for Object-Oriented, Concurrent, and Real-Time Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
ESA '99 Proceedings of the 7th Annual European Symposium on Algorithms
The NAVL Distributed Virtual Reality System
AMCP '98 Proceedings of the First International Conference on Advanced Multimedia Content Processing
A portable thread API for teaching operating systems
Journal of Computing Sciences in Colleges
Journal of Computing Sciences in Colleges
BACI debugger: a GUI debugger for the BACI system
Journal of Computing Sciences in Colleges
An experience teaching operating systems course with a programming project
Journal of Computing Sciences in Colleges
A survey of permission-based distributed mutual exclusion algorithms
Computer Standards & Interfaces
Minimizing flow time nonclairvoyantly
Journal of the ACM (JACM)
Policies in Accountable Contracts
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
IEEE Transactions on Parallel and Distributed Systems
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
Journal of Functional Programming
Ambient intelligence and the development of embedded system software
Ambient intelligence
GEMA: An Object Replacement Algorithm for Cooperative Web Proxy Systems
Multimedia Tools and Applications
Modeling correlations in web traces and implications for designing replacement policies
Computer Networks: The International Journal of Computer and Telecommunications Networking
Managing a Reconfigurable Processor in a General Purpose Workstation Environment
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
IEEE Transactions on Mobile Computing
A simple real time executive tinyexec as a teaching tool in an operating system class
Journal of Computing Sciences in Colleges
CAR: Clock with Adaptive Replacement
FAST '04 Proceedings of the 3rd USENIX Conference on File and Storage Technologies
Comparative Analysis of XML Compression Technologies
World Wide Web
The effectiveness of animations in an undergraduate operating systems course
Journal of Computing Sciences in Colleges
Architectural support for operating system-driven CMP cache management
Proceedings of the 15th international conference on Parallel architectures and compilation techniques
Proceedings of the 2006 annual ACM SIGAda international conference on Ada
A streaming narrow-band algorithm: interactive computation and visualization of level sets
SIGGRAPH '05 ACM SIGGRAPH 2005 Courses
Task assignment with work-conserving migration
Parallel Computing
SARC: sequential prefetching in adaptive replacement cache
ATEC '05 Proceedings of the annual conference on USENIX Annual Technical Conference
OSDI '06 Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation - Volume 7
A Living System Must Have Noncomputable Models
Artificial Life
Virtual machines as an aid in teaching computer concepts
WCAE '00 Proceedings of the 2000 workshop on Computer architecture education
OSDI '06 Proceedings of the 7th symposium on Operating systems design and implementation
Lock-free deques and doubly linked lists
Journal of Parallel and Distributed Computing
ACM Transactions on Computer Systems (TOCS)
Improved algorithms for feedback vertex set problems
Journal of Computer and System Sciences
Using model checkers in an introductory course on operating systems
ACM SIGOPS Operating Systems Review
Virtualized recomposition: Cloudy or clear?
CLOUD '09 Proceedings of the 2009 ICSE Workshop on Software Engineering Challenges of Cloud Computing
Runtime Verification of Concurrent Haskell Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
A novel memory management scheme for residential gateways
Information Systems Frontiers
COCOON'99 Proceedings of the 5th annual international conference on Computing and combinatorics
Server Scheduling to Balance Priorities, Fairness, and Average Quality of Service
SIAM Journal on Computing
CAR: clock with adaptive replacement
FAST'04 Proceedings of the 3rd USENIX conference on File and storage technologies
Lock-free and practical doubly linked list-based deques using single-word compare-and-swap
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
An efficient phantom protection method for multi-dimensional index structures
DASFAA'05 Proceedings of the 10th international conference on Database Systems for Advanced Applications
Design of a high speed logic engine for distributed decision support systems
Intelligent Decision Technologies
Hi-index | 0.00 |
From the Publisher:This best-selling book, now in its fifth edition, provides a solid theoretical foundation for understanding operating systems. Authors Abraham Silberschatz and Peter Galvin discuss key concepts that are applicable to a variety of systems. They also present a large number of examples taken from common operating systems, including WindowsNT and Solaris 2. This book teaches general principles in operating systems while giving the teacher and students the flexibility to choose the implementation system.