Relevant bibliographies by topics / Compiler theory

Academic literature on the topic 'Compiler theory'

Author: Grafiati
Published: 14 March 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Compiler theory.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Compiler theory"

1

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Compiler theory"

1

Barrett, William A. Compiler construction: Theory and practice. 2nd ed. Chicago: Science Research Associates, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Alan, Mycroft, Zeller Andreas, and ETAPS 2006 (2006 : Vienna, Austria), eds. 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Rastislav, Bodik, and ETAPS 2005 (2005 : Edinburgh, Scotland), eds. 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Compiler theory"

1

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Simons, Barbara. "Parallelism, Compiler Optimization, and Deterministic Scheduling Theory." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Korn, Granino A. "A Simulation-Model Compiler for All Seasons." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Guedes, Luiz Carlos Castro, Edward Hermann Haeusler, and José Lucas Rangel. "Object Oriented Semantics Directed Compiler Generation: A prototype." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Gjøsæter, Terje, and Andreas Prinz. "Teaching Computer Language Handling - From Compiler Theory to Meta-modelling." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Takashima, Katsuyuki. "Post-Quantum Constant-Round Group Key Exchange from Static Assumptions." In 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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Compiler theory"

1

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

del Vado Vírseda, Rafael. "Learning Compiler Design: From the Implementation to Theory." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Aho, Alfred V. "Computational thinking in programming language and compiler design (keynote)." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Ding, Yufei, Lin Ning, Hui Guan, and Xipeng Shen. "Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
9

Amaral, José Nelson, Christopher Barton, Andrew C. Macdonell, and Matthew McNaughton. "Using the SGI Pro64 Open Source Compiler Infra-Structure for Teaching and Research." In 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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Compiler theory"

1

Roldán-González, Elizabeth, Carolina Robledo-Castro, Piedad Rocío Lerma-Castaño, and 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, October 2022. http://dx.doi.org/10.37766/inplasy2022.10.0044.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
5

Gupta, Aditya, Aaron Simkovich, and 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, November 2021. http://dx.doi.org/10.37766/inplasy2021.11.0070.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Compiler theory' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography