3130 search results - page 465 / 626 » Design Correctness of Digital Systems |
220
click to vote
EDBT
2002
ACM
16 years 6 months ago
2002
ACM
Applying meta search systems is a suitable method to support the user if there are many different services. Due to information splitting strategies of literature services existing ...
159
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
Presence-sharing is an emerging platform for mobile applications, but presence-privacy remains a challenge. Privacy controls must be flexible enough to allow sharing between both ...
157
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...
179
click to vote
SOSP
2005
ACM
16 years 3 months ago
2005
ACM
Energy consumption has become an important issue in high-end data centers, and disk arrays are one of the largest energy consumers within them. Although several attempts have been...
154
click to vote
KBSE
2007
IEEE
16 years 24 days ago
2007
IEEE
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...