6167 search results - page 949 / 1234 » Can Refinement be Automated |
116
click to vote
CGO
2009
IEEE
15 years 8 months ago
2009
IEEE
Recent work has shown that machine learning can automate and in some cases outperform hand crafted compiler optimizations. Central to such an approach is that machine learning tec...
126
Voted
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Can models of collaboration serve as a foundation for development of collaborative technologies in much the same way that engineers use models when developing complex systems? We ...
128
click to vote
ISBI
2009
IEEE
15 years 8 months ago
2009
IEEE
In live-cell fluorescence microscopy imaging, quantitative analysis of biological image data generally involves the detection of many subresolution objects, appearing as diffract...
121
click to vote
ISPASS
2009
IEEE
15 years 8 months ago
2009
IEEE
Until recently, parallel programming has largely focused on the exploitation of data-parallelism in dense matrix programs. However, many important application domains, including m...
CADE
2009
Springer
15 years 8 months ago
2009
Springer
predicate abstraction Shuvendu K. Lahiri and Shaz Qadeer Microsoft Research In this paper, we investigate the asymptotic complexity of various predicate abstraction problems relati...