Sciweavers

610 search results - page 14 / 122
» Software Architectures for Real-time Embedded Applications f...
Sort
View
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
14 years 7 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
SEUS
2008
IEEE
14 years 1 months ago
Data Services in Distributed Real-Time Embedded Systems
The computing systems are becoming deeply embedded into ordinary life and interact with physical processes and events. They monitor the physical world with sensors and provide app...
Woochul Kang, Sang Hyuk Son
MUE
2008
IEEE
116views Multimedia» more  MUE 2008»
14 years 1 months ago
A Novel Technique for Real-Time Internet Radio Recorder on Non-DSP Embedded System
The capability of providing real-time multimedia player over the Internet is an important future application for embedded system. However, the main challenge of such an applicatio...
Lain-Jing Hwang, Chien-Chou Shih, I-Ting Kuo
CSREAESA
2006
13 years 8 months ago
Generalized Deterministic Task Scheduling Algorithm for Embedded Real-Time Operating Systems
- In recent years, there has been a rapid and wide spread proliferation of non-traditional embedded computing platforms such as digital camcorders, cellular phones, and portable me...
Myoung-Jo Jung, Moon-Haeng Cho, Yong-Hee Kim, Cheo...
ECRTS
2004
IEEE
13 years 11 months ago
An Architecture for Real-Time Active Content Distribution
The phenomenal growth of the world-wide web has made it the most popular Internet application today. Web caching and content distribution services have been recognized as valuable...
Chengdu Huang, Seejo Sebastine, Tarek F. Abdelzahe...