3130 search results - page 228 / 626 » Design Correctness of Digital Systems |
181
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
123
click to vote
PODC
2004
ACM
15 years 9 months ago
2004
ACM
The Border Gateway Protocol (BGP) for interdomain routing is designed to allow autonomous systems (ASes) to express policy preferences over alternative routes. We model these pref...
170
click to vote
MM
2009
ACM
15 years 9 months ago
2009
ACM
Content Based Image Retrieval (CBIR) has become one of the most active research areas in computer science. Relevance feedback is often used in CBIR systems to bridge the semantic ...
106
click to vote
INTETAIN
2005
Springer
15 years 10 months ago
2005
Springer
Webcrow is a software system whose aim is to solve crosswords. Problems of like solving crosswords have been informally defined as AI-Complete and are extremely challenging for ma...
165
click to vote
SASN
2003
ACM
15 years 9 months ago
2003
ACM
Peer-to-Peer (P2P) applications and services are very common in today’s computing. The popularity of the P2P paradigm prompts the need for specialized security services which ma...