|
|
|
Welcome Guest! Login/Join |
| Directory: | Computers / Computer_Science / Conferences / 2002 |
| Title: | FORTE 2002 |
| Description: | 22nd International Conference on Formal Techniques for Networked and Distributed Systems. Houston, Texas, USA; 11–14 November 2002. |
| Location: | http://www.cs.rice.edu/FORTE02/ |
| |
|
| | |
| Directory: | Computers / Computer_Science / People / R |
| Title: | Rajamony, Ramakrishnan |
| Description: | IBM Research, System Software Department - energy conservation for servers, operating systems, and networking. |
| Location: | http://www.cs.rice.edu/~rrk/index.shtml |
| |
|
| | |
| Directory: | Computers / Computer_Science / Theoretical / Complexity_Theory / People |
| Title: | Vardi, Moshe Y. |
| Description: | Recent paper on the hardness of random formulas for SAT solver; bounded tree-width. |
| Location: | http://www.cs.rice.edu/~vardi/ |
| |
|
| | |
| Directory: | Computers / Data_Communications / Wireless |
| Title: | Ad-hockey |
| Description: | Wireless mobile network simulator. |
| Location: | http://www.monarch.cs.rice.edu/cmu-ns.html |
| |
|
| | |
| Directory: | Computers / Parallel_Computing |
| Title: | Is Parallel Computing Dead? |
| Description: | Article about the future of the parallel computing industry. |
| Location: | http://www.crpc.rice.edu/newsletters/oct94/director.html |
| |
|
| | |
| Directory: | Computers / Parallel_Computing / Documentation |
| Title: | Parallel Computing Research |
| Description: | Newsletter of the Center for Research on Parallel Computation at Rice |
| Location: | http://www.crpc.rice.edu/newsletters/ |
| |
|
| | |
| Directory: | Computers / Parallel_Computing / Programming / Environments |
| Title: | TreadMarks - Distributed Shared Memory System |
| Description: | Provides a global shared address space across a cluster. Papers and documentation. |
| Location: | http://www.cs.rice.edu/~willy/TreadMarks/overview.html |
| |
|
| | |
| Directory: | Computers / Parallel_Computing / Programming / Languages / High_Performance_Fortran / Documentation |
| Title: | High Performance Fortran Applications |
| Description: | Tutorials, algorithms, sample code, and research papers. |
| Location: | http://www.cs.rice.edu/~chk/hpf-tutorial.html |
| |
|
| | |
| Directory: | Computers / Parallel_Computing / Programming / Languages / High_Performance_Fortran / Documentation |
| Title: | High Performance Fortran Benchmark |
| Description: | Documentation, code, and technical reports. |
| Location: | http://softlib.rice.edu/hpf.html |
| |
|
| | |
| Directory: | Computers / Parallel_Computing / Projects |
| Title: | D System |
| Description: | Research into program analysis, code generation, and programming tools for data-parallel languages. Technical papers. |
| Location: | http://www.cs.rice.edu/~dsystem/ |
| |
|
| | |
Hosting Metrics