512 search results - page 35 / 103 » Distributed synthesis of real-time computer systems |
ERSHOV
2003
Springer
14 years 1 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
IPPS
2002
IEEE
14 years 1 months ago
2002
IEEE
The real-time scheduling advisor (RTSA) is an entirely userlevel system that an application running on a typical shared, unreserved distributed computing environment can turn to f...
RTSS
2007
IEEE
14 years 2 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
QSHINE
2009
IEEE
2009
IEEE
Joint Optimization of System Lifetime and Network Performance for Real-Time Wireless Sensor Networks
14 years 3 months ago
Maximizing the aggregate network utility and minimizing the network energy consumption are important but conflict goals in wireless sensor networks. Challenges arise due to the app...
PRDC
2007
IEEE
14 years 2 months ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...