|
- Cornell ECE/CSL Technical Reports
- List all Reports
- Add a Technical Report
- Papers, 2002
José F. Martínez, Jose Renau, Michael C. Huang, Milos Prvulovic, and Josep Torrellas.
Cherry: Checkpointed Early Resource Recycling in Out-of-order Microprocessors.
International Symposium on Microarchitecture (MICRO), Istanbul, Turkey, November 2002.
(pdf)
José F. Martínez and Josep Torrellas.
Speculative Synchronization: Applying Thread-Level Speculation to Explicitly Parallel Applications.
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), San Jose, CA, October 2002.
(pdf)
Martin Burtscher and Benjamin G. Zorn.
Hybrid Load-Value Predictors.
IEEE Transactions on Computers, 51(7), July 2002.
(abstract)
Daehyun Kim, Mainak Chaudhuri, Mark Heinrich.
Leveraging Cache Coherence in Active Memory Systems.
Proceedings of the 16th International Conference on Supercomputing, pages 2-13, June 2002.
(pdf)
Evan Speight and Martin Burtscher.
Delphi: Prediction-Based Page Prefetching to Improve the Performance of Shared Virtual Memory Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, pages 49-55, June 2002.
(pdf)
Evan Speight.
PermaNT: Persistent Shared Memory for Windows NT/2000 Clusters.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, pages 69-75, June 2002.
(pdf)
Mainak Chaudhuri, Daehyun Kim, and Mark Heinrich.
Cache Coherence Protocol Design for Active Memory Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, pages 83-89, June 2002.
(pdf)
Martin Burtscher, A. Diwan, and M. Hauswirth.
Static Load Classification for Improving the Value Predictability of Data-Cache Misses.
ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2002.
(abstract)
Mark Heinrich, Evan Speight, and Mainak Chaudhuri.
Active Memory Clusters: Efficient Multiprocessing on Commodity Clusters.
Proceedings of the Fourth International Symposium on High Performance Computing, Lecture Notes in Computer Science vol. 2327, pages 78-92, May 2002.
(pdf)
John Teifel, David Fang, David Biermann, Clinton Kelly IV, and Rajit Manohar.
Energy-Efficient Pipelines.
Proceedings of the 8th International Symposium on Asynchronous Circuits and Systems, Manchester, UK, March 2002.
(abstract, ps)
- Papers, 2001
Rajit Manohar and Clinton Kelly IV.
Network on a Chip: Modeling Wireless Networks with Asynchronous VLSI.
IEEE Communications Magazine, November 2001.
(abstract, pdf, ps)
Rajit Manohar.
Width-Adaptive Data Word Architectures.
Proceedings of the 19th Conference on Advanced Research in VLSI, Salt Lake City, Utah, March 2001.
(abstract, ps)
Rajit Manohar, Mika Nyström, and Alain J. Martin.
Precise Exceptions in Asynchronous Processors.
Proceedings of the 19th Conference on Advanced Research in VLSI, Salt Lake City, Utah, March 2001.
(abstract, ps)
Rajit Manohar.
An Analysis of Reshuffled Handshaking Expansions.
Proceedings of the 7th International Symposium on Asynchronous Circuits and Systems, Salt Lake City, Utah, March 2001.
(abstract, ps)
- Papers, 2000
M. Burtscher and B.G. Zorn.
Hybrid Load Value Predictors.
Cornell Computer Systems Lab Technical Report CSL-TR-2000-1010, December 2000.
(abstract, pdf)
J. Gibson, R. Kunz, D. Ofelt, M. Horowitz, J. Hennessy, and M. Heinrich.
FLASH vs. (Simulated) FLASH: Closing the Simulation Loop.
Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 49-58, November 2000.
(pdf)
A. Chou, B. Chelf, D. Engler, and M. Heinrich.
Using Meta-Level Compilation to Check FLASH Protocol Code.
Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 59-70, November 2000.
(ps)
M. Heinrich and E. Speight.
Providing Hardware DSM Performance at Software DSM Cost.
Cornell Computer Systems Lab Technical Report CSL-TR-2000-1008, November 2000.
(ps)
M. Burtscher and A. Diwan.
On Compiler Support for Value Prediction.
Cornell Computer Systems Lab Technical Report CSL-TR-2000-1007, November 2000.
(abstract, pdf)
M. Burtscher and B. G. Zorn.
Hybridizing and Coalescing Load Value Predictors.
International Conference on Computer Design, pp. 81-92. September 2000.
(abstract)
Evan Speight, Hazim Abdel-Shafi, and John K. Bennett.
WSDLite: A Lightweight Alternative to Windows Sockets Direct Path.
Proceedings of the 4th Usenix Windows Systems Symposium, Seattle, WA, August 2000.
(pdf)
Rajit Manohar.
A Case for Asynchronous Computer Architecture.
Proceedings of the ISCA Workshop on Complexity-Effective Design, June 2000.
(abstract, ps)
R. Manohar and M. Heinrich.
A Case For Asynchronous Active Memories.
ISCA 2000 Solving the Memory Wall Problem Workshop, June 2000.
(abstract, ps)
- Papers, 1999
R. Manohar and M. Heinrich.
The Branch Processor Architecture.
Cornell Computer Systems Lab Technical Report CSL-TR-1999-1000, November 1999.
(ps)
Rajit Manohar, Tak-Kwan Lee, and Alain J. Martin.
Projection: A Synthesis Technique for Concurrent Systems.
Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems, April 1999.
(abstract, ps)
J. Hennessy, A. Gupta, and M. Heinrich.
Cache-Coherent Distributed Shared Memory: Perspectives on Its Development and Future Challenges.
Proceedings of the IEEE, 87(3):418-429, Special Issue on Distributed Shared Memory, March 1999.
(ps)
M. Heinrich, R. Soundararajan, J. Hennessy, and A. Gupta.
A Quantitatitve Analysis of the Performance and Scalability of Distributed Shared Memory Cache Coherence Protocols.
IEEE Transactions on Computers, 48(2):205-217, Special Issue on Cache Memory and Related Problems, February 1999.
(pdf)
Rajit Manohar.
The Entropy of Traces in Parallel Computation.
IEEE Transactions on Information Theory, 45(5), July 1999.
(abstract, ps)
K. Rustan M. Leino and Rajit Manohar.
Joining Specification Statements.
Theoretical Computer Science, 216:375-394, March 1999.
(abstract, ps)
- Internal Documents
- List
- Add
|
|
|
