13383 search results - page 2479 / 2677 » Abstractions from proofs |
149
click to vote
PPOPP
2010
ACM
16 years 19 days ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
117
click to vote
ICDE
2010
IEEE
16 years 18 days ago
2010
IEEE
— Multi-criteria decision support (MCDS) is crucial in many business and web applications such as web searches, B2B portals and on-line commerce. Such MCDS applications need to r...
118
Voted
EUROSYS
2007
ACM
16 years 14 days 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...
119
Voted
ALT
2008
Springer
16 years 10 days ago
2008
Springer
Abstract. Three simple and explicit procedures for testing the independence of two multi-dimensional random variables are described. Two of the associated test statistics (L1, log-...
123
Voted
ALT
2008
Springer
16 years 10 days ago
2008
Springer
Abstract. Classical probability theory considers probability distributions that assign probabilities to all events (at least in the finite case). However, there are natural situat...