Sciweavers

2786 search results - page 156 / 558
» A Practical Technique for Process Abstraction
Sort
View
119
Voted
ISAAC
2003
Springer
117views Algorithms» more  ISAAC 2003»
15 years 7 months ago
Approximate Regular Expression Searching with Arbitrary Integer Weights
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...
Gonzalo Navarro
DATE
2010
IEEE
131views Hardware» more  DATE 2010»
15 years 7 months ago
Ultra-low power mixed-signal design platform using subthreshold source-coupled circuits
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...
Armin Tajalli, Yusuf Leblebici
147
Voted
ACPC
1999
Springer
15 years 6 months ago
Non-standard Parallel Solution Strategies for Distributed Sparse Linear Systems
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...
Yousef Saad, Masha Sosonkina
120
Voted
BIRTHDAY
2005
Springer
15 years 3 months ago
From Graph Transformation to Software Engineering and Back
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...
Luciano Baresi, Mauro Pezzè
118
Voted
DALT
2008
Springer
15 years 3 months ago
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages
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...
Mehdi Dastani, Koen V. Hindriks, Peter Nová...