10159 search results - page 2021 / 2032 » System Design Validation Using Formal Models |
161
click to vote
RTCSA
2007
IEEE
15 years 11 months ago
2007
IEEE
A lot of real-time database (RTDB) research has been done to process transactions in a timely fashion using fresh data reflecting the current real world status. However, most exi...
163
click to vote
ICS
2007
Tsinghua U.
15 years 11 months ago
2007
Tsinghua U.
Overlapping communication with computation is an important optimization on current cluster architectures; its importance is likely to increase as the doubling of processing power ...
152
click to vote
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
Wireless communication of video poses constraints on information capacity. Region-of-Interest (ROI) video coding provides higher quality in the ROI, but poorer quality in the back...
163
click to vote
IUI
2005
ACM
15 years 11 months ago
2005
ACM
Researchers have noticed that readers are increasingly skimming instead of reading in depth. Skimming also occur in re-reading activities, where the goal is to recall specific top...
153
click to vote
PPOPP
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...