Log in

Relevant bibliographies by topics / Incremental Compilation

Contents

Journal articles
Dissertations / Theses
Book chapters
Conference papers
Reports

Academic literature on the topic 'Incremental Compilation'

Author: Grafiati

Published: 4 June 2021

Last updated: 13 February 2022

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

Select a source type:

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

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 "Incremental Compilation"

1

Jones, L. G. "Fast batch incremental netlist compilation hierarchical schematics." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 10, no. 7 (1991): 922–31. http://dx.doi.org/10.1109/43.87602.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

COOPER, TIM, and MICHAEL WISE. "Achieving Incremental Compilation through Fine-grained Builds." Software: Practice and Experience 27, no. 5 (1997): 497–517. http://dx.doi.org/10.1002/(sici)1097-024x(199705)27:5<497::aid-spe88>3.0.co;2-w.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Tessier, R., and S. Jana. "Incremental compilation for parallel logic verification systems." IEEE Transactions on Very Large Scale Integration (VLSI) Systems 10, no. 5 (2002): 623–36. http://dx.doi.org/10.1109/tvlsi.2002.801614.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

FLORES, M. JULIA, JOSE A. GÁMEZ, and KRISTIAN G. OLESEN. "INCREMENTAL COMPILATION OF BAYESIAN NETWORKS BASED ON MAXIMAL PRIME SUBGRAPHS." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 19, no. 02 (2011): 155–91. http://dx.doi.org/10.1142/s0218488511006952.

Full text

Abstract:

When a Bayesian network (BN) is modified, for example adding or deleting a node, or changing the probability distributions, we usually will need a total recompilation of the model, despite feeling that a partial (re)compilation could have been enough. Especially when considering dynamic models, in which variables are added and removed very frequently, these recompilations are quite resource consuming. But even further, for the task of building a model, which is in many occasions an iterative process, there is a clear lack of flexibility. When we use the term Incremental Compilation or IC we re

APA, Harvard, Vancouver, ISO, and other styles

5

Dinkelaker, Tom, Michael Eichberg, and Mira Mezini. "Incremental concrete syntax for embedded languages with support for separate compilation." Science of Computer Programming 78, no. 6 (2013): 615–32. http://dx.doi.org/10.1016/j.scico.2012.12.002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Fujita, Hiroshi, and Koichi Furukawa. "A self-applicable partial evaluator and its use in incremental compilation." New Generation Computing 6, no. 2-3 (1988): 91–118. http://dx.doi.org/10.1007/bf03037133.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

HOLZBAUR, CHRISTIAN, MARIA GARCIA DE LA BANDA, PETER J. STUCKEY, and GREGORY J. DUCK. "Optimizing compilation of constraint handling rules in HAL." Theory and Practice of Logic Programming 5, no. 4-5 (2005): 503–31. http://dx.doi.org/10.1017/s1471068405002413.

Full text

Abstract:

In this paper we discuss the optimizing compilation of Constraint Handling Rules (CHRs). CHRs are a multi-headed committed choice constraint language, commonly applied for writing incremental constraint solvers. CHRs are usually implemented as a language extension that compiles to the underlying language. In this paper we show how we can use different kinds of information in the compilation of CHRs to obtain access efficiency, and a better translation of the CHR rules into the underlying language, which in this case is HAL. The kinds of information used include the types, modes, determinism, f

APA, Harvard, Vancouver, ISO, and other styles

8

Gogic, G., C. H. Papadimitriou, and M. Sideri. "Incremental Recompilation of Knowledge." Journal of Artificial Intelligence Research 8 (January 1, 1998): 23–37. http://dx.doi.org/10.1613/jair.380.

Full text

Abstract:

Approximating a general formula from above and below by Horn formulas (its Horn envelope and Horn core, respectively) was proposed by Selman and Kautz (1991, 1996) as a form of ``knowledge compilation,'' supporting rapid approximate reasoning; on the negative side, this scheme is static in that it supports no updates, and has certain complexity drawbacks pointed out by Kavvadias, Papadimitriou and Sideri (1993). On the other hand, the many frameworks and schemes proposed in the literature for theory update and revision are plagued by serious complexity-theoretic impediments, even in the Horn c

APA, Harvard, Vancouver, ISO, and other styles

9

Matev, Rosen. "Fast distributed compilation and testing of large C++ projects." EPJ Web of Conferences 245 (2020): 05001. http://dx.doi.org/10.1051/epjconf/202024505001.

Full text

Abstract:

High energy physics experiments traditionally have large software codebases primarily written in C++ and the LHCb physics software stack is no exception. Compiling from scratch can easily take 5 hours or more for the full stack even on an 8-core VM. In a development workflow, incremental builds often do not significantly speed up compilation because even just a change of the modification time of a widely used header leads to many compiler and linker invokations. Using powerful shared servers is not practical as users have no control and maintenance is an issue. Even though support for building

APA, Harvard, Vancouver, ISO, and other styles

10

WOLFMAN, STEVEN A., and DANIEL S. WELD. "Combining linear programming and satisfiability solving for resource planning." Knowledge Engineering Review 16, no. 1 (2001): 85–99. http://dx.doi.org/10.1017/s0269888901000017.

Full text

Abstract:

Compilation to Boolean satisfiability has become a powerful paradigm for solving artificial intelligence problems. However, domains that require metric reasoning cannot be compiled efficiently to satisfiability even if they would otherwise benefit from compilation. We address this problem by combining techniques from the artificial intelligence and operations research communities. In particular, we introduce the LCNF (Linear Conjunctive Normal Form) representation that combines propositional logic with metric constraints. We present LPSAT (Linear Programming plus SATisfiability), an engine tha

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Incremental Compilation"

1

Cook, Philip John. "Incremental compilation in language-based environments /." [St. Lucia, Qld.], 2006. http://www.library.uq.edu.au/pdfserve.php?image=thesisabs/absthe19173.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Motika, Christian [Verfasser]. "SCCharts - Language and Interactive Incremental Compilation / Christian Motika." Kiel : Universitätsbibliothek Kiel, 2017. http://d-nb.info/115077729X/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Klinghed, Joel, and Kim Jansson. "Incremental Compilation and Dynamic Loading of Functions in OpenModelica." Thesis, Linköping University, Department of Computer and Information Science, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-12329.

Full text

Abstract:

<p>Advanced development environments are essential for efficient realization of complex industrial products. Powerful equation-based object-oriented (EOO) languages such as Modelica are successfully used for modeling and virtual prototyping complex physical systems and components. The Modelica language enables engineers to build large, sophisticated and complex models. Modelica environments should scale up and be able to handle these large models. This thesis addresses the scalability of Modelica tools by employing incremental compilation and dynamic loading. The design, implementation and eva

APA, Harvard, Vancouver, ISO, and other styles

4

LARCHEVEQUE, JEAN-MARIE. "Technique de compilation pour le developpement incremental sur base de donnees orientee-objets." Paris 11, 1992. http://www.theses.fr/1992PA112003.

Full text

Abstract:

La these specifie succinctement l'architecture d'un environnement de programmation alliant interactivite et generation de code efficace. Les langages vises sont les langages de programmation de bases de donnees orientees-objets. Cette specification permet d'identifier trois problemes de compilation essentiels: 1) l'analyse syntaxique incrementale; 2) l'estimation statique des types dynamiques d'un programme oriente-objets, et 3) la construction statique du graphe d'allocation d'un langage persistant. On decrit une forme incrementale d'analyse syntaxique ascendante lr permettant une reutilisati

APA, Harvard, Vancouver, ISO, and other styles

5

Bussa, Pavan Kumar. "Accelerating in-system debug of high-level synthesis generated circuits on field-programmable gate arrays using incremental compilation techniques." Thesis, University of British Columbia, 2017. http://hdl.handle.net/2429/62550.

Full text

Abstract:

High-Level Synthesis (HLS) has emerged as a promising technology that allows designers to create a digital hardware circuit using a high-level language like C, allowing even software developers to obtain the benefits of hardware implementation. HLS will only be successful if it is accompanied by a suitable debug ecosystem. There are existing debugging methodologies based on software simulation, however, these are not suitable for finding bugs which occur only during the actual execution of the circuit. Recent efforts have presented in-system debug techniques which allow a designer to debug an

APA, Harvard, Vancouver, ISO, and other styles

6

Osório, Fernando Santos. "Inss : un système hybride neuro-symbolique pour l'apprentissage automatique constructif." Grenoble INPG, 1998. https://tel.archives-ouvertes.fr/tel-00004899.

Full text

Abstract:

Plusieurs méthodes ont été développées par l'Intelligence Artificielle pour reproduire certains aspects de l'intelligence humaine. Ces méthodes permettent de simuler les processus de raisonnement en s'appuyant sur les connaissances de base disponibles. Chaque méthode comporte des points forts, mais aussi des limitations. La réalisation de systèmes hybrides est une démarche courante Qui permet de combiner les points forts de chaque approche, et d'obtenir ainsi des performances plus élevées ou un champ d'application plus large. Un autre aspect très important du développement des systèmes hybride

APA, Harvard, Vancouver, ISO, and other styles

7

Dechamboux, Pascal. "Gestion d'objets persistants : du langage de programmation au système." Phd thesis, Grenoble 1, 1993. http://tel.archives-ouvertes.fr/tel-00005124.

Full text

Abstract:

Cette these decrit la definition et la mise en oeuvre dun langage de programmation pour bases de donnees : le langage a objets Peplom (PErsistent Programming Language for Object Management). Lapproche adoptee a pour but doffrir une su^rete importante du langage, une implementation efficace et de la flexibilite pour le schema des definitions (types, modules, etc...). Le langage propose nest pas totalement nouveau puisquil est syntaxiquement base sur le langage C/C++ ce qui lui confere une conformite avec les standards. La these presente dans un premier temps un etat de lart en deux parties. La

APA, Harvard, Vancouver, ISO, and other styles

8

Pires, Miguel Carvalho. "Incremental compilation and deployment for OutSystems Platform." Master's thesis, 2014. http://hdl.handle.net/10362/15108.

Full text

Abstract:

OutSystems Platform is used to develop, deploy, and maintain enterprise web an mobile web applications. Applications are developed through a visual domain specific language, in an integrated development environment, and compiled to a standard stack of web technologies. In the platform’s core, there is a compiler and a deployment service that transform the visual model into a running web application. As applications grow, compilation and deployment times increase as well, impacting the developer’s productivity. In the previous model, a full application was the only compilation and deploym

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Incremental Compilation"

1

Fritzson, Peter. "Incremental symbol processing." In Compiler Compilers and High Speed Compilation. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51364-7_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Benedetti, Marco, and Sara Bernardini. "Incremental Compilation-to-SAT Procedures." In Theory and Applications of Satisfiability Testing. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11527695_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Gyimóthy, T., T. Horváth, F. Kocsis, and J. Toczki. "Incremental algorithms in PROF-LP." In Compiler Compilers and High Speed Compilation. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51364-7_7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Hedin, Görel. "Incremental attribute evaluation with side-effects." In Compiler Compilers and High Speed Compilation. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51364-7_14.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Giordano, Maurizio, and Mario Mango Furnari. "An Incremental Compilation Approach for OpenMP Applications." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11577188_33.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Marchetti-Spaccamela, Alberto, Umberto Nanni, and Hans Rohnert. "On-line graph algorithms for incremental compilation." In Graph-Theoretic Concepts in Computer Science. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-57899-4_42.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Horspool, R. Nigel. "ILALR: An incremental generator of LALR(1) parsers." In Compiler Compilers and High Speed Compilation. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51364-7_10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

mughal, Khalid Azim. "Generation of incremental indirect threaded code for language-based programming environments." In Compiler Compilers and High Speed Compilation. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51364-7_18.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Rybicki, Francesca, Steven Smyth, Christian Motika, Alexander Schulz-Rosengarten, and Reinhard von Hanxleden. "Interactive Model-Based Compilation Continued – Incremental Hardware Synthesis for SCCharts." In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-47169-3_12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

"Incremental Global Compilation of Prolog with the Vienna Abstract Machine." In Logic Programming. The MIT Press, 1995. http://dx.doi.org/10.7551/mitpress/4298.003.0038.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Incremental Compilation"

1

Pollock, Lori L., and Mary Lou Soffa. "Incremental compilation of optimized code." In the 12th ACM SIGACT-SIGPLAN symposium. ACM Press, 1985. http://dx.doi.org/10.1145/318593.318629.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Dehkordi, Mehrdad Eslami, Stephen D. Brown, and Terry Borer. "Modular Partitioning for Incremental Compilation." In 2006 International Conference on Field Programmable Logic and Applications. IEEE, 2006. http://dx.doi.org/10.1109/fpl.2006.311202.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Sathyanathan, Patrick W., Wenlei He, and Ten H. Tzen. "Incremental whole program optimization and compilation." In 2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). IEEE, 2017. http://dx.doi.org/10.1109/cgo.2017.7863742.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Liang, You, and Lu Yansheng. "An incremental compilation algorithm for the Java programming language." In 2012 7th International Conference on Computer Science & Education (ICCSE 2012). IEEE, 2012. http://dx.doi.org/10.1109/iccse.2012.6295262.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Bernstein, Philip A., Marie Jacob, Jorge Pérez, Guillem Rull, and James F. Terwilliger. "Incremental mapping compilation in an object-to-relational mapping system." In the 2013 international conference. ACM Press, 2013. http://dx.doi.org/10.1145/2463676.2465294.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Magnusson, Boris, and Sten Minör. "III---an integrated interactive incremental programming environment based on compilation." In the 1985 ACM SIGSMALL symposium. ACM Press, 1985. http://dx.doi.org/10.1145/317164.317192.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Reutelshoefer, Jochen, Albrecht Striffler, Florian Lemmerich, and Frank Puppe. "Incremental compilation of knowledge documents for markup-based closed-world authoring." In the sixth international conference. ACM Press, 2011. http://dx.doi.org/10.1145/1999676.1999692.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Greaves, David J. "Kiwi scientific acceleration at large: Incremental compilation and multi-FPGA HLS demo." In 2017 27th International Conference on Field Programmable Logic and Applications (FPL). IEEE, 2017. http://dx.doi.org/10.23919/fpl.2017.8056830.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Hong, Changwan, Laxman Dhulipala, and Julian Shun. "Exploring the Design Space of Static and Incremental Graph Connectivity Algorithms on GPUs." In PACT '20: International Conference on Parallel Architectures and Compilation Techniques. ACM, 2020. http://dx.doi.org/10.1145/3410463.3414657.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Behera, Chaitanya, Sandip Mahajan, Carlos Annia, et al. "Challenges, Opportunities and Threats of Deep Bottoms-Up Water Injection in Heavy Oil Reservoir: Lessons Learnt from the G Field, South Oman." In SPE 2020 Symposium Compilation. SPE, 2021. http://dx.doi.org/10.2118/203783-ms.

Full text

Abstract:

Abstract This paper presents the results of a comprehensive study carried out to improve the understanding of deep bottom-up water injection, which enabled optimizing the recovery of a heavy oil field in South Oman. Understanding the variable water injection response and the scale of impact on oil recovery due to reservoir heterogeneity, operating reservoir pressure and liquid offtake management are the main challenges of deep bottoms-up water injection in heavy oil fields. The offtake and throughput management philosophy for heavy oil waterflood is not same as classical light oil. Due to uncl

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Incremental Compilation"

1

Bankole, Akinrinola, Lisa Remez, Onikepe Owolabi, Jesse Philbin, and Patrice Williams. From Unsafe to Safe Abortion in Sub-Saharan Africa: Slow but Steady Progress. Guttmacher Institute, 2020. http://dx.doi.org/10.1363/2020.32446.

Full text

Abstract:

This report represents the first comprehensive compilation of information about abortion in Sub-Saharan Africa and its four subregions. It offers a panorama of this hard-to-measure practice by assembling data on the incidence and safety of abortion, the extent to which the region’s laws restrict abortion, and how these laws have changed between 2000 and 2019. Many countries in this region have incrementally broadened the legal grounds for abortion, improved the safety of abortions, and increased the quality and reach of postabortion care. There is still much progress to be made, however, inclu

APA, Harvard, Vancouver, ISO, and other styles

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!