Operating Systems

A Host Based Kernel Level Rootkit Detection Mechanism Using Clustering Technique

by Jestin Joy

Extending The Linux Operating System For Grid Computing

by Nur Hussein

Case Studies In Modern Dynamic Adaptive Operating Systems

by Nur Hussein

A Checkpointing Mechanism for Process Migration

by Muzaffer Ozakca

Optimizing the Value of Preemption in Embedded Sensor Nodes

by Mohamed Moubarak

The emergence of the technology of Wireless Sensor Networks has lead to many changes in current and traditional... more The emergence of the technology of Wireless Sensor Networks has lead to many changes in current and traditional computational techniques. Traditional operating systems do not take into consideration the limitations in space and energy of wireless sensor networks. New system architectures have emerged to overcome these limitations. Each follows one of two design concepts, event driven or thread-driven. Experiments have shown that event-driven systems tend to save more energy and space, while thread-driven systems provide more concurrency and predictability, hence creating a tradeoff. This paper studies the differences between the aforementioned system designs, pointing out the causes of the tradeoff. The paper then introduces a thread-driven scheduling algorithm focusing on the value of preemption to overcome the energy tradeoff brought by event-driven systems. Our proposed algorithm reduces the average amount of energy spent under high system load which was a significant scenario where event driven systems showed better energy savings.

Respec: Efficient online multiprocessor replay via speculation and external determinism

by Benjamin Wester

Full author list: Dongyoon Lee, Benjamin Wester, Kaushik Veeraraghavan, Satish Narayanasamy, Peter M. Chen, Jason Flinn

Published in Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2010

DoublePlay: Parallelizing sequential logging and replay

by Benjamin Wester

Full author list: Kaushik Veeraraghavan, Dongyoon Lee, Benjamin Wester, Jessica Ouyang, Peter M. Chen, Jason Flinn, and Satish Narayanasamy

Published in Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2011

Best paper award!

Tolerating latency in replicated state machines through client speculation

by Benjamin Wester

Full author list: Benjamin Wester, James Cowling, Edmund B. Nightingale, Peter M. Chen, Jason Flinn, and Barbara Liskov

Published in Proceedings of the 6th USENIX Symposium on Networked Systems Design & Implementation (NSDI) 2009

Operating system support for application-specific speculation

by Benjamin Wester

Full author list: Benjamin Wester, Peter M. Chen, and Jason Flinn

Published in Proceedings of the 6th ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys) 2011

Ensuring Operating System Kernel Integrity with OSck

by Sangman Kim

Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This... more Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents
OSck, a system that discovers kernel rootkits by detecting malicious modifications to operating system data. OSck integrates
and extends existing techniques for detecting rootkits, and verifies
safety properties for large portions of the kernel heap with minimal overhead. We deduce type information for verification by analyzing unmodified kernel source code and in-memory kernel data
structures.
High-performance integrity checks that execute concurrently
with a running operating system create data races, and we demonstrate a deterministic solution for ensuring kernel memory is in a
consistent state. We introduce two new classes of kernel rootkits
that are undetectable by current systems, motivating the need for
the OSck API that allows kernel developers to conveniently specify arbitrary integrity properties

Lothlorien: mandatory access control using linux security modules

by Shrisha Rao

S/370 vs AS/400: A comparison of programming and operating environments.

by JTE Elms (Teresa)

1990. Co-authored with Paul Conte. In Teresa Elms (ed.), The AS/400 Alternative: A System/370 to AS/400 Migration Sourcebook. Cheshire, CT: ADM Inc.

The BSNOS Platform: A Body Sensor Networks Targeted Operating System and Toolset

by Joshua Ellul

In Fifth International Conference on Sensor Technologies and Applications, SENSORCOMM 2011, August, 2011, Nice, France

Body sensor networks face different challenges than those faced in traditional wireless sensor networks. Challenges... more Body sensor networks face different challenges than those faced in traditional wireless sensor networks. Challenges faced include fewer, more accurate sensor nodes and an increased requirement of context awareness, however, body sensor networks are relieved from high scalability. Programming sensor networks, in general, can be a daunting task due to the limited computation, memory and energy resources available. Operating systems for wireless sensor networks have been proposed which focus on the challenges they face. We believe that an operating system and toolset which focuses primarily on the challenges and properties of body sensor networks could help ease the burden of programming body sensor network applications. In this paper, we present an operating system which is focused

I livelli di astrazione audio nei moderni sistemi operativi

by Carlo Alberto Boni

On constructing a research model for historical cognitive linguistics (HCL): Some theoretical considerations

by Roslyn Frank

Full citation reference:

Frank, Roslyn M. & Nathalie Gontier. 2010 "On constructing a research model for historical cognitive linguistics (HCL): Some theoretical considerations." In Winter, M.E., Tissari, H. & Allan, K. (eds). Historical cognitive linguistics, pp. 31-69. Berlin: Mouton de Gruyter. (Book series: Cognitive Linguistics Research, nr 47)

This paper is the uncorrected proof.

This paper examines how historical cognitive linguistics can benefit methodologically through the application of the... more This paper examines how historical cognitive linguistics can benefit methodologically through the application of the notion of language as a complex adaptive system. The idea that languages are complex adaptive systems (CAS) was introduced initially in computational evolutionary linguistics, a discipline that was and remains inspired by biological, systems theoretical approaches to the evolution of life. Here the way that the CAS approach serves to replace older historical linguistic notions of languages as organisms and languages as species is explained as well as how the CAS approach can be generalized to encompass linguistic domains. Specifically, an overview of the CAS approach and its implementation in linguistics is provided with an emphasis on stigmergic, embodied, usage-based and socio-culturally situated language studies in particular.

Keywords: complex adaptive systems, evolutionary linguistics, historical and computational linguistics, language evolution, stigmergy, social cognitive linguistics, distributed and situated cognition, genes/ memes/linguemes, usage-based models

MAUI: Making Smartphones Last Longer with Code Offload

by Eduardo Cuervo

In Proceedings of ACM MobiSys

This paper presents MAUI, a system that enables fine-grained energy-aware offload of mobile code to the... more This paper presents MAUI, a system that enables fine-grained energy-aware offload of mobile code to the infrastructure. Previous approaches to these problems either relied heavily on programmer support to partition an application, or they were coarse-grained re- quiring full process (or full VM) migration. MAUI uses the benefits of a managed code environment to offer the best of both worlds: it supports fine-grained code offload to maximize energy savings with minimal burden on the programmer. MAUI decides at run- time which methods should be remotely executed, driven by an op- timization engine that achieves the best energy savings possible un- der the mobile device’s current connectivity constrains. In our eval- uation, we show that MAUI enables: 1) a resource-intensive face recognition application that consumes an order of magnitude less energy, 2) a latency-sensitive arcade game application that doubles its refresh rate, and 3) a voice-based language translation applica- tion that bypasses the limitations of the smartphone environment by executing unsupported components remotely