2838 search results - page 462 / 568 » Verifying Controlled Components |
105
Voted
DCC
2008
IEEE
16 years 1 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...
130
Voted
ICCD
2007
IEEE
15 years 11 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
15 years 11 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...
122
Voted
ICCAD
2004
IEEE
15 years 11 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...
131
Voted
IEEEARES
2010
IEEE
15 years 9 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...