본문

  1. Home
8 Results:UU:VOL5 PP:ASSOCIATION FOR COMPUTING MACHINERY 0.91 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
1
Performance Evaluation and Model Checking Join Forces: A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques
Performance Evaluation and Model Checking Join Forces: A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques
Baier, C., | Association for Computing Machinery | 2010 ,
2
Revitalizing Computing Education Through Free and Open Source Software for Humanity
Revitalizing Computing Education Through Free and Open Source Software for Humanity
Morelli, R., | Association for Computing Machinery | 2009 ,
3
The Status of the P versus NP Problem
The Status of the P versus NP Problem
Fortnow, L., | Association for Computing Machinery | 2009 ,
4
Automated Support for Managing Feature Requests in Open Forums
Automated Support for Managing Feature Requests in Open Forums
Cleland-Huang, J., | Association for Computing Machinery | 2009 ,
5
Certified Software: Only if the programmer can prove (through formal machine-checkable proofs) it's free of bugs with respect to a claim of dependability
Certified Software: Only if the programmer can prove (through formal machine-checkable proofs) it's free of bugs with respect to a claim of dependability
Shao, Z., | Association for Computing Machinery | 2010 ,
6
Privacy-Preserving Network Forensics
Privacy-Preserving Network Forensics
Afanasyev, M., | Association for Computing Machinery | 2011 ,
7
The Rise and Fall of High Performance Fortran
The Rise and Fall of High Performance Fortran
Kennedy,, | Association for Computing Machinery | 2011 ,
8
Formal Analysis of MPI-based Parallel Programs
Formal Analysis of MPI-based Parallel Programs
Gopalakrishnan, G., | Association for Computing Machinery | 2011 ,
처음1마지막