2838 search results - page 199 / 568 » Verifying Controlled Components |
105
Voted
ICASSP
2011
IEEE
14 years 4 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...
88
Voted
ICCD
2002
IEEE
2002
IEEE
Register Binding Based Power Management for High-level Synthesis of Control-Flow Intensive Behaviors
15 years 9 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...
128
Voted
CISS
2007
IEEE
15 years 7 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...
86
Voted
HICSS
2003
IEEE
15 years 6 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...
94
Voted
SAC
2010
ACM
15 years 5 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...