899 search results - page 139 / 180 » A Temporal Language for SystemC |
121
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
The Web is rapidly moving towards a platform for mass collaboration in content production and consumption from three screens: computers, mobile phones, and TVs. While there has be...
153
click to vote
LFCS
2009
Springer
15 years 8 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
122
click to vote
MIR
2004
ACM
15 years 6 months ago
2004
ACM
Video parsing and indexing is an important early stage of contentbased video analysis. In this paper, we present a new web-enabled video indexing system that integrates Synchroniz...
123
click to vote
LOGCOM
2010
14 years 8 months ago
2010
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
133
click to vote
LCTRTS
2005
Springer
15 years 7 months ago
2005
Springer
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...