rob_quill's library 30 articles Export

	Specifying and refining program transformations using temporal logic side conditions [My Copy] ACM Trans. Program. Lang. Syst. (2008) by Sara Kalvala, David Lacey, Richard Warburton posted to no-tag by rob_quill on 2008-05-09 16:05:41 as
	An Algorithm for Translating Boolean Expressions [My Copy] J. ACM, Vol. 9, No. 2. (April 1962), pp. 222-239. by Bruce W. Arden, Bernard A. Galler, Robert M. Graham posted to no-tag by rob_quill on 2008-05-09 16:01:48 as along with 1 person hubris
	Analysis and Transformation in an Interactive Parallel Programming Tool [My Copy] Concurrency: Prac\-tice and Experience, Vol. 5, No. 7. (1993), pp. 575-602. by K. Kennedy, K. S. Mckinley, C. W. Tseng posted to no-tag by rob_quill on 2008-05-09 16:00:12 as
	Program transformation using temporal logic specification [My Copy] (2003) by David Lacey posted to no-tag by rob_quill on 2008-05-09 15:55:01 as
	Structured Computer Organization (5th Edition) [My Copy] (25 June 2005) by Andrew S. Tanenbaum posted to no-tag by rob_quill on 2008-05-09 15:42:21 as along with 1 person alessandro_dr
	Logic in Computer Science: Modelling and Reasoning about Systems [My Copy] (30 August 2004) by Michael Huth, Mark Ryan posted to no-tag by rob_quill on 2008-05-09 15:38:41 as along with 3 people dokooh BastianSpanneberg leonardo
	Introduction to Modal and Temporal Mu-Calculi [My Copy] CONCUR 2002 — Concurrency Theory (2002), pp. 221-231. by Julian Bradfield posted to no-tag by rob_quill on 2008-05-09 15:37:27 as
	Compiler transformations for high-performance computing [My Copy] ACM Comput. Surv., Vol. 26, No. 4. (December 1994), pp. 345-420. by David F. Bacon, Susan L. Graham, Oliver J. Sharp posted to no-tag by rob_quill on 2008-05-05 19:13:43 as along with 1 person bfraser
	Maximum loop distribution and fusion for two-level loops considering code size [My Copy] Parallel Architectures,Algorithms and Networks, 2005. ISPAN 2005. Proceedings. 8th International Symposium on In Parallel Architectures,Algorithms and Networks, 2005. ISPAN 2005. Proceedings. 8th International Symposium on (2005), 6 pp.. by M. Liu, Q. Zhuge, Z. Shao, C. Xue, M. Qiu, E. H. M. Sha posted to no-tag by rob_quill on 2008-05-05 19:11:45 as
	Practical techniques to augment dependence analysis in the presence of symbolic terms [My Copy] (1997) by Gina G. Goff posted to no-tag by rob_quill on 2008-05-05 19:08:03 as
	Minimum dependence distance tiling of nested loops with non-uniform dependences [My Copy] Parallel and Distributed Processing, 1994. Proceedings. Sixth IEEE Symposium on In Parallel and Distributed Processing, 1994. Proceedings. Sixth IEEE Symposium on (1994), pp. 74-81. by S. Punyamurtula, V. Chaudhary posted to no-tag by rob_quill on 2008-05-05 19:03:43 as
	The power test for data dependence [My Copy] Parallel and Distributed Systems, IEEE Transactions on In Parallel and Distributed Systems, IEEE Transactions on, Vol. 3, No. 5. (1992), pp. 591-601. by M. Wolfe, C. W. Tseng posted to no-tag by rob_quill on 2008-05-05 18:56:13 as
	Automated soundness proofs for dataflow analyses and transformations via local rules [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 364-377. by Sorin Lerner, Todd Millstein, Erika Rice, Craig Chambers posted to no-tag by rob_quill on 2008-05-05 18:50:17 as along with 2 people surana bec
	On exact data dependence analysis [My Copy] In ICS '92: Proceedings of the 6th international conference on Supercomputing (1992), pp. 303-312. by Kleanthis Psarris posted to no-tag by rob_quill on 2008-05-05 18:38:59 as
	A practical algorithm for exact array dependence analysis [My Copy] Commun. ACM, Vol. 35, No. 8. (August 1992), pp. 102-114. by William Pugh posted to no-tag by rob_quill on 2008-05-05 16:47:07 as
	A Survey of Parallel Machine Organization and Programming [My Copy] ACM Comput. Surv., Vol. 9, No. 1. (March 1977), pp. 29-59. by David J. Kuck posted to no-tag by rob_quill on 2008-05-05 15:58:22 as
	Efficient and exact data dependence analysis [My Copy] In PLDI '91: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation (1991), pp. 1-14. by Dror E. Maydan, John L. Hennessy, Monica S. Lam posted to no-tag by rob_quill on 2008-05-05 15:54:38 as
	Delinearization: an efficient way to break multiloop dependence equations [My Copy] SIGPLAN Not., Vol. 27, No. 7. (July 1992), pp. 152-161. by Vadim Maslov posted to no-tag by rob_quill on 2008-05-05 15:50:52 as
	Automatically proving the correctness of program analyses and transformations [My Copy] (2006) by Sorin L. Lerner posted to no-tag by rob_quill on 2008-05-05 15:48:19 as
	Dependency Analysis Of For-Loop Structures For Automatic Parallization Of C Code [My Copy] In Midwest Instruction and Computing Symposium (April 2003) by Tim Jacobson, Gregg Stubbendieck posted to no-tag by rob_quill on 2008-05-05 15:45:33 as
	Dependence Testing for Parallelizing Compilers [My Copy] (May 2003) by Franjo Plavec posted to no-tag by rob_quill on 2008-05-05 15:09:24 as
	Definitions of dependence distance [My Copy] ACM Lett. Program. Lang. Syst., Vol. 1, No. 3. (September 1992), pp. 261-265. by William Pugh posted to no-tag by rob_quill on 2008-05-04 23:52:15 as
	An Overview of Cache Optimization Techniques and Cache-Aware Numerical Algorithms [My Copy] Algorithms for Memory Hierarchies (2003), pp. 213-232. by Markus Kowarschik, Christian Weiß posted to no-tag by rob_quill on 2008-05-04 23:35:32 as
	Reordering the statements with dependence cycles to improve the performance of parallel loops [My Copy] Parallel and Distributed Systems, 1997. Proceedings., 1997 International Conference on In Parallel and Distributed Systems, 1997. Proceedings., 1997 International Conference on (1997), pp. 322-328. by Chih-Ping Chu, D. L. Carver posted to no-tag by rob_quill on 2008-05-04 23:13:30 as
	An analysis of recurrence relations in Fortran Do-loops for vector processing [My Copy] Parallel Processing Symposium, 1991. Proceedings., Fifth International In Parallel Processing Symposium, 1991. Proceedings., Fifth International (1991), pp. 619-625. by Chih-Ping Chu, D. L. Carver posted to no-tag by rob_quill on 2008-05-04 23:09:17 as
	Automatic translation of FORTRAN programs to vector form [My Copy] ACM Trans. Program. Lang. Syst., Vol. 9, No. 4. (October 1987), pp. 491-542. by Randy Allen, Ken Kennedy posted to no-tag by rob_quill on 2008-05-02 03:46:23 as
	Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science) [My Copy] (22 March 1996) by Jim Woodcock, Jim Davies posted to no-tag by rob_quill on 2008-05-01 22:10:35 as
	Compilers: Principles, Techniques, and Tools (2nd Edition) [My Copy] (31 August 2006) by Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman posted to no-tag by rob_quill on 2008-05-01 22:10:03 as along with 11 people and 1 group robotact jmmcg riah pnpo NickGasson Neeperando dherman mldechert chandlerc dfisher jasmithoffice NU-PRL
	Practical dependence testing [My Copy] SIGPLAN Notices In Proceedings of the ACM SIGPLAN '91 Conference on Programming Language Design and Implementation, Vol. 26, No. 6. (June 1991), pp. 15-29. by G. Goff, Ken Kennedy, C. W. Tseng posted to no-tag by rob_quill on 2008-05-01 22:03:52 as
	A loop parallelization algorithm for HPF compilers [My Copy] Languages and Compilers for Parallel Computing (1996), pp. 176-190. by Kazuaki Ishizaki, Hideaki Komatsu posted to no-tag by rob_quill on 2008-05-01 21:35:43 as

Note: You may cite this page as: http://www.citeulike.org/user/rob_quill

rob_quill's library 30 articles Export

rob_quill's tags