Sciweavers

4923 search results - page 54 / 985
» C and Operating Systems Performance: A Case Study
Sort
View
FAST
2003
13 years 10 months ago
Semantically-Smart Disk Systems
We propose and evaluate the concept of a semantically-smart disk system (SDS). As opposed to a traditional “smart” disk, an SDS has detailed knowledge of how the file system ...
Muthian Sivathanu, Vijayan Prabhakaran, Florentina...
AOSD
2007
ACM
14 years 1 months ago
Interrupt synchronization in the CiAO operating system: experiences from implementing low-level system policies by AOP
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...
Daniel Lohmann, Jochen Streicher, Olaf Spinczyk, W...
AINTEC
2006
Springer
14 years 23 days ago
Building Fault Tolerant Networks Using a Multihomed Mobile Router: A Case Study
In this paper, we will build a fault-tolerant network using a Multiple Care-of Addresses registration implementation on NEPL (NEMO Platform for Linux) for the GNU/Linux Operating S...
Romain Kuntz, Jean Lorchat
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
14 years 2 months ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
ISMVL
2003
IEEE
111views Hardware» more  ISMVL 2003»
14 years 2 months ago
Modeling Multi-Valued Circuits in SystemC
The complexity of todays hardware systems steadily increases. Due to this fact new ways of efficiently describing systems are investigated. A very promising approach in this area...
Daniel Große, Görschwin Fey, Rolf Drech...