430 search results - page 58 / 86 » Statistical Certification of Software Systems |
125
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
124
click to vote
IUI
2009
ACM
16 years 13 days ago
2009
ACM
We present data-driven methods for supporting musical creativity by capturing the statistics of a musical database. Specifically, we introduce a system that supports users in expl...
76
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Future computing systems will feature many cores that run fast, but might show more faults compared to existing CMOS technologies. New software methodologies must be adopted to ...
108
Voted
ISPASS
2006
IEEE
15 years 9 months ago
2006
IEEE
— Due to the long simulation times of the reference input sets, microarchitects resort to alternative techniques to speed up cycle-accurate simulations. However, the reduction in...
135
click to vote
APCCM
2008
15 years 5 months ago
2008
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...