Sciweavers

1845 search results - page 62 / 369
» Operating System Performance in Support of Real-Time Middlew...
Sort
View
SDL
2007
192views Hardware» more  SDL 2007»
15 years 2 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong
ICC
2007
IEEE
15 years 7 months ago
Performance Evaluation of Middleware for Provisioning LBS in Cellular Networks
- Location systems based on already-deployed cellular networks spend the resources of the underlying communications network. This paper proposes a middleware that reduces the consu...
Israel Martín-Escalona, Francisco Barcel&oa...
IADIS
2004
15 years 2 months ago
A middleware platform supporting electronic service markets
The Internet today can be seen as a global market for electronic services. Each provider can offer its services, and customers can choose between several providers offering simila...
Dirk Thissen
MIDDLEWARE
2004
Springer
15 years 6 months ago
Kernel-middleware interaction to support adaptation in pervasive computing environments
In pervasive computing environments, conditions are highly variable and resources are limited. In order to meet the needs of applications, systems must adapt dynamically to changi...
Farshad A. Samimi, Philip K. McKinley, Seyed Masou...
FAST
2010
15 years 3 months ago
Membrane: Operating System Support for Restartable File Systems
We introduce Membrane, a set of changes to the operating system to support restartable file systems. Membrane allows an operating system to tolerate a broad class of file system f...
Swaminathan Sundararaman, Sriram Subramanian, Abhi...