503 search results - page 74 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
128
click to vote
ERCIMDL
2007
Springer
15 years 7 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...
358
click to vote
SIGMOD
2012
ACM
13 years 3 months 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
15 years 2 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...
213
click to vote
ASPLOS
2009
ACM
16 years 2 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...
113
click to vote
CGO
2010
IEEE
15 years 8 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...