Sciweavers

2615 search results - page 216 / 523
» Analysis of Real Time Operating System Based Applications
Sort
View
SDL
2007
192views Hardware» more  SDL 2007»
15 years 5 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
136
Voted
ICDM
2009
IEEE
168views Data Mining» more  ICDM 2009»
15 years 10 months ago
Bi-relational Network Analysis Using a Fast Random Walk with Restart
—Identification of nodes relevant to a given node in a relational network is a basic problem in network analysis with great practical importance. Most existing network analysis ...
Jing Xia, Doina Caragea, William H. Hsu
124
Voted
SIGMETRICS
2010
ACM
160views Hardware» more  SIGMETRICS 2010»
15 years 8 months ago
RSIO: automatic user interaction detection and scheduling
We present RSIO, a processor scheduling framework for improving the response time of latency-sensitive applications by monitoring accesses to I/O channels and inferring when user ...
Haoqiang Zheng, Jason Nieh
134
Voted
ICCAD
2001
IEEE
127views Hardware» more  ICCAD 2001»
16 years 25 days ago
What is the Limit of Energy Saving by Dynamic Voltage Scaling?
Dynamic voltage scaling (DVS) is a technique that varies the supply voltage and clock frequency based on the computation load to provide desired performance with the minimal amoun...
Gang Qu
SAINT
2003
IEEE
15 years 9 months ago
Mobile Agent based realization of a distance evaluation system
The growth of the Internet has led to new avenues for distance education. A crucial factor for the success of distance education is effective mechanisms for distance evaluation. E...
Vikram Jamwal, Sridhar Iyer