2838 search results - page 462 / 568 » Verifying Controlled Components |
DCC
2008
IEEE
14 years 9 months ago
2008
IEEE
This paper considers the problem of distributed scalable coding of correlated sources that are communicated to a central unit. The general setting is typically encountered in sens...
ICCD
2007
IEEE
14 years 7 months ago
2007
IEEE
Because of the growing importance of decimal floating-point (DFP) arithmetic, specifications for it are included in the IEEE Draft Standard for Floating-point Arithmetic (IEEE P75...
ICCAD
2006
IEEE
14 years 7 months ago
2006
IEEE
An approach to robust system level mixed signal design is presented based on analog platforms. The bottom-up characterization phase of platform components provides accurate perfor...
ICCAD
2004
IEEE
14 years 7 months ago
2004
IEEE
New embedded systems offer rich power management features in the form of multiple operational and non-operational power modes. While they offer mechanisms for better energy effic...
IEEEARES
2010
IEEE
14 years 5 months ago
2010
IEEE
—Trusted Computing aims at enhancing the security of IT systems by using a combination of trusted hardware and software components to provide security guarantees. This includes s...