2786 search results - page 156 / 558 » A Practical Technique for Process Abstraction |
166
click to vote
ISAAC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We present a bit-parallel technique to search a text of length n for a regular expression of m symbols permitting k differences in worst case time O(mn/ logk s), where s...
154
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—This article discusses system-level techniques to optimize the power-performance trade-off in subthreshold circuits and presents a uniform platform for implementing ultr...
203
click to vote
ACPC
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. A number of techniques are described for solving sparse linear systems on parallel platforms. The general approach used is a domaindecomposition type method in which a pr...
172
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Software engineers usually represent problems and solutions aph-based notations at different levels of abstractions. These notations are often semi-formal, but the use of graph tr...
167
click to vote
DALT
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In most agent programming languages in practice a programmer is committed to the use of a single knowledge representation technology. In this paper we argue this is not n...