3130 search results - page 555 / 626 » Design Correctness of Digital Systems |
143
Voted
CASES
2010
ACM
15 years 1 months ago
2010
ACM
Dynamic binary translators (DBTs) are becoming increasingly important because of their power and flexibility. However, the high memory demands of DBTs present an obstacle for all ...
130
Voted
IMC
2010
ACM
15 years 1 months ago
2010
ACM
Router syslogs are messages that a router logs to describe a wide range of events observed by it. They are considered one of the most valuable data sources for monitoring network ...
133
Voted
IMC
2010
ACM
15 years 1 months ago
2010
ACM
Current large-scale topology mapping systems require multiple days to characterize the Internet due to the large amount of probing traffic they incur. The accuracy of maps from ex...
187
click to vote
WCET
2010
15 years 1 months ago
2010
The assumption of task independence has long been consubstantial with the formulation of many schedulability analysis techniques. That assumption is evidently advantageous for the...
286
Voted
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
In the database community, work on information extraction (IE) has centered on two themes: how to effectively manage IE tasks, and how to manage the uncertainties that arise in th...