2838 search results - page 199 / 568 » Verifying Controlled Components |
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
In this paper a novel approach for broadband feedback active noise control (ANC) is presented which is based on the combination of classical non-adaptive feedback and adaptive fee...
ICCD
2002
IEEE
2002
IEEE
Register Binding Based Power Management for High-level Synthesis of Control-Flow Intensive Behaviors
14 years 7 months ago
A circuit or circuit component that does not contain any spurious switching activity, i.e., activity that is not required by its specified functionality, is called perfectly power...
CISS
2007
IEEE
14 years 5 months ago
2007
IEEE
— Wireless communication is a critical component of battlefield networks. Nodes in a battlefield network exist in hostile environments and thus fault-tolerance against node and...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper1 provides a view of modeling the information dominance problem of military systems as representative of modeling other complex systems. The ideas are an extension of ea...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...