2488 search results - page 465 / 498 » An improvement in formal verification |
121
click to vote
ISQED
2011
IEEE
14 years 5 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
185
click to vote
FASE
2011
Springer
14 years 4 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
127
click to vote
SIAMAM
2011
14 years 4 months ago
2011
In wireless networks, the channels are often subject to random variations that limit the reliability of communications between any two radios. Geographic transmission strategies ca...
113
click to vote
AAAI
2011
14 years 1 months ago
2011
Many algorithms for performing inference in graphical models have complexity that is exponential in the treewidth - a parameter of the underlying graph structure. Computing the (m...
117
click to vote
ARESEC
2011
14 years 1 months ago
2011
—The concept of risk-based adaptive access control (RAdAC, pronounced Raid-ack) has been recently introduced in the literature. It seeks to automatically (or semi-automatically) ...