No abstract available.
Cited By
- Tuli S, Casale G and Jennings N (2023). DRAGON: Decentralized Fault Tolerance in Edge Federations, IEEE Transactions on Network and Service Management, 20:1, (276-291), Online publication date: 1-Mar-2023.
- Fedorov V, Kim J, Qin M, Gratz P and Reddy A Speculative paging for future NVM storage Proceedings of the International Symposium on Memory Systems, (399-410)
- Kim D and Bahn H (2017). Exploiting write-only-once characteristics of file data in smartphone buffer cache management, Pervasive and Mobile Computing, 40:C, (528-540), Online publication date: 1-Sep-2017.
- Soriano-Salvador E, Muzquiz G and Ballesteros F (2015). Optimistic semaphores with non-deterministic choice operation for heterogeneous manycore systems, Concurrency and Computation: Practice & Experience, 27:14, (3676-3701), Online publication date: 25-Sep-2015.
- Melletti M, Goldweber M and Davoli R The JaeOS Project and the μARM Emulator Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, (3-8)
- Boudreau K (2012). Let a Thousand Flowers Bloom? An Early Look at Large Numbers of Software App Developers and Patterns of Innovation, Organization Science, 23:5, (1409-1427), Online publication date: 1-Sep-2012.
- Lo C, Qian K and Zhang Y Teaching operating systems with simple low-cost portable energy efficient devices Proceedings of the 49th annual ACM Southeast Conference, (25-30)
- Chen J, Tsai L, Hung W and Liu J Zinix - A Function-Modularized Kernel for Multiprocessor Embedded Systems Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing, (937-942)
- Boyd-Wickizer S and Zeldovich N Tolerating malicious device drivers in Linux Proceedings of the 2010 USENIX conference on USENIX annual technical conference, (9-9)
- Stollenwerk A, Jongdee C and Kowalewski S An undergraduate embedded software laboratory for the masses Proceedings of the 2009 Workshop on Embedded Systems Education, (34-41)
- Li D and Anand M MaJaB Proceedings of the 7th international conference on Mobile systems, applications, and services, (95-108)
- Black M (2009). Build an operating system from scratch, ACM SIGCSE Bulletin, 41:1, (448-452), Online publication date: 4-Mar-2009.
- Black M Build an operating system from scratch Proceedings of the 40th ACM technical symposium on Computer science education, (448-452)
- Hamberg R and Vaandrager F (2008). Using model checkers in an introductory course on operating systems, ACM SIGOPS Operating Systems Review, 42:6, (101-111), Online publication date: 1-Oct-2008.
- Babka V, Bulej L, Decky M, Holub V and Tuma P Teaching operating systems Proceedings of the 2008 international workshop on Software Engineering in east and south europe, (71-78)
- Du W and Wang R (2008). SEED, Journal on Educational Resources in Computing (JERIC), 8:1, (1-24), Online publication date: 1-Mar-2008.
- Sheehan R (2007). Teaching operating systems with ruby, ACM SIGCSE Bulletin, 39:3, (38-42), Online publication date: 25-Jun-2007.
- Sheehan R Teaching operating systems with ruby Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education, (38-42)
- Liu H, Chen X and Gong Y (2007). BabyOS, ACM SIGCSE Bulletin, 39:1, (566-570), Online publication date: 7-Mar-2007.
- Du W, Teng Z and Wang R (2007). SEED, ACM SIGCSE Bulletin, 39:1, (486-490), Online publication date: 7-Mar-2007.
- Liu H, Chen X and Gong Y BabyOS Proceedings of the 38th SIGCSE technical symposium on Computer science education, (566-570)
- Du W, Teng Z and Wang R SEED Proceedings of the 38th SIGCSE technical symposium on Computer science education, (486-490)
- Jambor M, Hruby T, Taus J, Krchak K and Holub V (2007). Implementation of a Linux log-structured file system with a garbage collector, ACM SIGOPS Operating Systems Review, 41:1, (24-32), Online publication date: 1-Jan-2007.
- Chu Y, Su H, Lin P and Chen M IC design of IPv6 routing lookup for high speed networks Proceedings of the 6th international conference on Computational Science - Volume Part IV, (184-187)
- Bayat P, Bordbar M and Challenger M A simulation for distributed systems Proceedings of the 17th IASTED international conference on Modelling and simulation, (334-337)
- Tan P, Jin H and Zhang M Two-dimensional priority scheduling scheme for open real-time systems Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV, (529-538)
- DeRosa P, Shen K, Stewart C and Pearson J (2006). Realism and simplicity, ACM SIGCSE Bulletin, 38:1, (308-312), Online publication date: 31-Mar-2006.
- DeRosa P, Shen K, Stewart C and Pearson J Realism and simplicity Proceedings of the 37th SIGCSE technical symposium on Computer science education, (308-312)
- Anderson C and Nguyen M (2005). A survey of contemporary instructional operating systems for use in undergraduate courses, Journal of Computing Sciences in Colleges, 21:1, (183-190), Online publication date: 1-Oct-2005.
- Maia L, Machado F and Pacheco A (2005). A constructivist framework for operating systems education, ACM SIGCSE Bulletin, 37:3, (218-222), Online publication date: 1-Sep-2005.
- Goldweber M, Davoli R and Morsiani M (2005). The Kaya OS project and the μMPS hardware emulator, ACM SIGCSE Bulletin, 37:3, (49-53), Online publication date: 1-Sep-2005.
- Vreeswijk G Liberalizing protocols for argumentation in multi-agent systems Proceedings of the Second international conference on Argumentation in Multi-Agent Systems, (182-198)
- Maia L, Machado F and Pacheco A A constructivist framework for operating systems education Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education, (218-222)
- Goldweber M, Davoli R and Morsiani M The Kaya OS project and the μMPS hardware emulator Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education, (49-53)
- England R (2005). Teaching concepts of virtual memory with the Moses2 microcomputer operating system environment simulator, Journal of Computing Sciences in Colleges, 20:6, (84-91), Online publication date: 1-Jun-2005.
- Popa L, Raiciu C, Teodorescu R, Athanasiu I and Pandey R Using code collection to support large applications on mobile devices Proceedings of the 10th annual international conference on Mobile computing and networking, (16-29)
- Davoli R (2004). Teaching operating systems administration with user mode linux, ACM SIGCSE Bulletin, 36:3, (112-116), Online publication date: 1-Sep-2004.
- Davoli R Teaching operating systems administration with user mode linux Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education, (112-116)
- Chan T (2004). A software tool in Java for teaching CPU scheduling, Journal of Computing Sciences in Colleges, 19:4, (257-263), Online publication date: 1-Apr-2004.
- Bansal S and Modha D CAR Proceedings of the 3rd USENIX conference on File and storage technologies, (14-14)
- Bansal S and Modha D CAR: Clock with Adaptive Replacement Proceedings of the 3rd USENIX Conference on File and Storage Technologies, (187-200)
- Hovemeyer D, Hollingsworth J and Bhattacharjee B Running on the bare metal with GeekOS Proceedings of the 35th SIGCSE technical symposium on Computer science education, (315-319)
- Hovemeyer D, Hollingsworth J and Bhattacharjee B (2004). Running on the bare metal with GeekOS, ACM SIGCSE Bulletin, 36:1, (315-319), Online publication date: 1-Mar-2004.
- Parnis J and Lee G Exploiting FPGA concurrency to enhance JVM performance Proceedings of the 27th Australasian conference on Computer science - Volume 26, (223-232)
- Swart G MinSQL Proceedings of the 2nd international conference on Principles and practice of programming in Java, (129-132)
- Broder A, Najork M and Wiener J Efficient URL caching for world wide web crawling Proceedings of the 12th international conference on World Wide Web, (679-689)
- Bryan G Time slice Encyclopedia of Computer Science, (1782-1783)
- Baer J Mutual exclusion Encyclopedia of Computer Science, (1215-1216)
- Levine G (2003). Defining deadlock, ACM SIGOPS Operating Systems Review, 37:1, (54-64), Online publication date: 1-Jan-2003.
- Momtchev M and Marquet P An Asymmetric Real-Time Scheduling for Linux Proceedings of the 16th International Parallel and Distributed Processing Symposium
- Strite D and Null L (2002). BACI debugger, Journal of Computing Sciences in Colleges, 17:4, (112-122), Online publication date: 1-Mar-2002.
- Atkin B and Sirer E (2002). PortOS, ACM SIGCSE Bulletin, 34:1, (116-120), Online publication date: 1-Mar-2002.
- Holland D, Lim A and Seltzer M (2002). A new instructional operating system, ACM SIGCSE Bulletin, 34:1, (111-115), Online publication date: 1-Mar-2002.
- Atkin B and Sirer E PortOS Proceedings of the 33rd SIGCSE technical symposium on Computer science education, (116-120)
- Holland D, Lim A and Seltzer M A new instructional operating system Proceedings of the 33rd SIGCSE technical symposium on Computer science education, (111-115)
- Ronsse M and De Bosschere K (2019). Non-Intrusive Detection of Synchronization Errors Using Execution Replay, Automated Software Engineering, 9:1, (95-121), Online publication date: 1-Jan-2002.
- England R (2001). The virtual machine and user process model used inmoses2, Journal of Computing Sciences in Colleges, 17:2, (301-309), Online publication date: 1-Dec-2001.
- Maletic J and Marcus A Supporting program comprehension using semantic and structural information Proceedings of the 23rd International Conference on Software Engineering, (103-112)
- Nicholas T and Barchanski J (2001). TOS, ACM SIGCSE Bulletin, 33:1, (312-316), Online publication date: 1-Mar-2001.
- Nicholas T and Barchanski J TOS Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education, (312-316)
- Processors for Mobile Applications Proceedings of the 2000 IEEE International Conference on Computer Design: VLSI in Computers & Processors
- Dickinson J Operating systems projects built on a simple hardware simulator Proceedings of the thirty-first SIGCSE technical symposium on Computer science education, (320-324)
- Dickinson J (2000). Operating systems projects built on a simple hardware simulator, ACM SIGCSE Bulletin, 32:1, (320-324), Online publication date: 1-Mar-2000.
- Nicholas T and Barchanski J (2000). Overview of TOS, ACM SIGOPS Operating Systems Review, 34:1, (2-10), Online publication date: 1-Jan-2000.
- Tran J and Holt R Forward and reverse repair of software architecture Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
- Guarraci B Using polymorphism to create complex agents Proceedings of the third annual conference on Autonomous Agents, (354-355)
- Khuri S and Hsu H Visualizing the CPU scheduler and page replacement algorithms The proceedings of the thirtieth SIGCSE technical symposium on Computer science education, (227-231)
- Khuri S and Hsu H (1999). Visualizing the CPU scheduler and page replacement algorithms, ACM SIGCSE Bulletin, 31:1, (227-231), Online publication date: 1-Mar-1999.
- Hartley S (1998). “Alfonse, your Java is ready!”, ACM SIGCSE Bulletin, 30:1, (247-251), Online publication date: 1-Mar-1998.
- Hartley S “Alfonse, your Java is ready!” Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, (247-251)
Index Terms
- Operating systems (2nd ed.): design and implementation
Recommendations
A RFID Specific Participatory Design Approach to Support Design and Implementation of Real-Time Location Systems in the Operating Room
Information technology, such as real-time location (RTL) systems using Radio Frequency IDentification (RFID) may contribute to overcome patient safety issues and high costs in healthcare. The aim of this work is to study if a RFID specific Participatory ...
Deciding Substitutability of Services with Operating Guidelines
Transactions on Petri Nets and Other Models of Concurrency IIDeciding whether a service <em>S</em> can be substituted by another service <em>S</em> *** is an important problem in practice and one of the research challenges in service-oriented computing. In this paper, we define three substitutability notions for ...
Financial Security of Enterprises Under Uncertain Operating Environment
KAM '11: Proceedings of the 2011 Fourth International Symposium on Knowledge Acquisition and ModelingIn the process of one enterprise's operation, it may face variable situations, including good things and bad things. The combination of all situations is called operating environment. This is just the focus of this paper: how does the operating ...