3750 search results - page 436 / 750 » Timed Automata Patterns |
127
Voted
GCSE
2000
Springer
15 years 7 months ago
2000
Springer
Combinations of C++ features, like inheritance, templates, and class nesting, allow for the expression of powerful component patterns. In particular, research has demonstrated that...
106
click to vote
MPC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...
149
click to vote
VLDB
1991
ACM
15 years 7 months ago
1991
ACM
This paper describesFido, a predictive cache [Palmer 19901that prefetchesby employing an associativememoryto recognizeaccesspatterns within a context over time. Repeatedtraining a...
134
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
Abstract— In this paper we study the testability of circuits derived from Binary Decision Diagrams (BDDs) under the bridging fault model. It is shown that testability can be form...
133
Voted
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
Ball Grid Array packages in which I/O pins are arranged in a grid array pattern realize a number of connections between chips and a printed circuit board, but it takes much time in...