446 search results - page 41 / 90 » How was your day |
JCDL
2006
ACM
14 years 1 months ago
2006
ACM
This paper discusses the specification, organization, and utility of time references identified in digital library materials, emphasizing how to treat date references that cannot ...
CHARME
2001
Springer
14 years 10 days ago
2001
Springer
Abstract Most verifications of out-of-order microprocessors compare state-machine-based implementations and specifications, where the specification is based on the instruction-s...
EP
1998
Springer
14 years 1 days ago
1998
Springer
Abstract. The singular value decomposition, or SVD , has been studied in the past as a tool for detecting and understanding patterns in a collection of documents. We show how the m...
ASPDAC
2008
ACM
13 years 9 months ago
2008
ACM
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits us...
COMPSEC
2004
13 years 7 months ago
2004
The idea of risk permeates the information security field. We use terms like ``risk management'', ``risk assessment'', ``risk model'' and ``risk analy...