1859 search results - page 29 / 372 » Sketch-based path design |
CAV
2008
Springer
13 years 11 months ago
2008
Springer
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
OSDI
1996
ACM
13 years 10 months ago
1996
ACM
This paper makes a case for paths as an explicit abstraction in operating system design. Paths provide a unifying infrastructure for several OS mechanisms that have been introduce...
ANCS
2008
ACM
13 years 11 months ago
2008
ACM
Capabilities-based networks present a fundamental shift in the security design of network architectures. Instead of permitting the transmission of packets from any source to any d...
ASPDAC
2012
ACM
12 years 4 months ago
2012
ACM
With technology scaling, integrated circuits behave more unpredictably due to process variation, environmental changes and aging effects. Various variation-aware and adaptive desi...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— The reduction of the kinematics and/or dynamics of a high-DOF robotic manipulator to a low-dimension “task space” has proven to be an invaluable tool for designing feedback...