4693 search results - page 633 / 939 » Verifying Hybrid Systems |
189
click to vote
CCGRID
2006
IEEE
16 years 25 days ago
2006
IEEE
Group communications are commonly used in parallel and distributed environment. However, existing migration mechanisms do not support group communications. This weakness prevents ...
146
click to vote
DATE
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper presents an efficient method to find the optimal intra-task voltage/frequency scheduling for single tasks in practical real-time systems using statistical workload in...
175
click to vote
DEXAW
2006
IEEE
16 years 25 days ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
177
click to vote
HICSS
2006
IEEE
16 years 24 days ago
2006
IEEE
Complexity in information technology architectures and infrastructures, and an increasing need for executives to verify and secure value generation processes in private as well as...
170
click to vote
ICPPW
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...