The well-tempered semaphore: theme with variations
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Facilities for parallelism: what should be in a parallel library
ACM SIGPLAN Notices
An Asymmetric Real-Time Scheduling for Linux
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Parallel Rewriting P Systems with Deadlock
DNA8 Revised Papers from the 8th International Workshop on DNA Based Computers: DNA Computing
Journal of Computing Sciences in Colleges
ACM SIGOPS Operating Systems Review
ThreadMentor: a pedagogical tool for multithreaded programming
Journal on Educational Resources in Computing (JERIC)
A disk head scheduling simulator
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Teaching operating system at the technical university-Sofia
CompSysTech '03 Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning
A Pattern-Based Framework for Software Anomaly Detection
Software Quality Control
CITC5 '04 Proceedings of the 5th conference on Information technology education
Strategies for document optimization in digital publishing
Proceedings of the 2004 ACM symposium on Document engineering
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
CAMERA: introducing memory concepts via visualization
Proceedings of the 36th SIGCSE technical symposium on Computer science education
An address translation simulator
Proceedings of the 36th SIGCSE technical symposium on Computer science education
A software tool in Java for teaching CPU scheduling
Journal of Computing Sciences in Colleges
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Papers - Volume 01
Concept and prototype of a collaborative business process environment for document processing
Data & Knowledge Engineering - Special issue: Collaborative business process technologies
Seamless Hardware-Software Integration in Reconfigurable Computing Systems
IEEE Design & Test
Securing varieties of file systems
Proceedings of the 1st annual conference on Information security curriculum development
The Kaya OS project and the μMPS hardware emulator
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Journal of Parallel and Distributed Computing
Deploying interactive e-labs for a course on operating systems
Proceedings of the 6th conference on Information technology education
The trouble with login: on usability and computer security in ubiquitous computing
Personal and Ubiquitous Computing
IEEE Transactions on Software Engineering
A UNIX concurrent I/O simulator
Proceedings of the 37th SIGCSE technical symposium on Computer science education
An evaluation of availability latency in carrier-based wehicular ad-hoc networks
MobiDE '06 Proceedings of the 5th ACM international workshop on Data engineering for wireless and mobile access
Performance evaluation of linux file systems for data warehousing workloads
InfoScale '06 Proceedings of the 1st international conference on Scalable information systems
Fractal: a mobile code-based framework for dynamic application protocol adaptation
Journal of Parallel and Distributed Computing - 19th International parallel and distributed processing symposium
High speed routers design using reconfigurable technology
MS'06 Proceedings of the 17th IASTED international conference on Modelling and simulation
Solving the starting problem: device drivers as self-describing artifacts
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Hands-on operating systems made easy
Journal of Computing Sciences in Colleges
Addressing small computers in the first OS course
Journal on Educational Resources in Computing (JERIC)
High-speed routers design using data stream distributor unit
Journal of Network and Computer Applications - Special issue: Network and information security: A computational intelligence approach
Local and global deadlock-detection in component-based systems are NP-hard
Information Processing Letters
Choreography frameworks for business integration: Addressing heterogeneous semantics
Computers in Industry
Virtual I/O scheduler: a scheduler of schedulers for performance virtualization
Proceedings of the 3rd international conference on Virtual execution environments
An Integrated Approach to Quality Modelling
WoSQ '07 Proceedings of the 5th International Workshop on Software Quality
A secure information service for monitoring large scale grids
Parallel Computing
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
ReDAL: An Efficient and Practical Request Distribution Technique for Application Server Clusters
IEEE Transactions on Parallel and Distributed Systems
Failure Detection in Large-Scale Internet Services by Principal Subspace Mapping
IEEE Transactions on Knowledge and Data Engineering
Simulation of dynamic priority calculation for multilevel priority queue
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
DNCOCO'07 Proceedings of the 9th WSEAS International Conference on Data Networks, Communications, Computers
A strategy for memory traffic management of bitmap fonts for text visualization in mobile devices
Proceedings of the 2008 ACM symposium on Applied computing
QoS control based on query response time prediction
ICCOMP'05 Proceedings of the 9th WSEAS International Conference on Computers
An approach for continuous inspection of source code
Proceedings of the 6th international workshop on Software quality
Social aspects of a continuous inspection platform for software source code
Proceedings of the 2008 international workshop on Cooperative and human aspects of software engineering
A library for light-weight information-flow security in haskell
Proceedings of the first ACM SIGPLAN symposium on Haskell
A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Performance Test Design Process and Its Implementation Patterns for Multi-services Systems
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
A three pronged approach to teaching undergraduate operating systems
ACM SIGOPS Operating Systems Review
International Journal of Internet Protocol Technology
Multiword atomic read/write registers on multiprocessor systems
Journal of Experimental Algorithmics (JEA)
Adaptive disk scheduling with workload-dependent anticipation intervals
Journal of Systems and Software
Predictive Runtime Code Scheduling for Heterogeneous Architectures
HiPEAC '09 Proceedings of the 4th International Conference on High Performance Embedded Architectures and Compilers
Build an operating system from scratch: a project for an introductory operating systems course
Proceedings of the 40th ACM technical symposium on Computer science education
WormBench: a configurable workload for evaluating transactional memory systems
Proceedings of the 9th workshop on MEmory performance: DEaling with Applications, systems and architecture
Generating all distributions of objects to bins
International Journal of Computer Mathematics
A framework for text visualization using memory traffic management for mobile devices
Proceedings of the 2009 ACM symposium on Applied Computing
Teaching page replacement algorithms with a Java-based VM simulator
Proceedings of the 14th Western Canadian Conference on Computing Education
Tracing interrupts in embedded software
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
System proposal for preventing, detecting and avoiding deadlocks in modern operating system
EC'09 Proceedings of the 10th WSEAS international conference on evolutionary computing
On Probing and Multi-Threading in PLATYPUS
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Rappel: Exploiting interest and network locality to improve fairness in publish-subscribe systems
Computer Networks: The International Journal of Computer and Telecommunications Networking
A Translator of Java Programs to TADDs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Anytime classification for a pool of instances
Machine Learning
Improved online algorithms for the sorting buffer problem on line metrics
ACM Transactions on Algorithms (TALG)
Validate, simulate, and implement ARINC653 systems using the AADL
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
Service-oriented operating systems: future workspaces
IEEE Wireless Communications - Special issue title on applications and support technical for mobility and enterprise services
Formal specification of bounded buffer using stream functions
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
Deadlock detection in automata arrays
MIC '07 Proceedings of the 26th IASTED International Conference on Modelling, Identification, and Control
Hardware-based synchronization support for shared accesses in multicore architectures
ACST '08 Proceedings of the Fourth IASTED International Conference on Advances in Computer Science and Technology
Fault-tolerant communication over micronmesh NOC with micron message-passing protocol
SOC'09 Proceedings of the 11th international conference on System-on-chip
Reasoning with geometric information in digital space
Knowledge-Based Systems
Discovering multitasking behavior at work: a context-based ontology
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
Improved online algorithms for the sorting buffer problem
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Self-aware memory: managing distributed memory in an autonomous multi-master environment
ARCS'08 Proceedings of the 21st international conference on Architecture of computing systems
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
Ensuring properties of interaction systems
Program analysis and compilation, theory and practice
The stateful cluster security gateway (CSG) architecture for robust switched Linux cluster security
AISC '09 Proceedings of the Seventh Australasian Conference on Information Security - Volume 98
Collaborative threads: exposing and leveraging dynamic thread state for efficient computation
HotPar'10 Proceedings of the 2nd USENIX conference on Hot topics in parallelism
Hardware design of a new genetic based disk scheduling method
Real-Time Systems
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Short-term memory for self-collecting mutators
Proceedings of the international symposium on Memory management
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Reconfigurable interconnects in DSM systems: a focus on context switch behavior
ISPA'06 Proceedings of the 2006 international conference on Frontiers of High Performance Computing and Networking
Formal verification of programs that use MPI one-sided communication
EuroPVM/MPI'06 Proceedings of the 13th European PVM/MPI User's Group conference on Recent advances in parallel virtual machine and message passing interface
Goal representation for BDI agent systems
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Embedded operating system design: the resolved and intelligent Daemon approach
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
A novel object pool service for distributed systems
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
Enabling mobile peer-to-peer networking
NGI'04 Proceedings of the First international conference on Wireless Systems and Mobility in Next Generation Internet
A process schedule analyzing model based on grid environment
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
Thirty years of server technology — from transaction processing to web services
Data Management in a Connected World
Supporting operating systems projects using the μMPS2 hardware simulator
Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education
Virtual computing: the emperor's new clothes?
Software Service and Application Engineering
A Translator of Java Programs to TADDs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Tracing and recording interrupts in embedded software
Journal of Systems Architecture: the EUROMICRO Journal
An approach for indexing file names in a directory
Proceedings of the 13th International Conference on Computer Systems and Technologies
Runtime system for parallel execution of fragmented subroutines
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
A novel scheduling model for computational grid using quantum genetic algorithm
The Journal of Supercomputing
Hi-index | 0.00 |
From the Publisher:FEATURES\ NEWNew chapters on computer security, multimedia operating systems, and multiple processor systems. NEWExtensive coverage of Linux, UNIX®, and Windows 2000 as examples. NEWNow includes coverage of graphical user interfaces, multiprocessor operating systems, trusted systems, viruses, network terminals, CD-ROM file systems, power management on laptops, RAID, soft timers, stable storage, fair-share scheduling, three-level scheduling, and new paging algorithms. NEWMost chapters have a new section on current research on the chapter's topic. NEWFocus on single-processor computer systems; a new book for a follow-up course on distributed systems is also available from Prentice Hall. NEWOver 200 references to books and papers published since the first edition. NEWThe Web site for this book contains PowerPoint slides, simulators, figures in various formats, and other teaching aids.