Sciweavers

3271 search results - page 388 / 655
» Controlled Multicast Framework
Sort
View
HYBRID
2004
Springer
15 years 12 months ago
Discrete State Estimators for a Class of Hybrid Systems on a Lattice
In this paper we consider the problem of estimating discrete variables in a class of hybrid systems where we assume that the continuous variables are available for measurement. Usi...
Domitilla Del Vecchio, Richard M. Murray
ICA
2004
Springer
15 years 12 months ago
Accurate, Fast and Stable Denoising Source Separation Algorithms
Abstract. Denoising source separation is a recently introduced framework for building source separation algorithms around denoising procedures. Two developments are reported here. ...
Harri Valpola, Jaakko Särelä
IFIP
2004
Springer
15 years 12 months ago
Reasoning about Secure Interoperation Using Soft Constraints
Abstract The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for sy...
Stefano Bistarelli, Simon N. Foley, Barry O'Sulliv...
SAC
2003
ACM
15 years 11 months ago
Basic Components for Constraint Solver Cooperations
We propose a predefined set of basic components for designing and implementing constraint solver cooperations and solver cooperation languages. Combining these components into pa...
Eric Monfroy, Carlos Castro
DATE
2002
IEEE
103views Hardware» more  DATE 2002»
15 years 11 months ago
Communication Mechanisms for Parallel DSP Systems on a Chip
We consider the implication of deep sub-micron VLSI technology on the design of communication frameworks for parallel DSP systems-on-chip. We assert that distributed data transfer...
Joseph Williams, Nevin Heintze, Bryan D. Ackland