3387 search results - page 251 / 678 » Model-Checking for Real-Time Systems |
251
click to vote
TVLSI
2010
15 years 1 months ago
2010
With the shrinking of technology feature sizes, the share of leakage in total power consumption of digital systems continues to grow. Traditional dynamic voltage scaling (DVS) fail...
276
Voted
ICDE
1999
IEEE
16 years 8 months ago
1999
IEEE
This paper proposes methodologies to control the access of B-tree-indexed data in a batch and real-time fashion. Algorithms are proposed to insert, query, delete, and rebalance B-...
190
click to vote
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
We describe an efficient and robust method of tracking human forearms as skin colored regions. Of special consideration in the design of this system are real-time and robustness ...
159
click to vote
ICCS
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. We describe, analyze and submit results of a real-time total order multicast protocol developed on a distributed real-time system architecture that consists of hierarchic...
217
click to vote
ICESS
2004
Springer
16 years 14 days ago
2004
Springer
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...