531 search results - page 91 / 107 » Formal Methods for Networks on Chips |
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We propose a framework for quantitative security analysis of machine learning methods. Key issus of this framework are a formal specification of the deployed learning model and a...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
AAAI
2007
13 years 9 months ago
2007
Much of artificial intelligence research is focused on devising optimal solutions for challenging and well-defined but highly constrained problems. However, as we begin creating...
JCB
2008
13 years 7 months ago
2008
The spatial clustering of genes across different genomes has been used to study important problems in comparative genomics, from identification of operons to detection of homologo...
SIGMETRICS
2002
ACM
13 years 7 months ago
2002
ACM
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...