823 search results - page 146 / 165 » Stateful Subset Cover |
DRM
2003
Springer
14 years 3 months ago
2003
Springer
In the Foundation series, Asimov predicted a 1,000 years of darkness following the fall of the galactic empire. In the book Noir, K.W Jeter describes a world where IP is the ultim...
RV
2009
Springer
14 years 2 months ago
2009
Springer
Monitoring of software’s execution is crucial in numerous software development tasks. Current monitoring efforts generally require extensive instrumentation of the software or d...
ELPUB
2000
ACM
14 years 2 months ago
2000
ACM
The paper discusses the use of electronic publishing for the preservation and dissemination of rare manuscript material. It is based both upon the authors’ earlier work on multi...
IUI
1999
ACM
14 years 2 months ago
1999
ACM
We describe an approach to building integrated performance support systems by using model-based task tracking to link performance support tools to video-based organizational memor...
ICCAD
1999
IEEE
14 years 2 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...