9067 search results - page 1640 / 1814 » Adaptive Model Checking |
178
click to vote
BTW
2005
Springer
16 years 10 days ago
2005
Springer
: This paper presents the MINERVA project that protoypes a distributed search engine based on P2P techniques. MINERVA is layered on top of a Chord-style overlay network and uses a ...
178
click to vote
APLAS
2004
ACM
16 years 9 days ago
2004
ACM
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...
226
click to vote
ASPDAC
2004
ACM
16 years 9 days ago
2004
ACM
— We examine an abstract formulation of BIST diagnosis in digital logic systems. The BIST diagnosis problem has applications that include identification of erroneous test vector...
202
click to vote
CF
2004
ACM
16 years 9 days ago
2004
ACM
New applications and standards are first conceived only for functional correctness and without concerns for the target architecture. The next challenge is to map them onto an arch...
173
click to vote
CSCW
2004
ACM
16 years 9 days ago
2004
ACM
A framework is described for analyzing keystroke level data from instant messages (IM). This is unlike other analyses of IM which employ server-based logs of messages. This framew...