Sciweavers

3281 search results - page 91 / 657
» Bases for parametrized iterativity
Sort
View
IICS
2005
Springer
15 years 7 months ago
Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
Ismail Assayad, Sergio Yovine
ICA
2004
Springer
15 years 7 months ago
An Iterative Blind Source Separation Method for Convolutive Mixtures of Images
The paper deals with blind source separation of images. The model which is adopted here is a convolutive multi-dimensional one. Recent results about polynomial matrices in several ...
Marc Castella, Jean-Christophe Pesquet
ASPDAC
1999
ACM
77views Hardware» more  ASPDAC 1999»
15 years 6 months ago
Timing-Driven Bipartitioning with Replication Using Iterative Quadratic Programming
We present an algorithm for solving a general min-cut, twoway partitioning problem subject to timing constraints. The problem is formulated as a constrained programming problem an...
Shihliang Ou, Massoud Pedram
ISCAS
1999
IEEE
77views Hardware» more  ISCAS 1999»
15 years 6 months ago
Power reduction through iterative gate sizing and voltage scaling
The advent of portable and high-density devices has made power consumption a critical design concern. In this paper, we address the problem of reducing power consumption via gate-...
Chingwei Yeh, Min-Cheng Chang, Shih-Chieh Chang, W...
ESWS
2006
Springer
15 years 5 months ago
An Iterative Algorithm for Ontology Mapping Capable of Using Training Data
We present a new iterative algorithm for ontology mapping where we combine standard string distance metrics with a structural similarity measure that is based on a vector represent...
Andreas Heß