5015 search results - page 422 / 1003 » Model Checking a Path |
163
Voted
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Wirelength estimation techniques typically contain a site density function that enumerates all possible path sites for each wirelength in an architecture and an occupation probabil...
173
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper investigates the path protection problem in mesh networks under multiple generic risks. Disjoint logical links may fail simultaneously if they share the same compone...
178
click to vote
IBMRD
2006
15 years 6 months ago
2006
We present Justice, a set of extensions to the Liberty simulation infrastructure that model area, wire length, and power consumption in processor architectures. Given an architectu...
196
click to vote
ENTCS
2007
15 years 6 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
193
click to vote
ICML
1997
IEEE
16 years 7 months ago
1997
IEEE
Machine learning techniques are applicable to computer system optimization. We show that shared memory multiprocessors can successfully utilize machine learning algorithms for mem...