11740 search results - page 2123 / 2348 » More Problems in Rewriting |
176
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
There has been great interest in deciding whether a combinatorial structure satisfies some property, or in estimating the value of some numerical function associated with this com...
159
click to vote
PPOPP
2010
ACM
16 years 4 months ago
2010
ACM
Chip multi-processors (CMPs) have become ubiquitous, while tools that ease concurrent programming have not. The promise of increased performance for all applications through ever ...
210
click to vote
ECIR
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. This paper concerns document ranking in information retrieval. In information retrieval systems, the widely accepted probability ranking principle (PRP) suggests that, fo...
216
click to vote
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
177
Voted
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...