7890 search results - page 1491 / 1578 » The MathSAT 3 System |
IEEEPACT
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents an automated performance tuning solution, which partitions a program into a number of tuning sections and finds the best combination of compiler options for e...
INFOCOM
2006
IEEE
15 years 3 months ago
2006
IEEE
— Efficient and scalable live-streaming overlay construction has become a hot topic recently. In order to improve the performance metrics, such as startup delay, source-to-end de...
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
PLDI
2006
ACM
15 years 3 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
SAC
2006
ACM
15 years 3 months ago
2006
ACM
We report a comprehensive evaluation of the topological structure of protein-protein interaction (PPI) networks by mining and analyzing graphs constructed from the publicly availa...