2623 search results - page 481 / 525 » tools 2010 |
163
click to vote
SODA
2010
ACM
16 years 8 days ago
2010
ACM
Bidimensionality theory appears to be a powerful framework in the development of meta-algorithmic techniques. It was introduced by Demaine et al. [J. ACM 2005 ] as a tool to obtai...
136
Voted
ICS
2010
Tsinghua U.
16 years 8 days ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
141
click to vote
PPOPP
2010
ACM
16 years 4 days ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
125
click to vote
EUROSYS
2010
ACM
15 years 12 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverâ€...
135
click to vote
SOFSEM
2010
Springer
15 years 11 months ago
2010
Springer
Regret minimization has proven to be a very powerful tool in both computational learning theory and online algorithms. Regret minimization algorithms can guarantee, for a single de...