3130 search results - page 544 / 626 » Design Correctness of Digital Systems |
255
Voted
GIS
2005
ACM
16 years 4 months ago
2005
ACM
Geographic Information Systems (GIS) are increasingly managing very large sets of data and hence a centralized data repository may not always provide the most scalable solution. H...
140
Voted
MOBISYS
2009
ACM
16 years 3 months ago
2009
ACM
Point&Connect (P&C) offers an intuitive and resilient device pairing solution on standard mobile phones. Its operation follows the simple sequence of point-and-connect: wh...
142
click to vote
WWW
2006
ACM
16 years 4 months ago
2006
ACM
A search engine that can handle TV programs and Web content in an integrated way is proposed. Conventional search engines have been able to handle Web content and/or data stored i...
234
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...
139
Voted
KDD
2004
ACM
16 years 3 months ago
2004
ACM
This paper describes a prototype that predicts the shopping lists for customers in a retail store. The shopping list prediction is one aspect of a larger system we have developed ...