English
Related papers

Related papers: A Survey of Unix Init Schemes

200 papers

For many years, developers could not figure out the mystery of OS kernels. The main source of this mystery is the interaction between operating systems and hardware while system's boot up and kernel initialization. In addition, many…

Operating Systems · Computer Science 2012-11-21 Mohamed Farag

The operating system's role in a computer system is to manage the various resources. One of these resources is the Central Processing Unit. It is managed by a component of the operating system called the CPU scheduler. Schedulers are…

Operating Systems · Computer Science 2010-11-09 George Anderson , Tshilidzi Marwala , Fulufhelo V. Nelwamondo

We describe our experiences in using SPIN to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connected by Unix network sockets. MPD is dynamic: processes and…

Logic in Computer Science · Computer Science 2007-05-23 O. S. Matlin , E. Lusk , W. McCune

A computer is nothing but a device that processes the instructions supplied to it. However, as computers evolved, the instructions or codes started to be more complicated. As computers started to be used by non-technical people, it became…

Cryptography and Security · Computer Science 2026-01-29 Aditya Mitra , Hamza Haroon , Amaan Rais Shah , Mohammad Elham Rasooli , Bogdan Itsam Dorantes Nikolaev , Tuğçe Ballı

The Linux kernel is mostly designed for multi-programed environments, but high-performance applications have other requirements. Such applications are run standalone, and usually rely on runtime systems to distribute the application's…

Operating Systems · Computer Science 2020-04-15 Aleix Roca , Samuel Rodríguez , Albert Segura , Kevin Marquet , Vicenç Beltran

Operating system is a bridge between system and user. An operating system (OS) is a software program that manages the hardware and software resources of a computer. The OS performs basic tasks, such as controlling and allocating memory,…

Operating Systems · Computer Science 2012-09-21 Kamlesh Sharma , T. V. Prasad

Web Operating Systems can be seen as an extension of traditional Operating Systems where the addresses used to manage files and execute programs (via the basic load/execution mechanism) are extended from local filesystem path-names to URLs.…

Software Engineering · Computer Science 2010-05-28 Mario Bravetti

Signals are a lightweight form of interprocess communication in Unix. When a process receives a signal, the control flow is interrupted and a previously installed signal handler is run. Signal handling is reminiscent both of exception…

Programming Languages · Computer Science 2012-08-15 Maxim Strygin , Hayo Thielecke

The UDP (User Defined Program) system is a scripting framework for controlling and extending instrumentation software. It has been specially designed for air- and space-borne instruments with flexibility, error control, reuse, automation,…

Instrumentation and Detectors · Physics 2009-11-13 R. Morales Munoz , P. Mellado , J. Marco de la Rosa , IMaX Team

GPUs are becoming first-class compute citizens and are being tasked to perform increasingly complex work. Modern GPUs increasingly support programmability- enhancing features such as shared virtual memory and hardware cache coherence,…

Operating Systems · Computer Science 2017-05-29 Ján Veselý , Arkaprava Basu , Abhishek Bhattacharjee , Gabriel Loh , Mark Oskin , Steven K. Reinhardt

Failure injection in distributed systems has been an important issue to experiment with robust, resilient distributed systems. In order to reproduce real-life conditions, parts of the application must be killed without letting the operating…

Operating Systems · Computer Science 2015-02-06 Camille Coti , Nicolas Greneche

While the engineering of operating systems is well understood, their formal structure and properties are not. The latter needs a clear definition of the purpose of an OS and an identification of the core. In this paper I offer definitions…

Operating Systems · Computer Science 2012-02-20 Abhijat Vichare

Schema induction builds a graph representation explaining how events unfold in a scenario. Existing approaches have been based on information retrieval (IR) and information extraction(IE), often with limited human curation. We demonstrate a…

Today's computer systems come with a pre-installed tiny operating system, which is also known as UEFI. UEFI has slowly displaced the former legacy PC-BIOS while the main task has not changed: It is responsible for booting the actual…

Cryptography and Security · Computer Science 2025-05-12 Tobias Latzo , Florian Hantke , Lukas Kotschi , Felix Freiling

Software start-ups are new companies aiming to launch an innovative product to mass markets fast with minimal resources. However, most start-ups fail before realizing their potential. Poor software engineering, among other factors, could be…

Software Engineering · Computer Science 2023-10-02 Eriks Klotins , Michael Unterkalmsteiner , Tony Gorschek

DevOps pipeline is a set of automated tasks or processes or jobs that has tasks assigned to execute automatically that allow the Development team and Operations team to collaborate for building and deployment of the software or services.…

Software Engineering · Computer Science 2025-03-21 Adarsh Saxena , Sudhakar Singh , Shiv Prakash , Tiansheng Yang , Rajkumar Singh Rathore

One of the key security threats on the Internet are the compromised machines that can be used to launch various security attacks such as spamming and spreading malware, accessing useful information and DDoS. Attackers for spamming activity…

Networking and Internet Architecture · Computer Science 2014-02-11 Rajesh R Chauhan , G S Praveen Kumar

Operating systems are vital system software that, without them, humans would not be able to manage and use computer systems. In essence, an operating system is a collection of software programs whose role is to manage computer resources and…

Operating Systems · Computer Science 2012-04-03 Youssef Bassil

Scheduling is essentially a decision-making process that enables resource sharing among a number of activities by determining their execution order on the set of available resources. The emergence of distributed systems brought new…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-01-11 Luiz F. Bittencourt , Alfredo Goldman , Edmundo R. M. Madeira , Nelson L. S. da Fonseca , Rizos Sakellariou

A core abstraction in early Unix systems was the principle that 'everything is a file', enabling heterogeneous devices and kernel resources to be manipulated via uniform read/write interfaces. This paper explores how an analogous…

Software Engineering · Computer Science 2026-01-21 Deepak Babu Piskala
‹ Prev 1 2 3 10 Next ›