4520 search results - page 120 / 904 » Algebraic Techniques for Timed Systems |
202
click to vote
DATE
2003
IEEE
16 years 5 days ago
2003
IEEE
Reduction of both the test suite size and the download time of test vectors is important in today's System-On-a-Chip designs. In this paper, a method for compressing the scan...
224
click to vote
SI3D
2012
ACM
14 years 2 months ago
2012
ACM
We synthesize natural-looking locomotion, reaching and grasping for a virtual character in order to accomplish a wide range of movement and manipulation tasks in real time. Our vi...
175
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
209
click to vote
APSEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
158
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
With the proliferation of online multimedia content and the popularity of multimedia streaming systems, it is increasingly useful to be able to skim and browse multimedia quickly....