Sciweavers

2844 search results - page 181 / 569
» A Comparison of Partitioning Operating Systems for Integrate...
Sort
View
ASPLOS
2009
ACM
16 years 6 months ago
RapidMRC: approximating L2 miss rate curves on commodity systems for online optimizations
Miss rate curves (MRCs) are useful in a number of contexts. In our research, online L2 cache MRCs enable us to dynamically identify optimal cache sizes when cache-partitioning a s...
David K. Tam, Reza Azimi, Livio Soares, Michael St...
JCIT
2008
74views more  JCIT 2008»
15 years 6 months ago
SHAMAN Research and Implementation of an Electronic Medical Records System
In the recent decades the importance of the information systems (IS) has been steadily growing. Nowadays most of the operations that imply complex manipulations with data and stor...
Yerbol Nisanbayev, Il Seok Ko, Olga Yugay
157
Voted
TC
2002
15 years 5 months ago
A Number System with Continuous Valued Digits and Modulo Arithmetic
This paper presents a novel number system based on signed continuous valued digits. Arithmetic operations in this number system are performed using simple analog circuitry, in con...
Aryan Saed, Majid Ahmadi, Graham A. Jullien
RTCSA
2008
IEEE
16 years 13 days ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...
ICAS
2006
IEEE
140views Robotics» more  ICAS 2006»
16 years 3 days ago
Control System Framework for Autonomous Robots Based on Extended State Machines
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...
Torsten Merz, Piotr Rudol, Mariusz Wzorek