3507 search results - page 159 / 702 » Slicing for architectural analysis |
190
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
This work casts the traffic analysis of anonymity systems, and in particular mix networks, in the context of Bayesian inference. A generative probabilistic model of mix network ar...
152
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
This paper suggests that the thermal state of a processor can be approximated using data flow analysis. The results of this analysis can be used to evaluate the efficacy of therma...
130
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
A control part ? data path partition based sequential circuit verification scheme aimed at avoiding state explosion comprises two major modules namely, a data path verifier and a ...
169
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— One of the main challenges in telerobotics is the selection of control architectures and control parameters, which are able to robustly stabilize the overall teleoperation syst...
155
click to vote
SMC
2007
IEEE
16 years 25 days ago
2007
IEEE
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...