No abstract available.
Cited By
- Moseley B and Vardi S (2022). The efficiency-fairness balance of Round Robin scheduling, Operations Research Letters, 50:1, (20-27), Online publication date: 1-Jan-2022.
- Wang L, Zhen Z, Wo T, Jiang B, Sun H and Long X (2020). A Scalable Operating System Experiment Platform Supporting Learning Behavior Analysis, IEEE Transactions on Education, 63:3, (232-239), Online publication date: 1-Aug-2020.
- Chari G, Pimás J, Vitek J and Flückiger O (2020). Self-contained development environments, ACM SIGPLAN Notices, 53:8, (76-87), Online publication date: 6-Apr-2020.
- Zhou Q and Ye F APEX Proceedings of the International Conference on Internet of Things Design and Implementation, (25-36)
- Vrancken K, Piessens F and Strackx R Securely deploying distributed computation systems on peer-to-peer networks Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, (328-337)
- Lee M, Kang D and Eom Y (2018). M-CLOCK, ACM Transactions on Storage, 14:3, (1-17), Online publication date: 26-Nov-2018.
- Ji X, Le Guernic G, Cuppens-Boulahia N and Cuppens F USB Packets Filtering Policies and an Associated Low-Cost Simulation Framework Information and Communications Security, (732-742)
- Chari G, Pimás J, Vitek J and Flückiger O Self-contained development environments Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, (76-87)
- Galankashi M, Fallahiarezoudar E, Moazzami A, Helmi S, Rohani J and Yusof N (2018). An efficient integrated simulation---Taguchi approach for sales rate evaluation of a petrol station, Neural Computing and Applications, 29:4, (1073-1085), Online publication date: 1-Feb-2018.
- (2017). Scheduling for efficiency and fairness in systems with redundancy, Performance Evaluation, 116:C, (1-25), Online publication date: 1-Nov-2017.
- Kurmas Z ICOS Proceedings of the 19th Workshop on Computer Architecture Education, (10-15)
- Patros P, MacKay S, Kent K and Dawson M Investigating resource interference and scaling on multitenant PaaS clouds Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, (166-177)
- Tanenbaum A (2016). Lessons learned from 30 years of MINIX, Communications of the ACM, 59:3, (70-78), Online publication date: 25-Feb-2016.
- Yıldırım A, Watson D, Tarboton D and Wallace R (2015). A virtual tile approach to raster-based calculations of large digital elevation models in a shared-memory system, Computers & Geosciences, 82:C, (78-88), Online publication date: 1-Sep-2015.
- Pham Q and Malik T GEN Proceedings of the 27th International Conference on Scientific and Statistical Database Management, (1-5)
- Lee M, Kang D, Kim J and Eom Y M-CLOCK Proceedings of the 30th Annual ACM Symposium on Applied Computing, (2001-2006)
- Gerofi B, Shimada A, Hori A and Ishikawa Y Partially separated page tables for efficient operating system assisted hierarchical memory management on heterogeneous architectures Proceedings of the 13th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, (360-368)
- Aycock J, de Castro D, Locasto M and Jarabek C Babel Proceedings of the 2012 ACM Workshop on Cloud computing security workshop, (43-54)
- Colange M, Hillah L, Kordon F and Parutto P Extreme symmetries in complex distributed systems Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management, (330-352)
- Ou Y, Härder T and Jin P CFDC Proceedings of the 14th east European conference on Advances in databases and information systems, (435-449)
- Ou Y, Härder T and Schall D Performance and power evaluation of flash-aware buffer algorithms Proceedings of the 21st international conference on Database and expert systems applications: Part I, (183-197)
- Ou Y and Härder T Clean first or dirty first? Proceedings of the Fourteenth International Database Engineering & Applications Symposium, (7-14)
- Ou Y and Härder T Issues of flash-aware buffer management for database systems Proceedings of the 27th British national conference on Data Security and Security Data, (127-130)
- Craig I and Börger E Synchronous message passing and semaphores Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z, (20-33)
- Reuter A (2008). Is there life outside transactions?, ACM SIGMOD Record, 37:2, (54-58), Online publication date: 1-Jun-2008.
- Spinellis D A tale of four kernels Proceedings of the 30th international conference on Software engineering, (381-390)
- Zhu Y and Jiang H (2008). RACE, IEEE Transactions on Computers, 57:1, (25-40), Online publication date: 1-Jan-2008.
- Korsholm S and Jean P The Java legacy interface Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, (187-195)
- Desai N, Lusk E and Bradshaw R (2007). A Composition Environment for MPI Programs, International Journal of High Performance Computing Applications, 21:2, (166-173), Online publication date: 1-May-2007.
- Desai N, Lusk E and Bradshaw R MPISH2 Proceedings of the 12th European PVM/MPI users' group conference on Recent Advances in Parallel Virtual Machine and Message Passing Interface, (333-342)
- Peterson Z and Burns R (2005). Ext3cow: a time-shifting file system for regulatory compliance, ACM Transactions on Storage, 1:2, (190-212), Online publication date: 1-May-2005.
- Attie P, Arora A and Emerson E (2004). Synthesis of fault-tolerant concurrent programs, ACM Transactions on Programming Languages and Systems, 26:1, (125-185), Online publication date: 1-Jan-2004.
- Surazhsky V and Gotsman C Explicit surface remeshing Proceedings of the 2003 Eurographics/ACM SIGGRAPH symposium on Geometry processing, (20-30)
- Bansal N and Pruhs K Server scheduling in the Lp norm Proceedings of the thirty-fifth annual ACM symposium on Theory of computing, (242-250)
- Corbató F Time sharing Encyclopedia of Computer Science, (1778-1782)
- Galler B Storage allocation Encyclopedia of Computer Science, (1689-1691)
- Tichy W Multitasking Encyclopedia of Computer Science, (1210-1211)
- Howatt J (2002). Operating systems projects, ACM SIGCSE Bulletin, 34:4, (109-111), Online publication date: 1-Dec-2002.
- Arlat J, Fabre J, Rodríguez M and Salles F (2002). Dependability of COTS Microkernel-Based Systems, IEEE Transactions on Computers, 51:2, (138-163), Online publication date: 1-Feb-2002.
- Ergun F, Sahinalp S, Sharp J and Sinha R Biased dictionaries with fast insert/deletes Proceedings of the thirty-third annual ACM symposium on Theory of computing, (483-491)
- Bovet D and Cesati M (2001). A real bottom-up operating systems course, ACM SIGOPS Operating Systems Review, 35:1, (48-60), Online publication date: 1-Jan-2001.
- Creak G and Sheehan R (2000). A top-down operating systems course, ACM SIGOPS Operating Systems Review, 34:3, (69-80), Online publication date: 1-Jul-2000.
- Smith D A flit level simulator for wormhole routing Proceedings of the 38th annual on Southeast regional conference, (109-116)
- Dimitrijević D (1999). A solution to mean delay in the ΣMc/Gck/1 cyclic priority queue with cycle (k) and class ( c) dependent feedback and service times, Operations Research Letters, 25:3, (137-145), Online publication date: 1-Oct-1999.
- Goldweber M, Barr J, Camp T, Grahm J and Hartley S A comparison of operating systems courseware The proceedings of the thirtieth SIGCSE technical symposium on Computer science education, (348-349)
- Ziegler U Discovery learning in introductory operating system courses The proceedings of the thirtieth SIGCSE technical symposium on Computer science education, (321-325)
- Goldweber M, Barr J, Camp T, Grahm J and Hartley S (1999). A comparison of operating systems courseware, ACM SIGCSE Bulletin, 31:1, (348-349), Online publication date: 1-Mar-1999.
- Ziegler U (1999). Discovery learning in introductory operating system courses, ACM SIGCSE Bulletin, 31:1, (321-325), Online publication date: 1-Mar-1999.
- Ford B, Hibler M, Lepreau J, McGrath R and Tullmann P Interface and execution models in the Fluke kernel Proceedings of the third symposium on Operating systems design and implementation, (101-115)
- Sharifi M and Karimi K (1999). DIPC: The Linux Way of Distributed Programming, Linux Journal, 1999:57es, (1-es), Online publication date: 1-Jan-1999.
- Matia F (1998). Kernel Corner Writing a Linux Driver, Linux Journal, 1998:48es, (22-es), Online publication date: 1-Apr-1998.
- Das Sharma D and Pradhan D (1998). Job Scheduling in Mesh Multicomputers, IEEE Transactions on Parallel and Distributed Systems, 9:1, (57-70), Online publication date: 1-Jan-1998.
- Van Engen A, Bradshaw M and Oostendorp N (1997). Extending Java to support shared resource protection and deadlock detection in threads programming, XRDS: Crossroads, The ACM Magazine for Students, 4:2, (9-17), Online publication date: 1-Nov-1997.
- Fritchie S The Cyclic News Filesystem: Getting INN To Do More With Less Proceedings of the 11th USENIX conference on System administration, (99-112)
- Ashton P (1997). Using interaction networks for visualisation of message passing, ACM SIGCSE Bulletin, 29:1, (272-276), Online publication date: 1-Mar-1997.
- Holliday M (1997). System calls and interrupt vectors in an operating systems course, ACM SIGCSE Bulletin, 29:1, (53-57), Online publication date: 1-Mar-1997.
- Wagner T and Ressler E (1997). A practical approach to reinforcing concepts in introductory operating systems, ACM SIGCSE Bulletin, 29:1, (44-47), Online publication date: 1-Mar-1997.
- Ashton P Using interaction networks for visualisation of message passing Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education, (272-276)
- Holliday M System calls and interrupt vectors in an operating systems course Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education, (53-57)
- Wagner T and Ressler E A practical approach to reinforcing concepts in introductory operating systems Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education, (44-47)
- Park Y, Scott R and Sechrest S Virtual memory versus file interfaces for large, memory-intensive scientific applications Proceedings of the 1996 ACM/IEEE conference on Supercomputing, (53-es)
- Maquelin O, Gao G, Hum H, Theobald K and Tian X Polling watchdog Proceedings of the 23rd annual international symposium on Computer architecture, (179-188)
- Maquelin O, Gao G, Hum H, Theobald K and Tian X (1996). Polling watchdog, ACM SIGARCH Computer Architecture News, 24:2, (179-188), Online publication date: 1-May-1996.
- Linux Journal Staff (1996). Kernel Korner: Dynamic Kernels - Discovery, Linux Journal, 1996:24es, (9-es), Online publication date: 1-Apr-1996.
- Bynum B and Camp T (1996). After you, Alfonse, ACM SIGCSE Bulletin, 28:1, (170-174), Online publication date: 1-Mar-1996.
- Berk T (1996). A simple student environment for lightweight process concurrent programming under SunOs, ACM SIGCSE Bulletin, 28:1, (165-169), Online publication date: 1-Mar-1996.
- Bynum B and Camp T After you, Alfonse Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education, (170-174)
- Berk T A simple student environment for lightweight process concurrent programming under SunOs Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education, (165-169)
- Olsson R and McNamee C (1995). Tools for teaching CCRs, monitors, and CSP concurrent programming concepts, ACM SIGCSE Bulletin, 27:2, (31-40), Online publication date: 1-Jun-1995.
- Smolik T (1995). An object-oriented file system—an example of using the class hierarchy framework concept, ACM SIGOPS Operating Systems Review, 29:2, (33-53), Online publication date: 1-Apr-1995.
- Camp T and Oberhauser G (1995). Microkernels, ACM SIGCSE Bulletin, 27:1, (154-158), Online publication date: 15-Mar-1995.
- Moen S (1995). A low-tech introduction to operating systems, ACM SIGCSE Bulletin, 27:1, (149-153), Online publication date: 15-Mar-1995.
- Pérez-Dávila A (1995). O.S. bridge between academia and reality, ACM SIGCSE Bulletin, 27:1, (146-148), Online publication date: 15-Mar-1995.
- Camp T and Oberhauser G Microkernels Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, (154-158)
- Moen S A low-tech introduction to operating systems Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, (149-153)
- Pérez-Dávila A O.S. bridge between academia and reality Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, (146-148)
- Dimopoulos N and Dimakopoulos V (1995). Optimal and Suboptimal Processor Allocation for Hypercycle-based Multiprocessors, IEEE Transactions on Parallel and Distributed Systems, 6:2, (175-185), Online publication date: 1-Feb-1995.
- Wang T (1994). Eliminate memory fragmentation through holes in the heap, ACM SIGPLAN Notices, 29:12, (112-113), Online publication date: 1-Dec-1994.
- Finkel D and Chandra S (1994). NetCp—a project environment for an undergraduate computer networks course, ACM SIGCSE Bulletin, 26:1, (174-177), Online publication date: 12-Mar-1994.
- Finkel D and Chandra S NetCp—a project environment for an undergraduate computer networks course Proceedings of the twenty-fifth SIGCSE symposium on Computer science education, (174-177)
- Berleant D, Lovelady S and Viswanathan K (1994). A foreign vocabulary learning aid for the networked world of tomorrow, ACM SIGICE Bulletin, 19:3, (22-29), Online publication date: 1-Feb-1994.
- de Jonge W, Kaashoek M and Hsieh W The logical disk Proceedings of the fourteenth ACM symposium on Operating systems principles, (15-28)
- Saeki M, Hiroi T and Ugai T Reflective specification Proceedings of the 7th international workshop on Software specification and design, (204-213)
- de Jonge W, Kaashoek M and Hsieh W (1993). The logical disk, ACM SIGOPS Operating Systems Review, 27:5, (15-28), Online publication date: 1-Dec-1993.
- Qin B (1993). Meet Real-Time Requirements of Parallel Programs and Maximally Utilize System Resources, IEEE Transactions on Software Engineering, 19:10, (976-981), Online publication date: 1-Oct-1993.
- Lin T Concurrent automata, database computers, and security Proceedings on the 1992-1993 workshop on New security paradigms, (94-104)
- Haro C and Proust C (1993). A multitasking executive for operating systems courses, ACM SIGOPS Operating Systems Review, 27:3, (97-107), Online publication date: 1-Jul-1993.
- Boyd J Floor control policies in multi-user applications INTERACT '93 and CHI '93 Conference Companion on Human Factors in Computing Systems, (107-108)
- Ramakrishnan S and Lancaster A Operating Systems Projects Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education, (256-260)
- Kavka C, Printista M and Gallard R (1993). Extending device management in Minix, ACM SIGOPS Operating Systems Review, 27:2, (35-43), Online publication date: 1-Apr-1993.
- Ramakrishnan S and Lancaster A (1993). Operating Systems Projects, ACM SIGCSE Bulletin, 25:1, (256-260), Online publication date: 1-Mar-1993.
- Christopher W, Procter S and Anderson T The Nachos instructional operating system Proceedings of the USENIX Winter 1993 Conference Proceedings on USENIX Winter 1993 Conference Proceedings, (4-4)
- Guerrero R, Leguizamon L and Gallard R (1993). Implementation and evaluation of alternative process schedulers in MINIX, ACM SIGOPS Operating Systems Review, 27:1, (79-100), Online publication date: 1-Jan-1993.
- Goh A (1992). An operating systems project, ACM SIGCSE Bulletin, 24:3, (29-34), Online publication date: 1-Sep-1992.
- Gallizzi E and Zondervan Q Distributed data flow computing system Proceedings of the 30th annual Southeast regional conference, (421-424)
- Pargiter L and Sayers J A system generation for a small operating system Proceedings of the 30th annual Southeast regional conference, (247-252)
- Hughes L (1992). Teaching operating systems using Turbo C, ACM SIGCSE Bulletin, 24:1, (181-186), Online publication date: 1-Mar-1992.
- Hartley S (1992). Experience with the language SR in an undergraduate operating systems course, ACM SIGCSE Bulletin, 24:1, (176-180), Online publication date: 1-Mar-1992.
- Hughes L Teaching operating systems using Turbo C Proceedings of the twenty-third SIGCSE technical symposium on Computer science education, (181-186)
- Hartley S Experience with the language SR in an undergraduate operating systems course Proceedings of the twenty-third SIGCSE technical symposium on Computer science education, (176-180)
- Davidson J and Holler A (1992). Subprogram Inlining, IEEE Transactions on Software Engineering, 18:2, (89-102), Online publication date: 1-Feb-1992.
- Chávez J (1991). XINIX time-sharing operating system, ACM SIGOPS Operating Systems Review, 25:4, (22-34), Online publication date: 1-Oct-1991.
- Mull A and Maginnis P (1991). Evolutionary steps toward a distributed operating system, ACM SIGOPS Operating Systems Review, 25:4, (4-13), Online publication date: 1-Oct-1991.
- Dimopoulos N, Radhakrishnan S and Radvan D Routing and processor allocation on a Hypercycle-based multiprocessor Proceedings of the 5th international conference on Supercomputing, (105-114)
- Aguirre G, Errecalde M, Guerrero R, Kavka C, Leguizamon G, Printista M and Gallard R (1991). Experiencing minix as a didactical aid for operating systems courses, ACM SIGOPS Operating Systems Review, 25:3, (32-39), Online publication date: 1-May-1991.
- Yue K (1991). Dining philosophers revisited, again, ACM SIGCSE Bulletin, 23:2, (60-64), Online publication date: 1-May-1991.
- Qin B, Sholl H and Ammar R (1991). Micro Time Cost Analysis of Parallel Computations, IEEE Transactions on Computers, 40:5, (613-628), Online publication date: 1-May-1991.
- Higginbotham C and Morelli R (1991). A system for teaching concurrent programming, ACM SIGCSE Bulletin, 23:1, (309-316), Online publication date: 1-Mar-1991.
- Higginbotham C and Morelli R A system for teaching concurrent programming Proceedings of the twenty-second SIGCSE technical symposium on Computer science education, (309-316)
- Chappelow S, Ackerman S and Hartley S (1990). Design and implementation of a swapper for the MINIX operating system, ACM SIGCSE Bulletin, 22:4, (55-59), Online publication date: 1-Nov-1990.
- Gries D and Marsh D (1990). The 1988–89 Taulbee survey report, Communications of the ACM, 33:9, (160-169), Online publication date: 1-Sep-1990.
- Hartley S (1990). Experience with MINIX in an operating systems lab, ACM SIGCSE Bulletin, 22:3, (34-38), Online publication date: 1-Aug-1990.
- Gingras A (1990). Dining philosophers revisited, ACM SIGCSE Bulletin, 22:3, (21-ff.), Online publication date: 1-Aug-1990.
- Sayers J A small operating system Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems, (132-142)
- Rosenberg J, Ananda A and Srinivasan B (1990). Self-assessment procedure XX, Communications of the ACM, 33:2, (190-201), Online publication date: 1-Feb-1990.
- Hays J, Miller L, Othmer B and Saeed M Simulation of process and resource management in a multiprogramming operating system Proceedings of the twenty-first SIGCSE technical symposium on Computer science education, (125-128)
- Shub C Should undergraduates explore internals of workstation operating systems Proceedings of the twenty-first SIGCSE technical symposium on Computer science education, (111-115)
- Hays J, Miller L, Othmer B and Saeed M (1990). Simulation of process and resource management in a multiprogramming operating system, ACM SIGCSE Bulletin, 22:1, (125-128), Online publication date: 1-Feb-1990.
- Shub C (1990). Should undergraduates explore internals of workstation operating systems, ACM SIGCSE Bulletin, 22:1, (111-115), Online publication date: 1-Feb-1990.
- Gait J (1990). Phoenix: a safe in-memory file system, Communications of the ACM, 33:1, (81-86), Online publication date: 3-Jan-1990.
- Robbins K, Wagner N and Wenzel D (1989). Virtual rings: an introduction to concurrency, ACM SIGCSE Bulletin, 21:2, (23-28), Online publication date: 1-Jun-1989.
- Holliday M Reference history, page size, and migration daemons in local/remote architectures Proceedings of the third international conference on Architectural support for programming languages and operating systems, (104-112)
- Holliday M (1989). Reference history, page size, and migration daemons in local/remote architectures, ACM SIGARCH Computer Architecture News, 17:2, (104-112), Online publication date: 1-Apr-1989.
- Hummel J (1989). Xinu/WU: an improved PC-Xinu clone?, ACM SIGCSE Bulletin, 21:1, (226-230), Online publication date: 1-Feb-1989.
- Shub C (1989). Performance experiments for the performance course, ACM SIGCSE Bulletin, 21:1, (222-225), Online publication date: 1-Feb-1989.
- Hughes L (1989). Low-cost networks and gateways for teaching data communications, ACM SIGCSE Bulletin, 21:1, (6-11), Online publication date: 1-Feb-1989.
- Hummel J Xinu/WU: an improved PC-Xinu clone? Proceedings of the twentieth SIGCSE technical symposium on Computer science education, (226-230)
- Shub C Performance experiments for the performance course Proceedings of the twentieth SIGCSE technical symposium on Computer science education, (222-225)
- Hughes L Low-cost networks and gateways for teaching data communications Proceedings of the twentieth SIGCSE technical symposium on Computer science education, (6-11)
- Harris D (1988). An input/output subsystem for the Hawk operating system kernel, ACM SIGOPS Operating Systems Review, 22:2, (32-44), Online publication date: 1-Apr-1988.
- Maginnis P Design considerations for the transformation of MINIX into a distributed operating system Proceedings of the 1988 ACM sixteenth annual conference on Computer science, (608-615)
- Tanenbaum A (1987). A UNIX clone with source code for operating systems courses, ACM SIGOPS Operating Systems Review, 21:1, (20-29), Online publication date: 1-Jan-1987.
- Pek C, Muxfeldt A and Kubus D Simplifying synchronization in cooperative robot tasks - an enhancement of the Manipulation Primitive paradigm 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), (1-8)
Index Terms
- Operating systems: design and implementation
Recommendations
Design and implementation of a stand-alone photovoltaic road lighting system
CSECS '10: Proceedings of the 9th WSEAS international conference on Circuits, systems, electronics, control & signal processingThe solar energy is one of the most promising renewable energy and the using of high brightness Light Emitting Diode (LED) for lighting system has become a trend recently. This paper presents a stand-alone solar electrical power system which can supply ...
Design Automation for Battery Systems
2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)High power Lithium-Ion (Li-Ion) battery packs used in stationary Electrical Energy Storage (EES) systems and Electric Vehicle (EV) applications require a sophisticated Battery Management System (BMS) in order to maintain safe operation and improve their ...
Using UML for Implementation Design of SDL Systems
SDL '01: Proceedings of the 10th International SDL Forum Copenhagen on Meeting UMLThe purpose of Implementation Design is to bridge the gap between an abstract system, e.g. in SDL, and its implementation in hard-ware and software. Expressing the Implementation Design decisions is a general challenge in systems engineering. Notations ...