330 search results - page 61 / 66 » Reflections on a programming Olympiad |
118
Voted
SIGSOFT
2006
ACM
16 years 12 days ago
2006
ACM
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...
74
Voted
SIGSOFT
2004
ACM
16 years 12 days ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
WWW
2008
ACM
16 years 10 days ago
2008
ACM
With the emergence of Yahoo Pipes and several similar services, data mashup tools have started to gain interest of business users. Making these tools simple and accessible to user...
WWW
2001
ACM
16 years 9 days ago
2001
ACM
"The Amber Room on the Web" project provides wide public access to information about the process of reconstruction of the Amber Room of the Catherine Palace outside of S...
95
Voted
ICALP
2009
Springer
15 years 12 months ago
2009
Springer
We initiate the study of sublinear-time algorithms in the external memory model [14]. In this model, the data is stored in blocks of a certain size B, and the algorithm is charged...