2940 search results - page 336 / 588 » Behavioral Constraints for Services |
134
click to vote
FTEDA
2006
15 years 6 months ago
2006
The explosive growth of embedded electronics is bringing information and control systems of increasing complexity to every aspects of our lives. The most challenging designs are s...
151
click to vote
JEC
2006
15 years 5 months ago
2006
Chip multi-processors (CMP) are rapidly emerging as an important design paradigm for both high performance and embedded processors. These machines provide an important performance...
165
click to vote
LISP
2008
15 years 5 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
163
click to vote
TIT
2008
15 years 5 months ago
2008
The problem of distributed Bayesian estimation is considered in the context of a wireless sensor network. The Bayesian estimation performance is analyzed in terms of the expected F...
151
click to vote
TSP
2008
15 years 5 months ago
2008
A new framework for designing robust adaptive filters is introduced. It is based on the optimization of a certain cost function subject to a time-dependent constraint on the norm o...