Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Optimización programa")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 917

  • Page / 37
Export

Selection :

  • and

Programming by OptimizationHOOS, Holger H.Communications of the ACM. 2012, Vol 55, Num 2, pp 70-80, issn 0001-0782, 11 p.Article

Übersicht über die Verfahren zur Programmoptimierung im CDL 1600-Programmiersystem = Aperçu des procédures d'optimisation de programmes incluses dans le système de programmation CDL 1600 = An overview of program optimization procedures for the programming system CDL 1600LOEPER, H.-G; OTTER, W; JOIKO, M et al.Wissenschaftliche Zeitschrift der Technischen Universität Dresden. 1986, Vol 35, Num 5, pp 17-21, issn 0043-6925Article

Analysis and optimization of CHR programsSNEYERS, Jon.Lecture notes in computer science. 2005, pp 450-451, issn 0302-9743, isbn 3-540-29208-X, 1Vol, 2 p.Conference Paper

Function optimization using Evolutionary Programming with self-adaptive Cultural AlgorithmsCHUNG, C; REYNOLDS, R. G.Lecture notes in computer science. 1997, pp 17-26, issn 0302-9743, isbn 3-540-63399-5Conference Paper

A structured approach to program optimizationARMENISE, P.IEEE transactions on software engineering. 1989, Vol 15, Num 2, pp 101-108, issn 0098-5589Article

Translating datalog-like optimization queries into ILOG programsGRECO, G; GRECO, S; TRUBITSYNA, I et al.Lecture notes in computer science. 2003, pp 48-49, issn 0302-9743, isbn 3-540-40438-4, 2 p.Conference Paper

Type systems for useless-variable eliminationFISCHBACH, Adam; HANNAN, John.Lecture notes in computer science. 2001, pp 25-38, issn 0302-9743, isbn 3-540-42068-1Conference Paper

An empirical study of function pointers using SPEC benchmarksCHENG, B.-C; HWU, W.-M. W.Lecture notes in computer science. 2000, pp 490-493, issn 0302-9743, isbn 3-540-67858-1Conference Paper

Identifying critical loads in real programs for decoupled VSM systemsZHU, H; WATSON, I.Lecture notes in computer science. 1997, pp 302-305, issn 0302-9743, isbn 3-540-63440-1Conference Paper

Argument reduction by factoringNAUGHTON, J. F; RAMAKRISHNAN, R; SAGIV, Y et al.Theoretical computer science. 1995, Vol 146, Num 1-2, pp 269-310, issn 0304-3975Article

A new algorithm for composite hoisting and strength reduction optimisationDHAMDHERE, D. M.International journal of computer mathematics. 1989, Vol 27, Num 1, pp 1-14, issn 0020-7160Article

Optimization of LDPC codes for UEP channelsPOULLIAT, Charly; DECLERCQ, David; FIJALKOW, Inbar et al.IEEE International Symposium on Information Theory. 2004, isbn 0-7803-8280-3, 1Vol, p. 450Conference Paper

On materializations of array-valued temporariesROSENKRANTZ, Daniel J; MULLIN, Lenore R; HUNT, Harry B et al.Lecture notes in computer science. 2001, pp 127-141, issn 0302-9743, isbn 3-540-42862-3Conference Paper

Spécialisation dynamique de code par évaluation partielle = Dynamic specialization using Partial EvaluationNoel, François; Consel, C.1996, 100 p.Thesis

An adaptive evolutionary algorithm for numerical optimizationPAN, Z; KANG, L.Lecture notes in computer science. 1997, pp 27-34, issn 0302-9743, isbn 3-540-63399-5Conference Paper

Runtime interprocedural data placement optimisation for lazy parallel libraries (extended abstract)BECKMANN, O; KELLY, P. H. J.Lecture notes in computer science. 1997, pp 306-309, issn 0302-9743, isbn 3-540-63440-1Conference Paper

Analysis of downward closed properties of logic programsHILL, P. M; SPOTO, F.Lecture notes in computer science. 2000, pp 181-196, issn 0302-9743, isbn 3-540-67530-2Conference Paper

Flattening is an improvement (extended abstract)RIELY, J; PRINS, J.Lecture notes in computer science. 2000, pp 360-376, issn 0302-9743, isbn 3-540-67668-6Conference Paper

Haskell-coloured Petri NetsREINKE, C.Lecture notes in computer science. 2000, pp 165-180, issn 0302-9743, isbn 3-540-67864-6Conference Paper

Optimal scheduling of iterative data-flow programs onto multiprocessors with non-negligible interprocessor communicationPIRIYAKUMAR, D. A. L; LEVI, P; SIVA RAM MURTHY, C et al.Lecture notes in computer science. 1999, pp 732-743, issn 0302-9743, isbn 3-540-65821-1Conference Paper

LPNMR '99 : Logic programming and nonmonotonic reasoning (El Paso TX, December 2-4 1999)Gelfond, Michael; Leone, Nicola; Pfeifer, Gerald et al.Lecture notes in computer science. 1999, issn 0302-9743, isbn 3-540-66749-0, XI, 388 p, isbn 3-540-66749-0Conference Proceedings

Tutorial : Techniques to improve the scalability and precision of data flow analysisSOFFA, M. L.Lecture notes in computer science. 1999, pp 355-356, issn 0302-9743, isbn 3-540-66459-9Conference Paper

Integrating automatic data alignment and array operation synthesis to optimize data parallel programsHWANG, G.-H; LEE, J. K; JU, D.-C. R et al.Lecture notes in computer science. 1998, pp 412-415, issn 0302-9743, isbn 3-540-64472-5Conference Paper

Dynamic program description as a basis for runtime optimizationGEHRING, J.Lecture notes in computer science. 1997, pp 958-965, issn 0302-9743, isbn 3-540-63440-1Conference Paper

The effects of the precision of pointer analysisSHAPIRO, M; HORWITZ, S.Lecture notes in computer science. 1997, pp 16-34, issn 0302-9743, isbn 3-540-63468-1Conference Paper

  • Page / 37