10159 search results - page 1835 / 2032 » System Design Validation Using Formal Models |
173
click to vote
TMM
2002
15 years 6 months ago
2002
With the rapid performance improvements in low-cost PCs, it becomes increasingly practical and cost-effective to implement large-scale video-on-demand (VoD) systems around parallel...
181
click to vote
ISPASS
2007
IEEE
16 years 25 days ago
2007
IEEE
— The design trend towards CMPs has made the simulation of multiprocessor systems a necessity and has also made multiprocessor systems widely available. While a serial multiproce...
191
click to vote
CA
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes an animated conversational agent called Kare1 which integrates a talking head interface with a linguistically motivated human-machine dialogue system. The age...
208
click to vote
ICS
2004
Tsinghua U.
15 years 12 months ago
2004
Tsinghua U.
Studying program behavior is a central component in architectural designs. In this paper, we study and exploit one aspect of program behavior, the behavior repetition, to expedite...
189
click to vote
CCGRID
2009
IEEE
16 years 1 months ago
2009
IEEE
As high-end computing systems continue to grow in scale, the performance that applications can achieve on such large scale systems depends heavily on their ability to avoid explic...