-
4
-
-
0000911801
-
Abstract interpretation and application to logic programs
-
P. Cousot and R. Cousot. Abstract interpretation and application to logic programs. Journal of Logic Programming, 13(2-3):103-179, 1992.
-
(1992)
Journal of Logic Programming
, vol.13
, Issue.2-3
, pp. 103-179
-
-
Cousot, P.1
Cousot, R.2
-
6
-
-
0342282734
-
Binding-time analysis applied to mathematical algorithms
-
Chapman & Hall
-
R. Glück, R. Nakashige, and R. Zöchling. Binding-time analysis applied to mathematical algorithms. In System Modelling and Optimization, pages 137-146. Chapman & Hall, 1995.
-
(1995)
System Modelling and Optimization
, pp. 137-146
-
-
Glück, R.1
Nakashige, R.2
Zöchling, R.3
-
8
-
-
0345932327
-
Fortran program specialization
-
G. Snelting and U. Meyer, editors, Schloss Rauischholzhausen, Germany, Justus-Liebig-Universität Giessen
-
P. Kleinrubatscher, A. Kriegshaber, R. Zöchling, and R. Glück. Fortran program specialization. In G. Snelting and U. Meyer, editors, Semantikgestützte Analyse, Entwicklung und Generierung von Programmen. GI Workshop, pages 45-54, Schloss Rauischholzhausen, Germany, 1994. Justus-Liebig-Universität Giessen.
-
(1994)
Semantikgestützte Analyse, Entwicklung und Generierung von Programmen. GI Workshop
, pp. 45-54
-
-
Kleinrubatscher, P.1
Kriegshaber, A.2
Zöchling, R.3
Glück, R.4
-
10
-
-
0347303277
-
Logic program specialisation through partial deduction: Control issues
-
July & September
-
M. Leuschel and M. Bruynooghe. Logic program specialisation through partial deduction: Control issues. Theory and Practice of Logic Programming, 2(4 & 5):461-515, July & September 2002.
-
(2002)
Theory and Practice of Logic Programming
, vol.2
, Issue.4-5
, pp. 461-515
-
-
Leuschel, M.1
Bruynooghe, M.2
-
11
-
-
35248858965
-
-
MAGICA website
-
MAGICA website. http://www.ece.northwestern.edu/cpdc/pjoisha/MAGICA/.
-
-
-
-
13
-
-
0042376726
-
Partial evaluation
-
A. Kent and J. G. Williams, editors, Marcel Dekker, 270 Madison Avenue, New York, New York 10016
-
T. Æ. Mogensen and P. Sestoft. Partial evaluation. In A. Kent and J. G. Williams, editors, Encyclopedia of Computer Science and Technology, volume 37, pages 247-279. Marcel Dekker, 270 Madison Avenue, New York, New York 10016, 1997.
-
(1997)
Encyclopedia of Computer Science and Technology
, vol.37
, pp. 247-279
-
-
Mogensen, T.Æ.1
Sestoft, P.2
-
15
-
-
35248836214
-
A MATLAB toolbox for distributed and parallel processing
-
Moler C. and S. Little, editors, Cambridge, MA. MathWorks Inc., October
-
S. Pawletta, T. Pawletta, W. Drewelow, P. Duenow, and M. Suesse. A MATLAB toolbox for distributed and parallel processing. In Moler C. and S. Little, editors, Proc. of the Matlab Conference 95, Cambridge, MA. MathWorks Inc., October 1995.
-
(1995)
Proc. of the Matlab Conference 95
-
-
Pawletta, S.1
Pawletta, T.2
Drewelow, W.3
Duenow, P.4
Suesse, M.5
-
16
-
-
0031704392
-
Preliminary results from a parallel MATLAB compiler
-
IEEE CS Press
-
M. Quinn, A. Malishevsky, N. Seelam, and Y. Zhao. Preliminary results from a parallel MATLAB compiler. In International Parallel Processing Symposium, pages 81-87. IEEE CS Press, 1998.
-
(1998)
International Parallel Processing Symposium
, pp. 81-87
-
-
Quinn, M.1
Malishevsky, A.2
Seelam, N.3
Zhao, Y.4
-
17
-
-
0042776167
-
-
Technical Report UIUCDCS-R-96-1956, University of Illinois at Urbana-Champaign
-
L. D. Rose. Compiler techniques for MATLAB programs. Technical Report UIUCDCS-R-96-1956, University of Illinois at Urbana-Champaign, 1996.
-
(1996)
Compiler Techniques for MATLAB Programs
-
-
Rose, L.D.1
-
18
-
-
84955577743
-
FALCON: A MATLAB interactive restructuring compiler
-
Springer
-
L. D. Rose, K. Gallivan, E. Gallopoulos, B. A. Marsolf, and D. A. Padua. FALCON: A MATLAB interactive restructuring compiler. In Languages and Compilers for Parallel Computing, pages 269-288. Springer, 1995.
-
(1995)
Languages and Compilers for Parallel Computing
, pp. 269-288
-
-
Rose, L.D.1
Gallivan, K.2
Gallopoulos, E.3
Marsolf, B.A.4
Padua, D.A.5
-
19
-
-
84947906570
-
Towards automatic specialization of Java programs
-
European Conference on Object-oriented Programming
-
U. P. Schultz, J. L. Lawall, C. Consel, and G. Muller. Towards automatic specialization of Java programs. In European Conference on Object-oriented Programming, volume 1628 of Lecture Notes in Computer Science, pages 367-390, 1999.
-
(1999)
Lecture Notes in Computer Science
, vol.1628
, pp. 367-390
-
-
Schultz, U.P.1
Lawall, J.L.2
Consel, C.3
Muller, G.4
-
21
-
-
0343462141
-
Automated empirical optimizations of software and the ATLAS project
-
Jan.
-
R. C. Whaley, A. Petitet, and J. J. Dongarra. Automated empirical optimizations of software and the ATLAS project. Parallel Computing, 27(1-2):3-35, Jan. 2001.
-
(2001)
Parallel Computing
, vol.27
, Issue.1-2
, pp. 3-35
-
-
Whaley, R.C.1
Petitet, A.2
Dongarra, J.J.3
|