Sciweavers

3281 search results - page 91 / 657
» Bases for parametrized iterativity
Sort
View
IICS
2005
Springer
15 years 12 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 12 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 10 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 10 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 10 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ß