Sciweavers

8 search results - page 1 / 2
» icess 2004
Sort
View
ICESS
2004
Springer
14 years 4 months ago
Resource-Aware Programming
Abstract. Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for desig...
Walid Taha
ICESS
2004
Springer
14 years 4 months ago
Selecting a Scheduling Policy for Embedded Real-Time Monitor and Control Systems
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
Qingxu Deng, Mingsong Lv, Ge Yu
ICESS
2004
Springer
14 years 4 months ago
A New Approach for Predictable Hard Real-Time Transaction Processing in Embedded Database
Real-time transaction processing becomes concerns as embedded time coming rapidly. However, the transaction process in real-time embedded system still has some problems in resource...
Tianzhou Chen, Yi Lian, Jiangwei Huang
ICESS
2004
Springer
14 years 4 months ago
The Modeling for Dynamic Power Management of Embedded Systems
In this paper we present a new modeling technique using software engineering tool Flow Model for modeling and solving the Dynamic Power Management (DPM) with complex behavioral cha...
Jiangwei Huang, Tianzhou Chen, Minjiao Ye, Yi Lian