Bibliographies thématiques / Compiler theory

Littérature scientifique sur le sujet « Compiler theory »

Auteur : Grafiati
Publié le 14 mars 2023

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Sommaire

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Compiler theory ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Compiler theory"

1

Zubkov, Kirill. « From the Compiler ». Novoe literaturnoe obozrenie, no 5 (2022) : 11–16. http://dx.doi.org/10.53953/08696365_2022_177_5_11.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Bugaeva, Lyubov. « From the Compiler ». Novoe literaturnoe obozrenie, no 4 (2022) : 27–30. http://dx.doi.org/10.53953/08696365_2022_176_4_27.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Song, Qiang, Chun Yu Peng, Hong Gang Zhou et Shou Biao Tan. « Time Delay Model for SRAM Compiler ». Applied Mechanics and Materials 373-375 (août 2013) : 1561–66. http://dx.doi.org/10.4028/www.scientific.net/amm.373-375.1561.

Texte intégral
Résumé :
In this paper, we introduced an effective time delay model for SRAM compiler, which represents an important performance of SRAM. Our method divide the delay time into several periods, including decoder delay, word line delay, bit line delay and SA delay. The theory is useful in predicting the delay time when the SRAM size is changed. Simulations by Hsim in 65nm CMOS process proves a high accuracy.
Styles APA, Harvard, Vancouver, ISO, etc.
4

Evans, D. J., et M. N. Sulaiman. « Neucomp—a neural network compiler ». International Journal of Computer Mathematics 53, no 1-2 (janvier 1994) : 29–44. http://dx.doi.org/10.1080/00207169408804312.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

HARDIN, THÉRÈSE, LUC MARANGET et BRUNO PAGANO. « Functional runtime systems within the lambda-sigma calculus ». Journal of Functional Programming 8, no 2 (mars 1998) : 131–76. http://dx.doi.org/10.1017/s0956796898002986.

Texte intégral
Résumé :
We define a weak λ-calculus, λσw, as a subsystem of the full λ-calculus with explicit substitutions λσ[uArr ]. We claim that λσw could be the archetypal output language of functional compilers, just as the λ-calculus is their universal input language. Furthermore, λσ[uArr ] could be the adequate theory to establish the correctness of functional compilers. Here we illustrate these claims by proving the correctness of four simplified compilers and runtime systems modelled as abstract machines. The four machines we prove are the Krivine machine, the SECD, the FAM and the CAM. Thus, we give the first formal proofs of Cardelli's FAM and of its compiler.
Styles APA, Harvard, Vancouver, ISO, etc.
6

Bohli, Jens-Matthias, María I. González Vasco et Rainer Steinwandt. « Building Group Key Establishment on Group Theory : A Modular Approach ». Symmetry 12, no 2 (30 janvier 2020) : 197. http://dx.doi.org/10.3390/sym12020197.

Texte intégral
Résumé :
A group key establishment protocol is presented and proven secure in the common reference string mode. The protocol builds on a group-theoretic assumption, and a concrete example can be obtained with a decision Diffie–Hellman assumption. The protocol is derived from a two-party solution by means of a protocol compiler presented by Abdalla et al. at TCC 2007, evidencing the possibility of meaningfully integrating cryptographic and group-theoretic tools in cryptographic protocol design. This compiler uses a standard ring configuration, where all users behave symmetrically, exchanging keys with their left and right neighbor, which are later combined to yield a shared group key.
Styles APA, Harvard, Vancouver, ISO, etc.
7

Hsu, Shuo-Huan, Balachandra Krishnamurthy, Prathima Rao, Chunhua Zhao, Suresh Jagannathan et Venkat Venkatasubramanian. « A domain-specific compiler theory based framework for automated reaction network generation ». Computers & ; Chemical Engineering 32, no 10 (octobre 2008) : 2455–70. http://dx.doi.org/10.1016/j.compchemeng.2008.01.007.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Li, Mingzhen, Yi Liu, Xiaoyan Liu, Qingxiao Sun, Xin You, Hailong Yang, Zhongzhi Luan, Lin Gan, Guangwen Yang et Depei Qian. « The Deep Learning Compiler : A Comprehensive Survey ». IEEE Transactions on Parallel and Distributed Systems 32, no 3 (1 mars 2021) : 708–27. http://dx.doi.org/10.1109/tpds.2020.3030548.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Zhu, Genjiang, Li Xie et Zhongxiu Sun. « NUAPC : A parallelizing compiler for C++ ». Journal of Computer Science and Technology 12, no 5 (septembre 1997) : 458–69. http://dx.doi.org/10.1007/bf02943177.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Sheng, Li, et Z. B. Dai. « Research on the Maritime Communication Cryptographic Chip’s Compiler Optimization ». Polish Maritime Research 24, s2 (28 août 2017) : 60–65. http://dx.doi.org/10.1515/pomr-2017-0065.

Texte intégral
Résumé :
Abstract In the process of ocean development, the technology for maritime communication system is a hot research field, of which information security is vital for the normal operation of the whole system, and that is also one of the difficulties in the research of maritime communication system. In this paper, a kind of maritime communication cryptographic SOC(system on chip) is introduced, and its compiler framework is put forward through analysis of working mode and problems faced by compiler front end. Then, a loop unrolling factor calculating algorithm based on queue theory, named UFBOQ (unrolling factor based on queue), is proposed to make parallel optimization in the compiler frontend with consideration of the instruction memory capacity limit. Finally, the scalar replacement method is used to optimize unrolled code to solve the memory access latency on the parallel computing efficiency, for continuous data storage characteristics of cryptographic algorithm. The UFBOQ algorithm and scalar replacement prove effective and appropriate, of which the effect achieves the linear speedup.
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Thèses sur le sujet "Compiler theory"

1

Concepcion, Rowen. « Introducing Non-Determinism to the Parallel C Compiler ». CSUSB ScholarWorks, 2014. https://scholarworks.lib.csusb.edu/etd/22.

Texte intégral
Résumé :
The Planguages project is the birthplace of the Planguage programmingapproach, which is designed to alleviate the task of writing parallelprograms and harness massively parallel computers and networks of workstations. Planguage has two existing translators, Parallel C (PC) and Pfortran,which is used for their base languages, C and Fortran77. The translatorswork with MPI (Message Passing Interface) for communications. SOS(ipStreams, Overlapping and Shortcutting), a function library that supportsthe three named functionalities, can be used to further optimize parallel algorithms. This project is the next step in the continuing project of updatingthe PC Compiler. The goal is to test the viability of using “shortcutting”functions. Parallel programs with the ability to shortcut can be generatedby the updated version of the PC Compiler. In addition, this project introducesthe ability of the PC Compiler to translate a race condition intoa non-deterministic solution. This document explores different phases of the project in detail. Thefollowing phases are included: software design, algorithm design, analysis,and results. The deliverables, source code, and diagrams are included asAppendices.
Styles APA, Harvard, Vancouver, ISO, etc.
2

Ward, Allen Corlies. « A theory of quantitative inference for artifact sets, applied to a mechanical design compiler ». Thesis, Massachusetts Institute of Technology, 1988. http://hdl.handle.net/1721.1/14309.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Ngô, Van Chan. « Formal verification of a synchronous data-flow compiler : from Signal to C ». Phd thesis, Université Rennes 1, 2014. http://tel.archives-ouvertes.fr/tel-01067477.

Texte intégral
Résumé :
Synchronous languages such as Signal, Lustre and Esterel are dedicated to designing safety-critical systems. Their compilers are large and complicated programs that may be incorrect in some contexts, which might produce silently bad compiled code when compiling source programs. The bad compiled code can invalidate the safety properties that are guaranteed on the source programs by applying formal methods. Adopting the translation validation approach, this thesis aims at formally proving the correctness of the highly optimizing and industrial Signal compiler. The correctness proof represents both source program and compiled code in a common semantic framework, then formalizes a relation between the source program and its compiled code to express that the semantics of the source program are preserved in the compiled code.
Styles APA, Harvard, Vancouver, ISO, etc.
4

Lerner, Sorin. « Automatically proving the correctness of program analyses and transformations / ». Thesis, Connect to this title online ; UW restricted, 2006. http://hdl.handle.net/1773/7001.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Elms, Kim. « Debugging optimised code using function interpretation ». Thesis, Queensland University of Technology, 1999.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Castelluccia, Claude. « Generation automatique d'implementation optimisees de protocoles ». Nice, 1996. http://www.theses.fr/1996NICE4957.

Texte intégral
Résumé :
Un compilateur de protocoles est un outil qui genere a partir d'une specification formelle d'un protocole une implementation. Les compilateurs de protocoles produisent generalement du code de qualite mediocre en terme de vitesse d'execution et de taille du code et sont, pour cette raison, peu utilises. Dans cette these, nous montrons qu'en utilisant une approche synchrone et en optimisant le code genere, il est possible de compiler des specifications formelles en des implementations tres performantes. Nous avons developpe un compilateur de protocoles qui utilise ces deux techniques. Ce compilateur prend en entree une specification modulaire du protocole ecrite dans le langage synchrone esterel. La specification est compilee en un automate sequentiel par le compilateur esterel dans un format intermediaire (le format oc). L'automate est alors optimise et transforme en une implementation c par notre optimisateur de protocoles, appele hippco. Hippco ameliore les performances du code et reduit sa taille en optimisant simultanement la vitesse d'execution du chemin commun et la taille du chemin rare. Nous evaluons les performances des implementations de notre compilateur en specifiant le protocole tcp et en comparant les performances de l'implementation automatiquement generee avec celle d'une version manuelle derivee de l'implementation standard bsd. Les resultats sont tres encourageants. Le code genere par hippco execute moins d'instructions et utilise le cache d'instructions et le pipelining plus efficacement que le code bsd tout en ayant une taille de code raisonnable
Styles APA, Harvard, Vancouver, ISO, etc.
7

Hernandez, Ivory. « Strong-DISM| A First Attempt to a Dynamically Typed Assembly Language (D-TAL) ». Thesis, University of South Florida, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10640802.

Texte intégral
Résumé :

Dynamically Typed Assembly Language (D-TAL) is not only a lightweight and effective solution to the gap generated by the drop in security produced by the translation of high-level language instructions to low-level language instructions, but it considerably eases up the burden generated by the level of complexity required to implement typed assembly languages statically. Although there are tradeoffs between the static and dynamic approaches, focusing on a dynamic approach leads to simpler, easier to reason about, and more feasible ways to understand deployment of types over monomorphically-typed or untyped intermediate languages. On this occasion, DISM, a simple but powerful and mature untyped assembly language, is extended by the addition of type annotations (on memory and registers) to produce an instance of D-TAL. Strong-DISM, the resulting language, statically, lends itself to simpler analysis about type access and security as the correlation between datatypes and instructions with their respective memory and registers becomes simpler to observe; while dynamically, it disallows operations and further eliminates conditions that from high level languages could be used to violate/circumvent security.

Styles APA, Harvard, Vancouver, ISO, etc.
8

Ward, Daniel R. « Reaper – Toward Automating Mobile Cloud Communication ». ScholarWorks@UNO, 2013. http://scholarworks.uno.edu/td/1707.

Texte intégral
Résumé :
Mobile devices connected to cloud based services are becoming a mainstream method of delivery up-to-date and context aware information to users. Connecting mobile applications to cloud service require significant developer effort. Yet this communication code usually follows certain patterns, varying accordingly to the specific type of data sent and received from the server. By analyzing the causes of theses variations, we can create a system that can automate the code creation for communication from a mobile device to a cloud server. To automate code creation, a general pattern must extracted. This general solution can then be applied to any database configuration. Automating this process frees up valuable development time, allowing developers to make other parts of the application and/or backend service a better experience for the end user.
Styles APA, Harvard, Vancouver, ISO, etc.
9

Nelson, Andrew P. « Funqual : User-Defined, Statically-Checked Call Graph Constraints in C++ ». DigitalCommons@CalPoly, 2018. https://digitalcommons.calpoly.edu/theses/1848.

Texte intégral
Résumé :
Static analysis tools can aid programmers by reporting potential programming mistakes prior to the execution of a program. Funqual is a static analysis tool that reads C++17 code ``in the wild'' and checks that the function call graph follows a set of rules which can be defined by the user. This sort of analysis can help the programmer to avoid errors such as accidentally calling blocking functions in time-sensitive contexts or accidentally allocating memory in heap-sensitive environments. To accomplish this, we create a type system whereby functions can be given user-defined type qualifiers and where users can define their own restrictions on the call graph based on these type qualifiers. We demonstrate that this tool, when used with hand-crafted rules, can catch certain types of errors which commonly occur in the wild. We claim that this tool can be used in a production setting to catch certain kinds of errors in code before that code is even run.
Styles APA, Harvard, Vancouver, ISO, etc.
10

Atterving, Emmy. « “She said she was called Theodore” : - A modality analysis of five transcendental saints in the 1260’s Legenda Aurea and 1430’s Gilte Legende ». Thesis, Stockholms universitet, Historiska institutionen, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-144052.

Texte intégral
Résumé :
This thesis explores modalities in two hagiographical collections from the late Middle Ages; the Legenda Aurea and the Gilte Legende by drawing inspiration from post-colonial hybridity theories.. It conducts a close textual analysis by studying the use of pronouns in five saints’ legends where female saints transcend traditional gender identities and become men, and focuses on how they transcend, live as men, and die. The study concludes that the use of pronouns is fluid in the Latin Legenda Aurea, while the Middle English Gilte Legende has more female pronouns and additions to the texts where the female identity of the saints is emphasised. This is interpreted as a sign of the feminisation of religious language in Europe during the late Middle Ages, and viewed parallel with the increase of holy women at that time. By doing this, it underlines the importance of new words and concepts when describing and understanding medieval views on gender.
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Livres sur le sujet "Compiler theory"

1

Barrett, William A. Compiler construction : Theory and practice. 2e éd. Chicago : Science Research Associates, 1985.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Compiler design : Theory, tools, and examples. Dubuque, Iowa : W.C. Brown Publishers,c, 1994.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Jean Paul Tremblay - undifferentiated. The theory and practice of compiler writing. Hyderabad [India] : BS Publications, 2008.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

G, Sorenson P., dir. The theory and practice of compiler writing. New York : McGraw-Hill, 1985.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Pittman, Thomas. The art of compiler design : Theory and practice. Englewood Cliffs, NJ : Prentice Hall, 1992.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

A Small C compiler : Language, usage, theory, and design. Redwood City, Calif : M&T Pub., 1988.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Butler, Ricky W. The Fault-Tree Compiler (FTC) : Program and mathematics. [Washington, D.C.] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division, 1989.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Butler, Ricky W. The Fault-Tree Compiler (FTC) : Program and mathematics. [Washington, D.C.] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division, 1989.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Alan, Mycroft, Zeller Andreas et ETAPS 2006 (2006 : Vienna, Austria), dir. Compiler construction : 15th international conference, CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings. Berlin : Springer, 2006.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Rastislav, Bodik, et ETAPS 2005 (2005 : Edinburgh, Scotland), dir. Compiler construction : 14th international conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings. Berlin : Springer, 2005.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Chapitres de livres sur le sujet "Compiler theory"

1

Séroul, Raymond. « Elements of compiler theory ». Dans Universitext, 359–422. Berlin, Heidelberg : Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-642-57129-9_13.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Teufel, Bernd, Stephanie Schmidt et Thomas Teufel. « General Remarks on Compiler Theory ». Dans C2 Compiler Concepts, 1–8. Vienna : Springer Vienna, 1993. http://dx.doi.org/10.1007/978-3-7091-9274-0_1.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Simons, Barbara. « Parallelism, Compiler Optimization, and Deterministic Scheduling Theory ». Dans Opportunities and Constraints of Parallel Computing, 131–34. New York, NY : Springer US, 1989. http://dx.doi.org/10.1007/978-1-4613-9668-0_33.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Na, Wang, et Wu YuePing. « Innovation of Compiler Theory Course for CDIO ». Dans Lecture Notes in Electrical Engineering, 2315–20. Dordrecht : Springer Netherlands, 2013. http://dx.doi.org/10.1007/978-94-007-7618-0_284.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Korn, Granino A. « A Simulation-Model Compiler for All Seasons ». Dans Modeling and Simulation : Theory and Practice, 127–44. Boston, MA : Springer US, 2003. http://dx.doi.org/10.1007/978-1-4615-0235-7_12.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Guedes, Luiz Carlos Castro, Edward Hermann Haeusler et José Lucas Rangel. « Object Oriented Semantics Directed Compiler Generation : A prototype ». Dans TAPSOFT '95 : Theory and Practice of Software Development, 807–8. Berlin, Heidelberg : Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59293-8_244.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Agrawal, Shashank, Divya Gupta, Hemanta K. Maji, Omkant Pandey et Manoj Prabhakaran. « A Rate-Optimizing Compiler for Non-malleable Codes Against Bit-Wise Tampering and Permutations ». Dans Theory of Cryptography, 375–97. Berlin, Heidelberg : Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-46494-6_16.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Gjøsæter, Terje, et Andreas Prinz. « Teaching Computer Language Handling - From Compiler Theory to Meta-modelling ». Dans Lecture Notes in Computer Science, 446–60. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-18023-1_14.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Pettersson, Mikael. « A term pattern-match compiler inspired by finite automata theory ». Dans Lecture Notes in Computer Science, 258–70. Berlin, Heidelberg : Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55984-1_24.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Takashima, Katsuyuki. « Post-Quantum Constant-Round Group Key Exchange from Static Assumptions ». Dans International Symposium on Mathematics, Quantum Theory, and Cryptography, 251–72. Singapore : Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-5191-8_18.

Texte intégral
Résumé :
Abstract We revisit a generic compiler from a two-party key exchange (KE) protocol to a group KE (GKE) one by Just and Vaudenay. We then give two families of GKE protocols from static assumptions, which are obtained from the general compiler. The first family of the GKE protocols is a constant-round GKE by using secure key derivation functions (KDFs). As special cases, we have such GKE from static Ring-LWE (R-LWE), where “static” means that the parameter size in the R-LWE does not depend on the number of group members, n, and also from the standard SI-DDH and CSI-DDH assumptions. The second family consists of two-round GKE protocols from isogenies, which are proven secure from new isogeny assumptions, the first (resp. second) of which is based on the SIDH (resp. CSIDH) two-party KE. The underlying new static assumptions are based on indistinguishability between a product value of supersingular invariants and a random value.
Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Compiler theory"

1

Sahai, Amit. « An information-theoretic protocol compiler ». Dans 2012 IEEE Information Theory Workshop (ITW 2012). IEEE, 2012. http://dx.doi.org/10.1109/itw.2012.6404657.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

del Vado Vírseda, Rafael. « Learning Compiler Design : From the Implementation to Theory ». Dans ITiCSE 2021 : 26th ACM Conference on Innovation and Technology in Computer Science Education. New York, NY, USA : ACM, 2021. http://dx.doi.org/10.1145/3456565.3460041.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Stamenkovia, Sreako, et Nenad Jovanovia. « Improving Participation and Learning of Compiler Theory Using Educational Simulators ». Dans 2021 25th International Conference on Information Technology (IT). IEEE, 2021. http://dx.doi.org/10.1109/it51528.2021.9390132.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Aho, Alfred V. « Computational thinking in programming language and compiler design (keynote) ». Dans STOC '21 : 53rd Annual ACM SIGACT Symposium on Theory of Computing. New York, NY, USA : ACM, 2021. http://dx.doi.org/10.1145/3406325.3465350.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Lin, Meifeng, Eric Papenhausen, M. Harper Langston, Benoit Meister, Muthu Baskaran, Taku Izubuchi et Chulwoo Jung. « Optimizing the domain wall fermion Dirac operator using the R-Stream source-to-source compiler ». Dans The 33rd International Symposium on Lattice Field Theory. Trieste, Italy : Sissa Medialab, 2016. http://dx.doi.org/10.22323/1.251.0022.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Ding, Yufei, Lin Ning, Hui Guan et Xipeng Shen. « Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction ». Dans PLDI '17 : ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA : ACM, 2017. http://dx.doi.org/10.1145/3062341.3062377.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Morisset, Robin, Pankaj Pawan et Francesco Zappa Nardelli. « Compiler testing via a theory of sound optimisations in the C11/C++11 memory model ». Dans the 34th ACM SIGPLAN conference. New York, New York, USA : ACM Press, 2013. http://dx.doi.org/10.1145/2491956.2491967.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Ward, A. C., et W. P. Seering. « Quantitative Inference in a Mechanical Design “Compiler” ». Dans ASME 1989 Design Technical Conferences. American Society of Mechanical Engineers, 1989. http://dx.doi.org/10.1115/detc1989-0011.

Texte intégral
Résumé :
Abstract This paper introduces the theory underlying a computer program that takes as input a schematic of a mechanical or hydraulic power transmission system, plus specifications and a utility function, and returns catalog numbers from predefined catalogs for the optimal selection of components implementing the design. Unlike programs for designing single components or systems, this program provides the designer with a high level “language“ in which to compose new designs. It then performs much of the detailed design process. The process of “compilation”, or transformation from a high to a low level description, is based on a formalization of quantitative inferences about hierarchically organized sets of artifacts and operating conditions. This allows design compilation without the exhaustive enumeration of alternatives. The paper introduces the formalism, illustrating its use with examples. It then outlines some differences from previous work, and summarizes early tests and conclusions.
Styles APA, Harvard, Vancouver, ISO, etc.
9

Amaral, José Nelson, Christopher Barton, Andrew C. Macdonell et Matthew McNaughton. « Using the SGI Pro64 Open Source Compiler Infra-Structure for Teaching and Research ». Dans Simpósio de Arquitetura de Computadores e Processamento de Alto Desempenho. Sociedade Brasileira de Computação, 2001. http://dx.doi.org/10.5753/sbac-pad.2001.22210.

Texte intégral
Résumé :
Modem optimizing compilers are complex programs that require from tens to hundreds of people-years to be developed. Thus professors must use third-party compiler infra-structures to introduce students to compiler optimizations. Until recently only infra-structures developed at universities, research institutes, or by GNU were widely available for teaching. However, in May 2000, SGI made public the source code for Pro64, a highly optimized suite of compilers for the Intel Architecture 64 (IA-64) that is an evolution of the established MIPSPro suite of compilers. The use of a production-level compiler infra-structure for teaching is thus new. In this paper we report our experience using the Pro64 in a graduate compiler optimization class. We paired the study of the Pro64 with the use of IMPACT within Trimaran, and with performance studies conducted with the MIPSPro compilers. The students feedback indicate that they valued working with a state-of-the-art compiler infrastructure and studying open research topics for their class projects.
Styles APA, Harvard, Vancouver, ISO, etc.
10

Souza Junior, João Lourenço, Davi De Oliveira, Victor Praxedes et Dennys Simiao. « WebAssembly potentials : A performance analysis on desktop environment and opportunities for discussions to its application on CPS environment ». Dans Simpósio Brasileiro de Engenharia de Sistemas Computacionais. Sociedade Brasileira de Computação, 2020. http://dx.doi.org/10.5753/sbesc_estendido.2020.13104.

Texte intégral
Résumé :
The Web started as a simple document-sharing network and today has evolved to become a consolidated and ubiquitous platform for creation and application distribution. To explore its demands, web browser vendors have been working on new technologies like WebAssembly, a new type of machine language for a conceptual machine instead of a real physical machine, supported by the modern web browsers, providing new features and greater performance for web applications. At the other end, embedded devices have also evolved along with applications. However, there are still semantic heterogeneity, maintainability, and development issues inherent to the vast number of devices and services that operates in the numerous domains of Cyber-Physical Systems (CPS). The overall objective of this work is to study the WebAssembly technology through a performance analysis in a desktop environment, presenting empirical comparisons between the execution of a program compiled in native machine code and the same program compiled in WebAssembly, to verify its flexibility to compile code written in different languages for web applications and maintain similar performance to their native applications counterpart. We also point out the opportunities and challenges to potentially apply WebAssembly as a semantic abstraction layer for embedded devices in CPS development.
Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Compiler theory"

1

Roldán-González, Elizabeth, Carolina Robledo-Castro, Piedad Rocío Lerma-Castaño et María Luisa Hurtado-Otero. Validity and reliability of the Wolf Motor Function Test -WMFT in patients with Cerebrovascular disease : Scoping review. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, octobre 2022. http://dx.doi.org/10.37766/inplasy2022.10.0044.

Texte intégral
Résumé :
Review question / Objective: This scoping review aimed to compile the studies that have examined the validity and reliability of the different versions of the Wolf Motor Function Test - WMFT in patients with Cerebrovascular disease. Background: Numerous investigations in rehabilitation have used the WMFT as an instrument for the primary measurement of the results; however, to date, there are no known reviews that have compiled the reliability and validity of the wolf test in its different versions, which is considered of vital importance and constitutes critical information for decision making in the process of evaluation and follow-up of patients with stroke in clinical, academic and research environments.
Styles APA, Harvard, Vancouver, ISO, etc.
2

Morrison, Dawn, et Adam Smith. Fort Huachuca history of development : existing reports and contexts. Engineer Research and Development Center (U.S.), janvier 2021. http://dx.doi.org/10.21079/11681/39479.

Texte intégral
Résumé :
The Fort Huachuca Environmental and Natural Resources Division (ENRD) tasked ERDC-CERL to compile a history of the development of Fort Huachuca for use in evaluating existing facilities and how they fit within the larger, overarching history of the fort. Fort Huachuca desires a comprehensive history of the fort for use in better understanding how its various facilities integrate into the overall history and development of the fort and its existing National Historic Landmark (NHL) and proposed existing evaluated, eligible, and listed National Register of Historic Places (NRHP) properties and districts. This comprehensive history will help ENRD in making determinations on how to address future National Register of Historic Places (NRHP) nominations and/or recommendations for adding new historic districts or expanding the existing historic district. ERDC-CERL compiled content from 18 existing historic contexts, building inventory and cultural re-sources reports, NRHP nomination and registration forms, and Historic American Buildings Survey (HABS) forms previously completed for the ENRD, and used these resources to compile the current history.
Styles APA, Harvard, Vancouver, ISO, etc.
3

Go, Eugenia, Sam Hill, Maria Hanna Jaber, Yothin Jinjarak, Donghyun Park et Anton Ragos. Developing Asia’s Fiscal Landscape and Challenges. Asian Development Bank, juin 2022. http://dx.doi.org/10.22617/wps220267-2.

Texte intégral
Résumé :
This paper analyzes how substantial fiscal policy stimulus in response to COVID-19, combined with the impact of the downturn on revenues, has severely weakened public finances in many developing Asian economies. Analysis drawing on newly compiled data shows that while tax revenues in developing Asia steadily rose in the 2 decades before the COVID–19 pandemic, they continued to lag well behind high-income economies and some developing peers. The region relies on indirect taxes, creating a relatively efficient but less progressive tax structure, while government expenditures on education and health were comparatively modest.
Styles APA, Harvard, Vancouver, ISO, etc.
4

Hrynick, Tabitha, et Olivia Tulloch. Roundtable Report : Health and Food Insecurity Crisis in the Greater Horn of Africa. Session 1 - Regional Focus. September 2022. SSHAP, novembre 2022. http://dx.doi.org/10.19088/sshap.2022.040.

Texte intégral
Résumé :
SSHAP convened and hosted a virtual roundtable discussion with partners engaged at the regional level response of the health and food insecurity crisis in the Greater Horn of Africa region. The objective was to discuss the critical needs for the response to the Horn of Africa crisis. The priorities under consideration were organised under the themes of health, community engagement and data management. Broader matters of strengthening coordination of the response were also discussed. This report offers a summary of the main discussion points and a list of resources shared during the discussion, it was compiled by Tabitha Hrynick (IDS) and Olivia Tulloch (Anthrologica). The views expressed here are a summary of those presented and do not necessarily represent a consensus of the individual participant agencies. This brief is the responsibility of SSHAP. There will be future roundtables focused either at the national level for affected countries or thematically focused.
Styles APA, Harvard, Vancouver, ISO, etc.
5

Gupta, Aditya, Aaron Simkovich et Deanna Hall. Sanitization of footwear and textiles for eradication of causal agents of superficial fungal infections : protocol for a systematic review. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, novembre 2021. http://dx.doi.org/10.37766/inplasy2021.11.0070.

Texte intégral
Résumé :
Review question / Objective: To compile evidence and determine the utility of various methods used to sanitize footwear and textiles, and the use of novel antimicrobial materials for eradication of pathogens known to cause superficial fungal infections of the foot. Rationale: Fungal infections of the feet such as onychomycosis are common, affecting approximately 6% of the global population. There are a number of available treatment methods for onychomycosis, with topical (e.g., efinaconazole, tavaborole, ciclopirox), oral (e.g., terbinafine, itraconazole, fluconazole), or a combination of both, being the most popular. Sanitization of shoes, socks/stockings, and other textiles (as well as the feet themselves through proper hygiene) is integral to the reduction, spread, and recurrence of superficial fungal infection. The goal of the present review is to examine the currently available methods of sanitization for footwear and textiles against superficial fungal infections, and assessing which are effective or not.
Styles APA, Harvard, Vancouver, ISO, etc.
6

Walker, Philip. Library Impact Practice Brief : Assessing Library Information Services and Demonstrating Value through the Tailored Design Method. Association of Research Libraries, novembre 2022. http://dx.doi.org/10.29242/report.vanderbilt2022.

Texte intégral
Résumé :
Demonstrating the value of a biomedical library can be a daunting and somewhat ineffective task. The current literature base contains many articles attempting to achieve this goal by analyzing the collections through resource usage and citation analysis. However, with competing budgets across university campuses, it has become essential to investigate and develop methods in which libraries can correlate collections and services as it relates to their role as a partner across the scholarly, education, and service missions of our institutions. This practice brief discusses various methods and strategies in which the Annette and Irwin Eskind Family Biomedical Library and Learning Center sought to identify, compile, analyze, and disseminate relevant data to demonstrate its impact or added value to the research enterprise at Vanderbilt University and Vanderbilt University Medical Center. This work was done as part of the library’s participation in the ARL Research Library Impact Framework initiative.
Styles APA, Harvard, Vancouver, ISO, etc.
7

Barker, Amanda, Jay Clausen, Thomas Douglas, Anthony Bednar, Christopher Griggs et William Martin. Environmental impact of metals resulting from military training activities : a review. Engineer Research and Development Center (U.S.), février 2022. http://dx.doi.org/10.21079/11681/43348.

Texte intégral
Résumé :
The deposition of metals into the environment as a result of military training activities remains a longterm concern for Defense organizations across the globe. Of particular concern for deposition and potential mobilization are antimony (Sb), arsenic (As), copper (Cu), lead (Pb), and tungsten (W), which are the focus of this review article. The fate, transport, and mobilization of these metals are complicated and depend on a variety of environmental factors that are often convoluted, heterogeneous, and site dependent. While there have been many studies investigating contaminant mobilization on military training lands there exists a lack of cohesiveness surrounding the current state of knowledge for these five metals. The focus of this review article is to compile the current knowledge of the fate, transport, and ultimate risks presented by metals associated with different military training activities particularly as a result of small arms training activities, artillery/mortar ranges, battleruns, rocket ranges, and grenade courts. From there, we discuss emerging research results and finish with suggestions of where future research efforts and training range designs could be focused toward further reducing the deposition, limiting the migration, and decreasing risks presented by metals in the environment. Additionally, information presented here may offer insights into Sb, As, Cu, Pb, and W in other environmental settings.
Styles APA, Harvard, Vancouver, ISO, etc.
8

Boettcher, Seth J., Courtney Gately, Alexandra L. Lizano, Alexis Long et Alexis Yelvington. Part 3 : Case Study Appendices to the Technical Reports. Sous la direction de Gabriel Eckstein. Texas A&M University School of Law Program in Natural Resources Systems, mai 2020. http://dx.doi.org/10.37419/eenrs.brackishgroundwater.p3.

Texte intégral
Résumé :
This Case Study Appendix to the Technical Reports expands on regulations in San Antonio and El Paso where these water alternatives are in place. The goal of this report is to provide insight into the legal and regulatory barriers, challenges, and opportunities for these technologies to go online. Each desalination and water recycling faciality implementation site must comply with various laws and regulations. The information in these Case Studies comes from the study of brackish groundwater desalination and water recycling facilities currently operating in Texas. While there is no updated “one-stop-shop” resource where a municipal leader can find a list of all the necessary permits to build, operate, and maintain such facilities, this Technical Report aims to compile the existing, available information in an organized and accessible fashion. The Desalination Technical report is the third in a series of three reports which make up the Project. These reports examine regulations surrounding desalination and water recycling. The companion reports generally highlight building, operating, and monitoring requirements for water recycling facilities in Texas.
Styles APA, Harvard, Vancouver, ISO, etc.
9

Boettcher, Seth J., Courtney Gately, Alexandra L. Lizano, Alexis Long et Alexis Yelvington. Part 2 : Water Recycling Technical Report for Direct Non-Potable Use. Sous la direction de Gabriel Eckstein. Texas A&M University School of Law Program in Natural Resources Systems, mai 2020. http://dx.doi.org/10.37419/eenrs.brackishgroundwater.p2.

Texte intégral
Résumé :
This Water Recycling Technical Report examines the legal frameworks that affect water recycling in Texas. The goal of this report is to provide insight into the legal and regulatory barriers, challenges, and opportunities for these technologies to go online. Each water recycling implementation site has to find ways of complying with various laws and regulations. The information in this Report comes from the study of water recycling facilities currently operating in Texas, as well as extensive research into available literature and documents from various agencies. While there is no updated “one-stop-shop” resource that provides detailed information on all the necessary permits to build, operate, and maintain such facilities, this Technical Report aims to compile the existing, available information in an organized and accessible fashion. The Water Recycling Technical Report is the second of three reports that make up the work product of a project undertaken by students at Texas A&M University School of Law in a select capstone seminar. These reports examine regulations surrounding desalination and water recycling. The companion report entitled Brackish Groundwater Desalination Technical Report highlights building, operating, and monitoring requirements for desalination facilities in Texas. Finally, the Case Study Report expands on regulations in San Antonio and El Paso where these water alternatives are in place.
Styles APA, Harvard, Vancouver, ISO, etc.
10

Boettcher, Seth J., Courtney Gately, Alexandra L. Lizano, Alexis Long et Alexis Yelvington. Part 1 : Brackish Groundwater Desalination Technical Report. Sous la direction de Gabriel Eckstein. Texas A&M University School of Law Program in Natural Resources Systems, mai 2020. http://dx.doi.org/10.37419/eenrs.brackishgroundwater.p1.

Texte intégral
Résumé :
This Brackish Groundwater Desalination Technical Report examines the legal frameworks that affect desalination in Texas. The goal of this report is to provide insight into the legal and regulatory barriers, challenges, and opportunities for these technologies to go online. Each desalination implementation site has to find ways of complying with various laws and regulations. The information in this Report comes from the study of brackish groundwater desalination facilities currently operating in Texas, as well as extensive research into available literature and documents from various agencies. While there is no updated “one-stop-shop” resource that provides detailed information on all the necessary permits to build, operate, and maintain such facilities, this Technical Report aims to compile the existing, available information in an organized and accessible fashion. The Brackish Groundwater Desalination Technical Report is the first of three reports that make up the work product of a project undertaken by students at Texas A&M University School of Law in a select capstone seminar. These reports examine regulations surrounding desalination and water recycling. The companion report entitled Water Recycling Technical Report highlights building, operating, and monitoring requirements for water recycling facilities in Texas. Finally, the Case Study Report expands on regulations in San Antonio and El Paso where these water alternatives are in place.
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « Compiler theory » pour d’autres types de sources :
Articles de revues Thèses Livres
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie