503 search results - page 74 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
ERCIMDL
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Optical music recognition (OMR) enables librarians to digitise early music sources on a large scale. The cost of expert human labour to correct automatic recognition erro...
210
click to vote
SIGMOD
2012
ACM
13 years 6 days ago
2012
ACM
Tableau is a commercial business intelligence (BI) software tool that supports interactive, visual analysis of data. Armed with a visual interface to data and a focus on usability...
WICSA
2008
14 years 11 months ago
2008
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requi...
172
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...
CGO
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a finding and a technique on program behavior prediction. The finding is that surprisingly strong statistical correlations exist among the behaviors of diffe...