Gerasoulis And, Program Transformation, R. Paige, J. Reif, R. Wachter (eds, Z. Wu, ...
processors, Proc. of Supercomputing '91, IEEE, Albuquerque, NM, Nov. 1991, pp. 633-642. 1992 8. T. Yang and A. Gerasoulis, A parallel programming tool for scheduling on distributed memory...
Architecture Description Languages for High Integrity Real-Time Systems (2006)
[First paragraph] Safety-critical systems, such as those in the avionics, automotive, power, space, and medical industries, are predominantly driven by real-time embedded software and are often...
Knowledge-Based Systems: A Re-Evaluation (2006)
Abdullah, M.S., Kimble, C., Benest, I., Paige, R.
Purpose – The goal of this paper is to re-evaluate the role of knowledge-based systems (KBS) in knowledge management (KM). While knowledge-based systems and expert systems were widely used in the...
More Efficient Bottom-Up Tree Pattern Matching, (1998)
Cai, J., Paige, R., Tarjan, R.
Pattern matching in trees is fundamental to a variety of programming language systems. However, progress has been slow in satisfying a pressing need for general purpose pattern matching algorithms...
Father still knows best :--an ideological analysis of Picket Fences /--R. Paige Martin. (1995)
Abstract.
Scheduling and Code Generation for Parallel Architectures (1993)
Tao Yang, Program Transformation, R. Paige, J. Reif, R. Wachter (eds, A. Gerasoulis, ...
.46> News, Vol. 18, No. 3, September, 1990. 1991 7. T. Yang and A. Gerasoulis, A fast static scheduling algorithm for DAGs on an unbounded number of processors, Proc. of Supercomputing '91,...
Derivation of Parallel Sorting Algorithms (1993)
R. Paige, J. Reif, R. Wachter, Douglas R. Smith
Parallel algorithms can be derived from formal problem specifications by applying a sequence of transformations that embody information about algorithms, data structures, and optimization techniques....
More Efficient Bottom-Up Multi-Pattern Matching in Trees (1992)
Pattern matching in trees is fundamental to a variety of programming language systems. However, progress has been slow in satisfying a pressing need for general purpose pattern matching algorithms...
The one- and multi-sample problem for functional data with application to projective shape analysis
Munk, A., Paige, R., Pang, J., Patrangenaru, V., Ruymgaart, F.
In this paper tests are derived for testing neighborhood hypotheses for the one- and multi-sample problem for functional data. Our methodology is used to generalize testing in projective shape...