7580 search results - page 1178 / 1516 » Prometheus design tool |
184
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
This paper describes an application framework for providing and managing personalized, interactive video on the web. The application framework enables content providers and aggreg...
228
click to vote
HPCA
2002
IEEE
16 years 7 months ago
2002
IEEE
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...
192
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
Increasing amounts of public, corporate, and private speech data are now available on-line. These are limited in their usefulness, however, by the lack of tools to permit their br...
283
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
302
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...