7766 search results - page 1082 / 1554 » Testing Nondeterminate Systems |
154
click to vote
SAC
2011
ACM
14 years 7 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
180
Voted
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
The use of statistical pattern recognition models to segment the left ventricle of the heart in ultrasound images has gained substantial attention over the last few years. The mai...
248
click to vote
SIGMOD
2009
ACM
16 years 5 months ago
2009
ACM
Schema evolution poses serious challenges in historical data management. Traditionally historical data have been archived either by (i) migrating them into the current schema vers...
143
click to vote
SOSP
2009
ACM
16 years 1 months ago
2009
ACM
Bugs in kernel extensions remain one of the main causes of poor operating system reliability despite proposed techniques that isolate extensions in separate protection domains to ...
163
click to vote
RV
2007
Springer
15 years 11 months ago
2007
Springer
A significant number of cyber assaults are attempted against open source internet support software written in C, C++, or Java. Examples of these software packages include the Apac...