415 search results - page 62 / 83 » Testing Component-Based Real Time Systems |
DAC
1999
ACM
15 years 4 months ago
1999
ACM
Verification is one of the most critical and time-consuming tasks in today's design processes. This paper demonstrates the verification process of a 8.8 million gate design u...
127
click to vote
SIES
2009
IEEE
15 years 6 months ago
2009
IEEE
—We introduce variable-bandwidth servers (VBS) for scheduling and executing processes under programmable temporal isolation. A VBS is an extension of a constant-bandwidth server ...
114
click to vote
PVLDB
2010
14 years 10 months ago
2010
Graphs are of growing importance in modeling complex structures such as chemical compounds, proteins, images, and program dependence. Given a query graph Q, the subgraph isomorphi...
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
103
click to vote
AMDO
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper describes our ongoing research work on deviceless interaction using hand gesture recognition with a calibrated stereo system. Video-based interaction is one of...