4421 search results - page 688 / 885 » Libraries |
129
click to vote
AUTONOMICS
2008
ACM
15 years 3 months ago
2008
ACM
Autonomic Management capabilities become increasingly important for attaining functional and quality goals in software systems. Nonetheless, successful Autonomic Management soluti...
117
click to vote
CAV
2008
Springer
15 years 3 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
102
click to vote
CIKM
2008
Springer
15 years 3 months ago
2008
Springer
This paper describes the Active Reading task, a recent addition to the INEX Book Search track1 . This task aims at exploring how people interact with e-books in different scenario...
ASPDAC
2005
ACM
15 years 3 months ago
2005
ACM
Abstract— As technology scales to 0.13 micron and below, designs are requiring buffers to be inserted on interconnects of even moderate length for both critical paths and fixing...
108
click to vote
CHI
2005
ACM
15 years 3 months ago
2005
ACM
Busy academics and professionals are being called upon to manage more and more relationships. Many details of collaboration are accessible in digital libraries and other repositor...