Sciweavers

114 search results - page 6 / 23
» Multithreaded programming in an introduction to operating sy...
Sort
View
SIGCSE
2012
ACM
284views Education» more  SIGCSE 2012»
12 years 3 months ago
Teaching operating systems using android
The computing landscape is shifting towards mobile devices. To learn about operating systems, it is increasingly important for students to gain hands-on kernel programming experie...
Jeremy Andrus, Jason Nieh
FECS
2009
164views Education» more  FECS 2009»
13 years 5 months ago
Development of a System for Teaching C/C++ Using Robots and Open Source Software in a CS1 Course
- This paper describes the development of a system for teaching C/C++ using LegoTM RCX Robots in a CS1 college course on introductory programming. The system has been implemented u...
Amy Delman, Lawrence Goetz, Yedidyah Langsam, Theo...
CONCUR
2012
Springer
11 years 10 months ago
MSO Decidability of Multi-Pushdown Systems via Split-Width
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...
Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar
ASPLOS
2009
ACM
14 years 2 months ago
Recovery domains: an organizing principle for recoverable operating systems
We describe a strategy for enabling existing commodity operating systems to recover from unexpected run-time errors in nearly any part of the kernel, including core kernel compone...
Andrew Lenharth, Vikram S. Adve, Samuel T. King
ISER
2004
Springer
112views Robotics» more  ISER 2004»
14 years 1 months ago
Toward Reliable Off Road Autonomous Vehicles Operating in Challenging Environments
The DARPA PerceptOR program implements a rigorous evaluative test program which fosters the development of field relevant outdoor mobile robots. Autonomous ground vehicles are depl...
Alonzo Kelly, Omead Amidi, Mike Bode, Michael Happ...