Sciweavers

15840 search results - page 691 / 3168
» The Control of Synchronous Systems
Sort
View
GLVLSI
2006
IEEE
126views VLSI» more  GLVLSI 2006»
16 years 1 months ago
Hardware/software partitioning of operating systems: a behavioral synthesis approach
In this paper we propose a hardware real time operating system (HW-RTOS) solution that makes use of a dedicated hardware in order to replace the standard support provided by the P...
Sathish Chandra, Francesco Regazzoni, Marcello Laj...
RTCSA
2005
IEEE
16 years 26 days ago
Model Checking Timed Systems with Priorities
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
Pao-Ann Hsiung, Shang-Wei Lin
234
Voted
CASSIS
2005
Springer
16 years 25 days ago
The Design of Application-Tailorable Operating System Product Lines
System software for deeply embedded devices has to cope with a broad variety of requirements and platforms, but especially with strict resource constraints. To compete against prop...
Daniel Lohmann, Wolfgang Schröder-Preikschat,...
APSEC
2008
IEEE
15 years 9 months ago
Emergent Properties in Reactive Systems
Reactive systems are often described by interconnecting sub-components along architectural connectors defining communication policies. Generally, such global systems may exhibit p...
Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki
185
Voted
OSDI
1994
ACM
15 years 8 months ago
Metadata Update Performance in File Systems
Structural changes, such as file creation and block allocation, have consistently been identified as file system performance problems in many user environments. We compare several...
Gregory R. Ganger, Yale N. Patt