9110 search results - page 1458 / 1822 » Formally-Based Design Evaluation |
165
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Vectorless power grid verification makes it possible to evaluate worst-case voltage drops without enumerating possible current waveforms. Under linear current constraints, the vec...
163
click to vote
CIVR
2008
Springer
15 years 7 months ago
2008
Springer
We have developed an interactive video search system that allows the searcher to rapidly assess query results and easily pivot off those results to form new queries. The system i...
200
click to vote
CIDR
2009
15 years 7 months ago
2009
We present the design and development of a data stream system that captures data uncertainty from data collection to query processing to final result generation. Our system focuse...
204
click to vote
ECRTS
2010
IEEE
15 years 7 months ago
2010
IEEE
It is challenging to support the timeliness of realtime data service requests in data-intensive real-time applications such as online auction or stock trading, while maintaining t...
189
click to vote
ECRTS
2010
IEEE
15 years 7 months ago
2010
IEEE
Modern real-time systems increasingly operate with multiple interactive applications. While these systems often require reliable quality of service (QoS) for the applications, eve...