Result 1 to 16 of 16 total
Improving performance of optimized kernels through fast instantiations of templates. (English)
Concurrency Comput. Pract. Exp. 21, No. 1, 59-70 (2009).
1
Compiling Mercury to high-level C code. (English)
Horspool, R. Nigel (ed.), Compiler construction. 11th international conference, CC 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Berlin: Springer (ISBN 3-540-43369-4). Lect. Notes Comput. Sci. 2304, 197-212 (2002).
2
Alignment and distribution is not (always) NP-hard. (English)
J. Parallel Distrib. Comput. 61, No.4, 501-519 (2001).
3
Efficient index generation for compiling two-level mappings in data-parallel programs. (English)
J. Parallel Distrib. Comput. 60, No.2, 189-216 (2000).
4
Compiler support for low-cost synchronization among threads. (English)
D’Hollander, E. H. (ed.) et al., Parallel computing: fundamentals, applications and new directions. Conference ParCo 97, Bonn, Germany, September 19-22, 1997. Amsterdam: North-Holland/ Elsevier. Adv. Parallel Comput. 12, 485-494 (1998).
5
Portable checkpointing for heterogeneous architectures. (English)
Avresky, Dimiter R. (ed.) et al., Fault-tolerant parallel and distributed systems. Selected and revised articles at the IEEE workshops, FTPDS ’98, Hawaii, Honolulu 1996 and Geneva, Switzerland, 1997. Boston: Kluwer Academic Publishers. 73-91 (1998).
6
Andorra-I compilation. (English)
New Generation Comput. 14, No. 1, 3-30 (1996).
7
Correctness of compiling occam to transputer code. (English)
Comput. J. 39, No. 1, 52-92 (1996).
8
Special issue on parallel architectures and compilation techniques. Part I. Selected papers of the conference on parallel architectures and compilation techniques, PACT ’95, Cyprus, June 1995. (English)
Int. J. Parallel Program. 24, No.3, 207-290 (1996).
9
The WAM ‒ definition and compiler correctness. (English)
Beierle, Christoph (ed.) et al., Logic programming: formal methods and practical applications. Amsterdam: Elsevier. Stud. Comput. Sci. Artif. Intell. 11, 21-90 (1995).
10
Automatic generation of compiled forms for linear recursions. (English)
Inf. Syst. 17, No.4, 299-322 (1992).
11
Selecting and Using Data for Integration Testing. (English)
IEEE Software 08, No.02, 58-65 (1991).
12
The LDL System Prototype. (English)
IEEE Transactions on Knowledge and Data Engineering 02, No.01, 76-90 (1990).
13
A study of scalar compilation techniques for pipelined supercomputers. (English)
ACM Trans. Math. Softw. 16, No.3, 223-245 (1990).
14
Computation for the analysis of designed experiments. (English)
Wiley Series in Probability and Mathematical Statistics. Applied Probability and Statistics. New York etc.: John Wiley \& Sons, Inc. xv, 683 p. \sterling 47.50 (1989).
15
Multipipeline Networking for Compound Vector Processing. (English)
IEEE Transactions on Computers 37, No.01, 33-47 (1988).
16
Result 1 to 16 of 16 total
Start
Contact
Print
General Help
