Bibliografías temáticas / Static compilation

Índice

  1. Artículos de revistas
  2. Tesis
  3. Libros
  4. Capítulos de libros
  5. Actas de conferencias
  6. Informes

Literatura académica sobre el tema "Static compilation"

Autor: Grafiati
Publicado: 7 de junio de 2025
Última modificación: 2 de agosto de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Static compilation".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "Static compilation"

1

Chandra, Satish, Colin S. Gordon, Jean-Baptiste Jeannin, et al. "Type inference for static compilation of JavaScript." ACM SIGPLAN Notices 51, no. 10 (2016): 410–29. http://dx.doi.org/10.1145/3022671.2984017.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Xu, Jingyu, Linying Pan, Qiang Zeng, Wenjian Sun, and Weixiang Wan. "Based on TPUGRAPHS Predicting Model Runtimes Using Graph Neural Networks." Frontiers in Computing and Intelligent Systems 6, no. 1 (2023): 66–69. http://dx.doi.org/10.54097/fcis.v6i1.13.

Texto completo
Resumen
Deep learning frameworks are mainly divided into pytorch in academia and tensorflow in industry, where pytorch is a dynamic graph and tensor flow is a static graph, both of which are essentially directed and loopless computational graphs. In TensorFlow, data input into the model requires a good computational graph structure to be executed, and static graphs have more optimization methods and higher performance. The node of the graph is OP and the edge is tensor. The static diagram is fixed after the compilation is completed, so it is easier to deploy on the server. How to compile a static grap
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Afanasyev, Vitaly Olegovich, Alexey Evgenevich Borodin, and Andrey Andreevich Belevantsev. "Static Analysis for Scala." Proceedings of the Institute for System Programming of the RAS 36, no. 3 (2024): 9–20. http://dx.doi.org/10.15514/ispras-2024-36(3)-1.

Texto completo
Resumen
The paper describes a static analyzer for finding defects in Scala programs. The proposed analysis scheme uses JVM bytecode produced during compilation. The generated bytecode is used as an input for inter-procedural static analyzer Svace. In contrast to the analysis of other languages supported by Svace, in this work we describe an approach that does not require compiler modifications and therefore simplifies language support. This approach can also be used in static analyzers that aim to support a large number of programming languages.
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Singh, Raju, and Anand Mehta. "Leveraging Partially Context-Sensitive Profiles for Enhanced AOT Compilation: A Review." International Journal of Engineering and Advanced Technology 14, no. 1 (2024): 6–9. http://dx.doi.org/10.35940/ijeat.a4538.14011024.

Texto completo
Resumen
In the realm of compiler optimization, just-in-time (JIT) compilation dynamically adjusts code execution based on runtime profiling, contrasting with the static approach of ahead-of-time (AOT) compilation. While JIT benefits from real-time profiling data, AOT lacks this advantage, necessitating innovative strategies to enhance performance without runtime feedback. This review article explores the integration of partially context-sensitive profiles into AOT compilation, offering insights into optimizing statically compiled programs through advanced profiling techniques. Also, it explores the ut
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

WOLSKI, RICH. "STATIC SCHEDULING OF HIERARCHICAL PROGRAM GRAPHS." Parallel Processing Letters 05, no. 04 (1995): 611–22. http://dx.doi.org/10.1142/s0129626495000540.

Texto completo
Resumen
Many parallel compilation systems represent programs internally as Directed Acyclic Graphs (DAGs). However, the storage of these DAGs becomes prohibitive when the program being compiled is large. In this paper we describe a compile-time scheduling methodology for hierarchical DAG programs represented in the IFX intermediate form. The method we present is itself hierarchical reducing the storage that would otherwise be required by a single flat DAG representation. We describe the scheduling model and demonstrate the method using the Optimizing Sisal Compiler and two scientific applications.
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Demidov, E. D., and E. V. Stolbikov. "Static IRdrop Analysis Using Open Source CAD Software." Informacionnye Tehnologii 30, no. 10 (2024): 515–19. http://dx.doi.org/10.17587/it.30.515-519.

Texto completo
Resumen
This paper investigates the open source static IRdrop analysis tool, PDNSim, which is part of the OpenROAD computer-aided design tool. The main approach used for static IRdrop analysis is discussed, namely the compilation of an equivalent circuit model used for further calculations. The results of static IRdrop analysis obtained using PDNSim are compared with the results obtained using modern commercial CAD tool and the error of the obtained analysis results is evaluated.
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Serrano, Manuel. "Of JavaScript AOT compilation performance." Proceedings of the ACM on Programming Languages 5, ICFP (2021): 1–30. http://dx.doi.org/10.1145/3473575.

Texto completo
Resumen
The fastest JavaScript production implementations use just-in-time (JIT) compilation and the vast majority of academic publications about implementations of dynamic languages published during the last two decades focus on JIT compilation. This does not imply that static compilers (AoT) cannot be competitive; as comparatively little effort has been spent creating fast AoT JavaScript compilers, a scientific comparison is lacking. This paper presents the design and implementation of an AoT JavaScript compiler, focusing on a performance analysis. The paper reports on two experiments, one based on
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Raju, Singh. "Leveraging Partially Context-Sensitive Profiles for Enhanced AOT Compilation: A Review." International Journal of Engineering and Advanced Technology (IJEAT) 14, no. 1 (2024): 6–9. https://doi.org/10.35940/ijeat.A4538.14011024.

Texto completo
Resumen
<strong>Abstract: </strong>In the realm of compiler optimization, just-in-time (JIT) compilation dynamically adjusts code execution based on runtime profiling, contrasting with the static approach of ahead-of-time (AOT) compilation. While JIT benefits from real-time profiling data, AOT lacks this advantage, necessitating innovative strategies to enhance performance without runtime feedback. This review article explores the integration of partially context-sensitive profiles into AOT compilation, offering insights into optimizing statically compiled programs through advanced profiling technique
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Gheorghita, Stefan Valentin, Henk Corporaal, and Twan Basten. "Iterative compilation for energy reduction." Journal of Embedded Computing 1, no. 4 (2005): 509–20. https://doi.org/10.3233/emc-2005-00050.

Texto completo
Resumen
The rapidly increasing number of architectural changes in embedded processors puts compiler technology under an enormous stress. This is emphasized by new demands on compilers, like requirements to reduce static code size, energy consumption or power dissipation. Iterative compilation has been proposed as an approach to find the best sequence of optimizations (such as loop transformations) for an application, in order to improve its performance. In this paper, we study both the effect of several loop transformations on energy consumption as well as the possibility of using the iterative compil
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Walter, H. G. "Corrections to the Luni-Solar Precession From Radio Positions of Extragalactic Objects." Symposium - International Astronomical Union 141 (1990): 285–92. http://dx.doi.org/10.1017/s0074180900086940.

Texto completo
Resumen
In an attempt of a realization of the radio reference frame a compilation catalogue of positions is derived from independent observation catalogues of extragalactic objects the coordinates of which had been determined by means of Very Long Baseline Interferometry. The compilation catalogue comprises 209 objects which are divided into a core consisting of 50 objects having mean positional accuracies of 0.5 milliseconds of arc (mas) and an extension with positional accuracies better than 2 mas. Comparison of this catalogue with an independent compilation catalogue led to confidence limits at the
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Tesis sobre el tema "Static compilation"

1

Pradelle, Benoît. "Static and dynamic methods of polyhedral compilation for an efficient execution in multicore environments." Strasbourg, 2011. http://www.theses.fr/2011STRA6213.

Texto completo
Resumen
Depuis plusieurs années, le nombre de cœurs de calcul dans les processeurs ne cesse d'augmenter à chaque nouvelle génération. Les processeurs multi-cœurs sont maintenant très fréquents mais le développement de logiciels séquentiels reste une pratique très courante. Pour pallier à ce problème, des outils de parallélisation automatique ont été proposés mais ils ne sont pas encore prêts pour une utilisation à grande échelle. Nous proposons d'étendre les outils existants dans trois directions différentes. Premièrement, on peut remarquer que le code source de certains programmes n'est pas disponibl
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Trieu, Alix. "Vérification d'implémentations constant-time dans une chaîne de compilation vérifiée." Thesis, Rennes 1, 2018. http://www.theses.fr/2018REN1S099/document.

Texto completo
Resumen
Les attaques par canaux cachés sont une forme d'attaque particulièrement dangereuse. Dans cette thèse, nous nous intéressons au canal caché temporel. Un programme est dit ''constant-time'' lorsqu'il n'est pas vulnérable aux attaques par canal caché temporel. Nous présentons dans ce manuscrit deux méthodes reposant sur l'analyse statique afin de s'assurer qu'un programme est constant-time. Ces méthodes se placent dans le cadre de vérification formelle afin d'obtenir le plus haut niveau d'assurance possible en s'appuyant sur une chaîne de compilation vérifiée composée du compilateur CompCert et
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Boissinot, Benoit. "Towards an SSA based compiler back-end : some interesting properties of SSA and its extensions." Lyon, Ecole normale supérieure, 2010. http://www.theses.fr/2010ENSL0587.

Texto completo
Resumen
Les contributions de cette thèse s'articulent autour de trois axes, en lien avec la forme SSA. Tout d'abord, nous nous sommes intéressés aux algorithmes d'analyse de vivacité sous la forme SSA. Nous présentons un algorithme rapide, qui s'appuie sur la structure du programme (notamment les boucles) et sur les propriétés spécifiques à la forme SSA. Ensuite nous présentons une représentation dérivée de SSA : la forme Static Single Information (SSI). D'abord, nous clarifions les différentes définitions apparues antérieurement. Puis nous montrons que le graphe d'intersection de la vivacité des vari
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Bodin, Bruno. "Analyse d'Applications Flot de Données pour la Compilation Multiprocesseur." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2013. http://tel.archives-ouvertes.fr/tel-00922578.

Texto completo
Resumen
Les systèmes embarqués sont des équipements électroniques et informatiques, soumis à de nombreuses contraintes et dont le fonctionnement doit être continu. Pour définir le comportement de ces systèmes, les modèles de programmation dataflows sont souvent utilisés. Ce choix de modèle est motivé d'une part, parce qu'ils permettent de décrire un comportement cyclique, nécessaire aux systèmes embarqués ; et d'autre part, parce que ces modèles s'apprêtent à des analyses qui peuvent fournir des garanties de fonctionnement et de performance essentielles. La société Kalray propose une architecture emba
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Morandat, Floréal. "Contribution à l'efficacité de la programmation par objets : evaluation des implémentations de l'héritage multiple en typage statique." Thesis, Montpellier 2, 2010. http://www.theses.fr/2010MON20199/document.

Texto completo
Resumen
Cette thèse traite de la compilation efficace des langages à objets en héritage multiple. La programmation objet est caractérisée par un mécanisme fondamental, emph{la liaison tardive} --- la méthode appelée dépend du type dynamique d'un paramètre distingué, le emph{receveur}. L'efficacité de ce mécanisme nécessite une implémentation adéquate qui est conditionnée par le schéma de compilation utilisé --- compilation séparée avec chargement dynamique, compilation globale, etc. Cependant la programmation par objets présente une apparente incompatibilité entre trois termes : l'héritage multiple, l
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Thievenaz, Hugo. "Scalable Trace-based Compile-Time Memory Allocation." Electronic Thesis or Diss., Lyon, École normale supérieure, 2024. http://www.theses.fr/2024ENSL0108.

Texto completo
Resumen
Cette thèse, intitulée “Compilation d'allocation mémoire par analyse de trace avec passage à l'échelle”, étudie l’utilisation de l’analyse dynamique pour en déduire des réductions de trace mémoire. Le but plus large est d’exploiter les informations du programme qui sont disponibles à l’éxecution pour aller plus vite que les techniques d’analyses statiques tradictionnelles, car elles ne parviennent pas à passer à l’échelle pour des noyaux de programmes qui sont plus lourds en termes de nombres d’instructions et qui sont de dimension élevée.La méthodologie de recherche a été d’étudier l’état de
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Sallenave, Olivier. "Contribution à l'efficacité des programmes orientés objet pour processeurs embarqués." Thesis, Montpellier 2, 2012. http://www.theses.fr/2012MON20120.

Texto completo
Resumen
Les systèmes embarqués sont largement utilisés de nos jours. Pour des raisons d'efficacité, les plus contraints en termes de ressources sont toujours programmés en C et en assembleur. L'adoption de langages de plus haut niveau tels que C# ou Java offrirait plus d'abstraction au programmeur, ce qui réduirait les temps de développement et par conséquent le coût de ces systèmes. Certains d'entre eux ont déjà migré vers de tels langages, comme les téléphones mobiles ou les tablettes tactiles, mais ils sont équipés d'une grande quantité de mémoire externe et ne reflètent pas la majorité des système
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Potop-Butucaru, Dumitru. "Optimisations pour la simulation efficace de programmes Esterel." Paris, ENMP, 2002. http://www.theses.fr/2002ENMP0002.

Texto completo
Resumen
Esterel est un langage de spécification utilisé dans le développement de systèmes embarqués. Sa sémantique formelle permet des traductions en automates explicites ou en circuits digitaux synchrones, donnant lieu à deux implantations logicielles dont les propriétés essentielles sont héritées du modèle correspondant. Ces méthodes de compilation sont donc sémantiquement complètes, mais en contrepartie n’arrivent pas à générer du code efficace (à la fois compact et rapide) pour des modèles de taille conséquente. Pour cette raison, de nouvelles techniques ont été proposées récemment pour la générat
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Nguyen, Thi Minh Tuyen. "Taking architecture and compiler into account in formal proofs of numerical programs." Phd thesis, Université Paris Sud - Paris XI, 2012. http://tel.archives-ouvertes.fr/tel-00710193.

Texto completo
Resumen
On some recently developed architectures, a numerical program may give different answers depending on the execution hardware and the compilation. These discrepancies of the results come from the fact that each floating-point computation is calculated with different precisions. The goal of this thesis is to formally prove properties about numerical programs while taking the architecture and the compiler into account. In order to do that, we propose two different approaches. The first approach is to prove properties of floating-point programs that are true for multiple architectures and compiler
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Cashen, Kevin M. "A compilation of necessary elements for a local government continuity of operations plan." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2006. http://library.nps.navy.mil/uhtbin/hyperion/06Sep%5FCashen.pdf.

Texto completo
Resumen
Thesis (M.A. in Security Studies (Homeland Security and Defense)--Naval Postgraduate School, September 2006.<br>Thesis Advisor(s): Ellen M. Gordon. "September 2006." Includes bibliographical references (p. 63-65). Also available in print.
Los estilos APA, Harvard, Vancouver, ISO, etc.

Libros sobre el tema "Static compilation"

1

US GOVERNMENT. Compilation of federal ethics laws. U.S. G.P.O., 1993.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

United States. Army Materiel Command. Historical Office., ed. Logistics lessons learned: A compilation. AMC History Office, 2006.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

US GOVERNMENT. Compilation of treaties in force. W.S. Hein, 2005.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

United States. Defense Contract Audit Agency, ed. Compilation of Privacy Act System notices. Defense Contract Audit Agency, 1991.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Ellis, Smith Robert, and Sulanowski James, eds. Compilation of state and federal privacy laws. 2nd ed. Privacy Journal, 2002.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

US GOVERNMENT. Compilation of selected public buildings laws. U.S. G.P.O., 2000.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Bosnich, Victor W. Congressional voting guide: A ten year compilation. 3rd ed. V.W. Bosnich, 1991.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Bosnich, Victor W. Congressional voting guide: A ten year compilation. 4th ed. H.W. Wilson Co., 1992.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Bosnich, Victor W. Congressional voting guide: A ten year compilation. 5th ed. CVG Press, 1994.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Library of Congress. Congressional Research Service, ed. Compilation of state seat belt laws. Library of Congress, Congressional Research Service, 1987.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Capítulos de libros sobre el tema "Static compilation"

1

Lee, Peter. "Certifying, Optimizing Compilation." In Static Analysis. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-49727-7_23.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Cadambi, Srihari, and Seth Copen Goldstein. "Static Profile-Driven Compilation for FPGAs." In Field-Programmable Logic and Applications. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44687-7_12.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Chen, Kung, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, and Chung-Hsin Chen. "A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages." In Static Analysis. Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-74061-2_3.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Ancona, Davide, and Giovanni Lagorio. "Static Single Information Form for Abstract Compilation." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33475-7_2.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Amini, Mehdi, Fabien Coelho, François Irigoin, and Ronan Keryell. "Static Compilation Analysis for Host-Accelerator Communication Optimization." In Languages and Compilers for Parallel Computing. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-36036-7_16.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Boucher, Dominique, and Marc Feeley. "Abstract compilation: A new implementation paradigm for static analysis." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61053-7_62.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Zhang, Zhi, Robby, John Hatcliff, Yannick Moy, and Pierre Courtieu. "Focused Certification of an Industrial Compilation and Static Verification Toolchain." In Software Engineering and Formal Methods. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66197-1_2.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Baumeister, Jan, Arthur Correnson, Bernd Finkbeiner, and Frederik Scheerer. "An Intermediate Program Representation for Optimizing Stream-Based Languages." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-98682-6_20.

Texto completo
Resumen
Abstract Stream-based runtime monitors are safety assurance tools that check at runtime whether the system’s behavior satisfies a formal specification. Specifications consist of stream equations, which relate input streams, containing sensor readings and other incoming information, to output streams, representing filtered and aggregated data. This paper presents a framework for the stream-based specification language RTLola. We introduce a new intermediate representation for stream-based languages, the StreamIR, which, like the specification language, operates on streams of unbounded length; w
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Mei, Jingyi, Marcello Bonsangue, and Alfons Laarman. "Simulating Quantum Circuits by Model Counting." In Computer Aided Verification. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-65633-0_25.

Texto completo
Resumen
AbstractQuantum circuit compilation comprises many computationally hard reasoning tasks that lie inside #$${\textsf{P}}$$ P and its decision counterpart in $${\textsf{PP}}$$ PP . The classical simulation of universal quantum circuits is a core example. We show for the first time that a strong simulation of universal quantum circuits can be efficiently tackled through weighted model counting by providing a linear-length encoding of Clifford+T circuits. To achieve this, we exploit the stabilizer formalism by Knill, Gottesmann, and Aaronson by reinterpreting quantum states as a linear combination
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Blazy, Sandrine. "From Mechanized Semantics to Verified Compilation: the Clight Semantics of CompCert." In Fundamental Approaches to Software Engineering. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57259-3_1.

Texto completo
Resumen
AbstractCompCert is a formally verified compiler for C that is specified, programmed and proved correct with the Coq proof assistant. CompCert was used in industry to compile critical embedded software. Its correctness proof states that the compiler does not introduce bugs. This semantic preservation property involves the formal semantics of the source and target languages of the compiler.Reasoning on C semantics to prove compiler correctness is challenging, as C is a real language that was not designed with semantics in mind. This paper presents the operational style that was designed for the
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "Static compilation"

1

Chrpa, Lukas, and Erez Karpas. "On Verifying and Generating Robust Plans for Planning Tasks with Exogenous Events." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/26.

Texto completo
Resumen
Planning and acting under the presence of exogenous events brings a number of challenges as events might modify the environment without the consent of the acting agent. Consequently, the agent's plan might get disrupted, agent's goals might no longer be achievable, or, worse, the agent might suffer some damage (e.g. damage to the robot). Although policies, mapping states to appropriate actions to take, can describe, in theory, how the agent should act, they might be difficult to explain and understand for humans in the loop. In this paper, we describe the concept of robust plans that are seque
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Shrivastava, Aviral. "Session details: Static and dynamic compilation." In ESWEEK'12: Eighth Embedded System Week. ACM, 2012. http://dx.doi.org/10.1145/3250259.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Tolmach, Andrew. "Session details: Compilation and static analysis." In ICFP '10: ACM SIGPLAN International Conference on Functional Programming. ACM, 2010. http://dx.doi.org/10.1145/3248896.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Chandra, Satish, Colin S. Gordon, Jean-Baptiste Jeannin, et al. "Type inference for static compilation of JavaScript." In SPLASH '16: Conference on Systems, Programming, Languages, and Applications: Software for Humanity. ACM, 2016. http://dx.doi.org/10.1145/2983990.2984017.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Iwasaki, Shintaro, and Kenjiro Taura. "A Static Cut-off for Task Parallel Programs." In PACT '16: International Conference on Parallel Architectures and Compilation. ACM, 2016. http://dx.doi.org/10.1145/2967938.2967968.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Sher, Gene, Kyle Martin, and Damian Dechev. "Preliminary results for neuroevolutionary optimization phase order generation for static compilation." In the 11th Workshop. ACM Press, 2014. http://dx.doi.org/10.1145/2568326.2568328.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Privat, Jean, and Roland Ducournau. "Link-time static analysis for efficient separate compilation of object-oriented languages." In The 6th ACM SIGPLAN-SIGSOFT workshop. ACM Press, 2005. http://dx.doi.org/10.1145/1108792.1108799.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Khan, Minhaj Ahmad, Henri-Pierre Charles, and Denis Barthou. "Hybrid Specialization: A Trade-off Between Static and Dynamic Specialization." In 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007). IEEE, 2007. http://dx.doi.org/10.1109/pact.2007.4336243.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Binilang, Ronald, Batara Pande, Johanes Sare, et al. "A Success Story of Using Deepwater Semisubmersible Drilling Rig for Workover Operation in 400 Meters Water Depth without Utilization of Anchoring System." In SPE 2023 Symposium Compilation. SPE, 2023. http://dx.doi.org/10.2118/215177-ms.

Texto completo
Resumen
Abstract This paper will be focused on the engineering process for first-time experience workover operation in shallow water depth with a 6th generation semisubmersible drilling rig. The 6th generation semisubmersible drilling rig is designed for operations in water depths of up to 3000 meters, with a typical minimum water depth requirement of 600 meters. However, the operation described in this paper was conducted at a depth of 400 meters solely relying on the dynamic positioning (DP) stability system without any additional mooring and anchoring system. The paper will cover the environmental
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Asthana, Pranay, Mohamed Larbi Zeghlache, Marwan Almulhim, and Ahmed Bukhamseen. "Downhole Completion Challenges and Solution using Critical Nonmetallic Sealing Technologies." In SPE 2023 Symposium Compilation. SPE, 2023. http://dx.doi.org/10.2118/214487-ms.

Texto completo
Resumen
Abstract Many of the new completion technologies were introduced to address the challenges related to the increasing well complexity and the advancement in the downhole high-pressure high-temperature (HPHT) realm. This paper focuses on the evolution of Nonmetallic sealing technologies used in downhole completion tools, from the simple O-ring based chevron stacks to the energized hybrid composite seals. Furthermore, future advances in seal development are discussed to tackle the new corrosive challenging environments. A literature review and subject matter expert input were gathered to study th
Los estilos APA, Harvard, Vancouver, ISO, etc.

Informes sobre el tema "Static compilation"

1

Yu, Dachuan, Zhong Shao, and Valery Trifonov. Supporting Binary Compatibility with Static Compilation. Defense Technical Information Center, 2005. http://dx.doi.org/10.21236/ada436477.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Stone, N. J. Table of Nuclear Electric Quadrupole Moments. IAEA Nuclear Data Section, 2021. http://dx.doi.org/10.61092/iaea.a6te-dg7q.

Texto completo
Resumen
This Table is a compilation of experimental measurements of static electric quadrupole moments of ground states and excited states of atomic nuclei throughout the periodic table. To aid identification of the states, their excitation energy, half-life, spin and parity are given, along with a brief indication of the method and any reference standard used in the particular measurement. Experimental data from all quadrupole moment measurements actually provide a value of the product of the moment and the electric field gradient (EFG) acting at the nucleus. Knowledge of the EFG is thus necessary to
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Jacobs, Timothy, and Daniel Olsen. PR703-242003-R01 PCC Roadmap Compilation Report. Pipeline Research Council International, Inc. (PRCI), 2025. https://doi.org/10.55274/r0000113.

Texto completo
Resumen
This report summarizes recent precombustion chamber research for lean burn two-stroke natural gas engines. Projects carried out under the existing precombustion chamber roadmap are described. The precombustion chamber roadmap is analyzed to assess the status and effectiveness of roadmap projects. Recommendations are made for future work and how to proceed with the PCC roadmap.
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Ambinakudige, Shrinidhi, and Bernard Abubakari. Inventory of Western United States Glaciers- 2020. Mississippi State University, 2024. http://dx.doi.org/10.54718/wwaj8121.

Texto completo
Resumen
The dataset employed for delineating glacier boundaries in the Western United States comprises a compilation of original Sentinel-2 images obtained from the European Space Agency's Copernicus website. These images were instrumental in generating the glacier inventory. Additionally, the dataset includes a Python and R script specifically crafted for processing and classifying Sentinel images. The outcome of this process is represented in an ESRI shapefile, which contains an inventory of glaciers extracted from Sentinel images.
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Riemer, R. L. Assessment of the current status of basic nuclear data compilations. Office of Scientific and Technical Information (OSTI), 1992. http://dx.doi.org/10.2172/10191074.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Morphett, Jane, Alexandra Whittaker, Amy Reichelt, and Mark Hutchinson. Perineuronal net structure as a non-cellular mechanism of affective state, a scoping review. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, 2021. http://dx.doi.org/10.37766/inplasy2021.8.0075.

Texto completo
Resumen
Is the perineuronal net structure within emotional processing brain regions associated with changes in affective state? The objective of this scoping review is to bring together the literature on human and animal studies which have measured perineuronal net structure in brain regions associated with emotional processing (such as but not limited to amygdala, hippocampus and prefrontal cortex). Perineuronal nets are a specialised form of condensed extracellular matrix that enwrap and protect neurons (Suttkus et al., 2016), regulate synaptic plasticity (Celio and Blumcke, 1994) and ion homeostasi
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Otuka, Naohiko, and Boris Pritychenko. Summary Report of the Workshop on Compilation of Experimental Nuclear Reaction Data. IAEA Nuclear Data Section, 2023. http://dx.doi.org/10.61092/iaea.y5pd-w24h.

Texto completo
Resumen
This report summarizes the IAEA Workshop on Compilation of Experimental Nuclear Reaction Data held at the IAEA Headquarters in Vienna, Austria from 13 to 16 December 2022. The meeting was attended by 23 participants representing 12 cooperative Centres from seven Member States (China, Hungary, Japan, Korea, Russia, Ukraine and USA) and two International Organisations (NEA, IAEA) as well as a participant from Mongolia and Spain. A summary of the workshop is given in this report along with the conclusions and actions.
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Taylor, Alice. The many lives of Regiam Maiestatem: compilation, circulation and the Scottish legal tradition [VIDEO]. The Stair Society, 2022. http://dx.doi.org/10.36098/stairsoc/stairsocietylecture.2022.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Lewis, Dustin, ed. A Compilation of Materials Apparently Reflective of States’ Views on International Legal Issues pertaining to the Use of Algorithmic and Data-reliant Socio-technical Systems in Armed Conflict. Harvard Law School Program on International Law and Armed Conflict, 2020. http://dx.doi.org/10.54813/cawz3627.

Texto completo
Resumen
This document is a compilation of materials that at least appear to be reflective of one or more states’ views on international legal issues pertaining to the actual or possible use of algorithmic and data-reliant socio-technical systems in armed conflict. In September of 2018, the Harvard Law School Program on International Law and Armed Conflict (HLS PILAC) commenced a project titled “International Legal and Policy Dimensions of War Algorithms: Enduring and Emerging Concerns.”[1] The project builds on the program’s earlier research and policy initiative on war-algorithm accountability. A goa
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Fleming, Michael, Toshihiko Kawano, and Naohiko Otsuka. Summary Report of the Consultancy Meeting on the Fission Product Yield Experimental Database. IAEA Nuclear Data Section, 2019. http://dx.doi.org/10.61092/iaea.ckk7-tzvy.

Texto completo
Resumen
The Consultancy Meeting on the Fission Product Yield Experimental Database was held at Tokyo Institute of Technology, Tokyo, Japan, from 27th to 30th of May 2019, which aims to grasp the current status of experimental activities on the fission product yields (FPY), development of FPY fission modeling and data evaluation methods, and the EXFOR database compilation. The meeting brought opportunities for the participants from six different countries to discuss on our common topics of interests, such as a novel technique to measure fission-related observables, data evaluation methods by applying t
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías ampliadas sobre el tema "Static compilation" para tipos de fuentes particulares:
Artículos de revistas Libros
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía