659 search results - page 75 / 132 » Integrated Design and Implementation of Digital Controllers |
ISQED
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— A matrix is described that transforms input vectors (blocks) of length (K − 2), consisting of digital PAM vector components, into output vectors (blocks) of length K. The mat...
DRM
2005
Springer
15 years 3 months ago
2005
Springer
DRM has been widely promoted as a means to enforce copyright. In many previous papers, it has been argued that DRM gives too much power to rights holders and actually goes beyond ...
KES
2006
Springer
14 years 10 months ago
2006
Springer
The trends and recent changes in logistics lead to complex and partially conflicting requirements on logistic planning and control systems. Due to the lack of efficiency of curren...
ACSAC
2003
IEEE
15 years 1 months ago
2003
IEEE
We propose an efficient and flexible system for a secure and authentic data exchange in a multiinstitutional environment, where the institutions maintain different databases and p...