Articles de revues : « Compiler theory »

1

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

3

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

Texte intégral

Résumé :

In this paper, we introduced an effective time delay model for SRAM compiler, which represents an important performance of SRAM. Our method divide the delay time into several periods, including decoder delay, word line delay, bit line delay and SA delay. The theory is useful in predicting the delay time when the SRAM size is changed. Simulations by Hsim in 65nm CMOS process proves a high accuracy.

Styles APA, Harvard, Vancouver, ISO, etc.

4

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

5

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

6

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

7

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

9

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

10

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

11

Midkiff, S. P., J. Lee et D. A. Padua. « A compiler for multiple memory models ». Concurrency and Computation : Practice and Experience 16, n^o 23 (7 janvier 2004) : 197–220. http://dx.doi.org/10.1002/cpe.771.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

12

Jaejin Lee et D. A. Padua. « Hiding relaxed memory consistency with a compiler ». IEEE Transactions on Computers 50, n^o 8 (août 2001) : 824–33. http://dx.doi.org/10.1109/tc.2001.947010.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

13

Pope. « Notes on Possible Scribe-Compiler/Owner of MS Digby 86 ». Chaucer Review 56, n^o 1 (2021) : 80. http://dx.doi.org/10.5325/chaucerrev.56.1.0080.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

14

Pope. « Notes on Possible Scribe-Compiler/Owner of MS Digby 86 ». Chaucer Review 56, n^o 1 (2021) : 80. http://dx.doi.org/10.5325/chaucerrev.56.1.0080.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

15

Hamada, Takashi, Toshiyuki Masui et Yoshiaki Kayano. « Development of self-multiplicating compiler writing system ». Systems and Computers in Japan 17, n^o 11 (1986) : 51–63. http://dx.doi.org/10.1002/scj.4690171106.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

16

Edelsohn, D., W. Gellerich, M. Hagog, D. Naishlos, M. Namolaru, E. Pasch, H. Penner, U. Weigand et A. Zaks. « Contributions to the GNU Compiler Collection ». IBM Systems Journal 44, n^o 2 (2005) : 259–78. http://dx.doi.org/10.1147/sj.442.0259.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

17

Sato, Taisuke, et Hisao Tamaki. « First order compiler : A deterministic logic program synthesis algorithm ». Journal of Symbolic Computation 8, n^o 6 (décembre 1989) : 605–27. http://dx.doi.org/10.1016/s0747-7171(89)80064-1.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

18

REMSHAGEN, ANJA, et KLAUS TRUEMPER. « Learning in a compiler for MINSAT algorithms ». Theory and Practice of Logic Programming 3, n^o 03 (mai 2003) : 271–86. http://dx.doi.org/10.1017/s147106840200162x.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

19

Bhowmik, A., et M. Franklin. « A general compiler framework for speculative multithreaded processors ». IEEE Transactions on Parallel and Distributed Systems 15, n^o 8 (août 2004) : 713–24. http://dx.doi.org/10.1109/tpds.2004.26.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

20

Welsh, Jarrett T. « SOME FRAGMENTS OF REPUBLICAN DRAMA FROM NONIUS MARCELLUS' SOURCES 26, 27 AND 28 ». Classical Quarterly 63, n^o 1 (24 avril 2013) : 253–76. http://dx.doi.org/10.1017/s0009838812000870.

Texte intégral

Résumé :

In a paper in an earlier issue of this journal I endeavoured to show that Nonius Marcellus’ three glossarial sources known as ‘Gloss. iii’, ‘Alph. Verb’ and ‘Alph. Adverb’ (lists 26, 27 and 28 in W.M. Lindsay's analysis of Nonius’ sources) were compiled by a lexicographer who paid attention to both metre and sense when excerpting works of Republican poetry. That compiler always excerpted quotations of poetry such that they consisted of, or began or ended with, a metrically complete verse. That method has produced quotations of high quality that are, on several counts, considerably more transparent and more reliable than those preserved by less diligent sources.

Styles APA, Harvard, Vancouver, ISO, etc.

21

Butler, Emily. « The Role of the Compiler in the Paris Psalter ». English Studies 98, n^o 1 (16 novembre 2016) : 26–34. http://dx.doi.org/10.1080/0013838x.2016.1230321.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

22

Márton, Gábor, et Zoltán Porkoláb. « Unit Testing in C++ with Compiler Instrumentation and Friends ». Acta Cybernetica 23, n^o 2 (2017) : 659–86. http://dx.doi.org/10.14232/actacyb.23.2.2017.14.

Texte intégral

Résumé :

In C++, test code is often interwoven with the unit we want to test. During the test development process we often have to modify the public interface of a class to replace existing dependencies; e.g. a supplementary setter or constructor function is added for dependency injection. In many cases, extra template parameters are used for the same purpose. All existing solutions have serious detrimental effects on the code structure and sometimes on the run-time performance as well. In this paper, we overview existing dependency replacement techniques of C++ and we evaluate their advantages and disadvantages. We introduce our non-intrusive, compiler instrumentation based testing approach that does not have such disadvantages. All non-intrusive testing methods (including our new method) require access to an object’s internal state in order to setup a test. Thus, to complement our new solution, we also present different approaches to conveniently access private members in C++. To evaluate these techniques, we created a proof-of-concept implementation which is publicly available for further testing.

Styles APA, Harvard, Vancouver, ISO, etc.

23

Diessel, O., et G. Milne. « Hardware compiler realising concurrent processes in reconfigurable logic ». IEE Proceedings - Computers and Digital Techniques 148, n^o 4 (1 décembre 2001) : 152–62. http://dx.doi.org/10.1049/ip-cdt:20010579.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

24

Savage, Neil. « Getting down to basics ». Communications of the ACM 64, n^o 6 (juin 2021) : 12–14. http://dx.doi.org/10.1145/3460734.

Texte intégral

Résumé :

2020 ACM A.M. Turing Award recipients Alfred Aho and Jeffrey Ullman helped develop formal language theory, invented efficient algorithms to drive the tasks of a compiler, and put them all together in 'The Dragon Book.'

Styles APA, Harvard, Vancouver, ISO, etc.

25

Artal, Cayetano Guerra, Maria Dolores Afonso Suarez, Idafen Santana Perez et Ruben Quesada Lopez. « OLC, On-Line Compiler to Teach Programming Languages ». International Journal of Computers Communications & ; Control 3, n^o 1 (1 mars 2008) : 69. http://dx.doi.org/10.15837/ijccc.2008.1.2376.

Texte intégral

Résumé :

The advance of Internet towards Web 2.0 conveys the potential it has in a wide range of scopes. The ongoing progress of the Web technology and its availability in teaching and learning, as well as a students’ profile increasingly more used to managing an important amount of digital information, offers lecturers the opportunity and challenge of putting at students’ disposal didactic tools making use of the Internet. Programming is one of the essential areas taught in university studies of Computer Science and other engineering degrees. At present, it is a knowledge acquired through tutorial classes and the practice with different tools for programming. This paper shows the acquired experience in the development and use of a simple compiler accessible through a Web page. In addition it presents a teaching proposal for its use in subjects that include programming languages lessons. OLC - On-Line Compiler - is an application which greatly lightens the student’s workload at the initial stage of programming. During this initial period they will neither have to deal with the complexities of the installation and the configuration of these types of tools, nor with the understanding of multiple options which they present. Therefore students can concentrate on the comprehension of the programming structures and the programming language to be studied.

Styles APA, Harvard, Vancouver, ISO, etc.

26

Choi, Lynn, Hock-Beng Lim et Pen-Chung Yew. « Parallel architectures : Techniques for compiler-directed cache coherence ». IEEE Parallel & ; Distributed Technology : Systems & ; Applications 4, n^o 4 (1996) : 23–34. http://dx.doi.org/10.1109/m-pdt.1996.544438.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

27

Liu, J., F. Chow, T. Kong et R. Roy. « Variable instruction set architecture and its compiler support ». IEEE Transactions on Computers 52, n^o 7 (juillet 2003) : 881–95. http://dx.doi.org/10.1109/tc.2003.1214337.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

28

Zhao, Q., et D. J. Lilja. « Static classification of value predictability using compiler hints ». IEEE Transactions on Computers 53, n^o 8 (août 2004) : 929–44. http://dx.doi.org/10.1109/tc.2004.49.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

29

Sinharoy, Balaram. « Compiler Optimization to Improve Data Locality for Processor Multithreading ». Scientific Programming 7, n^o 1 (1999) : 21–37. http://dx.doi.org/10.1155/1999/235625.

Texte intégral

Résumé :

Over the last decade processor speed has increased dramatically, whereas the speed of the memory subsystem improved at a modest rate. Due to the increase in the cache miss latency (in terms of the processor cycle), processors stall on cache misses for a significant portion of its execution time. Multithreaded processors has been proposed in the literature to reduce the processor stall time due to cache misses. Although multithreading improves processor utilization, it may also increase cache miss rates, because in a multithreaded processor multiple threads share the same cache, which effectively reduces the cache size available to each individual thread. Increased processor utilization and the increase in the cache miss rate demands higher memory bandwidth. A novel compiler optimization method has been presented in this paper that improves data locality for each of the threads and enhances data sharing among the threads. The method is based on loop transformation theory and optimizes both spatial and temporal data locality. The created threads exhibit high level of intra‐thread and inter‐thread data locality which effectively reduces both the data cache miss rates and the total execution time of numerically intensive computation running on a multithreaded processor.

Styles APA, Harvard, Vancouver, ISO, etc.

30

Montenyohl, Margaret, et Mitchell Wand. « Incorporating static analysis in a combinator-based compiler ». Information and Computation 82, n^o 2 (août 1989) : 151–84. http://dx.doi.org/10.1016/0890-5401(89)90052-7.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

31

Gillhammer, Cosima Clara. « Non-Wycliffite Bible Translation in Oxford, Trinity College, 29 and Universal History Writing in Late Medieval England ». Anglia 138, n^o 4 (11 novembre 2020) : 649–72. http://dx.doi.org/10.1515/ang-2020-0052.

Texte intégral

Résumé :

AbstractThe late-fifteenth-century Middle English manuscript Oxford, Trinity College, 29 contains a universal history of the world, compiled from diverse religious and secular source texts and written by a single compiler-scribe. A great part of the text is focused on Old Testament history and uses the Vulgate as a key source, thus offering an opportunity to examine in detail the compiler’s strategies of translating the text of the Bible into the vernacular. The Bible translations in this manuscript are unconnected to the Wycliffite translations, and are non-reformist in their interpretative framework, implications, and use. This evidence is of particular interest as an example of the range of approaches to biblical translation and scholarship in the vernacular found in late medieval English texts, despite the restrictive legislation concerning Bible translation in fifteenth-century England. The strategies of translating the biblical text found in this manuscript include close word-by-word translation (seemingly unencumbered by anxieties about censorship), as well as other modes of interaction, such as summary, and exegesis. This article situates these modes of engagement with the Bible within a wider European textual tradition of including biblical material in universal history writing.

Styles APA, Harvard, Vancouver, ISO, etc.

32

Ding, Yufei, Lin Ning, Hui Guan et Xipeng Shen. « Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction ». ACM SIGPLAN Notices 52, n^o 6 (14 septembre 2017) : 33–48. http://dx.doi.org/10.1145/3140587.3062377.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

33

Evansi, D. J., et M. N. Sulaiman. « Solving optimisation problems using neucomp-a neural network compiler ». International Journal of Computer Mathematics 62, n^o 1-2 (janvier 1996) : 1–21. http://dx.doi.org/10.1080/00207169608804522.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

34

Navarro, A., E. Zapata et D. Padua. « Compiler techniques for the distribution of data and computation ». IEEE Transactions on Parallel and Distributed Systems 14, n^o 6 (juin 2003) : 545–62. http://dx.doi.org/10.1109/tpds.2003.1206503.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

35

Woo Son, Seung, Guangyu Chen, Ozcan Ozturk, Mahmut Kandemir et Alok Choudhary. « Compiler-Directed Energy Optimization for Parallel Disk Based Systems ». IEEE Transactions on Parallel and Distributed Systems 18, n^o 9 (septembre 2007) : 1241–57. http://dx.doi.org/10.1109/tpds.2007.1056.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

36

Guilin Chen et M. Kandemir. « Compiler-Directed Code Restructuring for Improving Performance of MPSoCs ». IEEE Transactions on Parallel and Distributed Systems 19, n^o 9 (septembre 2008) : 1201–14. http://dx.doi.org/10.1109/tpds.2007.70760.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

37

Couton, Marie. « The Anatomie of Absurditie : Portrait of the Satirist as a Compiler ». Cahiers Élisabéthains : A Journal of English Renaissance Studies 37, n^o 1 (avril 1990) : 17–26. http://dx.doi.org/10.1177/018476789003700106.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

38

Thiyagarajan, M., et N. Sairam. « Verification of the correctness of compiler optimization using co-induction ». Journal of Discrete Mathematical Sciences and Cryptography 10, n^o 3 (juin 2007) : 329–49. http://dx.doi.org/10.1080/09720529.2007.10698123.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

39

Mellor-Crummey, J., V. Adve, B. Broom, D. Chavarría-Miranda, R. Fowler, G. Jin, K. Kennedy et Q. Yi. « Advanced optimization strategies in the Rice dHPF compiler ». Concurrency and Computation : Practice and Experience 14, n^o 8-9 (27 juin 2002) : 741–67. http://dx.doi.org/10.1002/cpe.647.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

40

Ferreira de Lima, Thomas, Alexander N. Tait, Armin Mehrabian, Mitchell A. Nahmias, Chaoran Huang, Hsuan-Tung Peng, Bicky A. Marquez et al. « Primer on silicon neuromorphic photonic processors : architecture and compiler ». Nanophotonics 9, n^o 13 (10 août 2020) : 4055–73. http://dx.doi.org/10.1515/nanoph-2020-0172.

Texte intégral

Résumé :

AbstractMicroelectronic computers have encountered challenges in meeting all of today’s demands for information processing. Meeting these demands will require the development of unconventional computers employing alternative processing models and new device physics. Neural network models have come to dominate modern machine learning algorithms, and specialized electronic hardware has been developed to implement them more efficiently. A silicon photonic integration industry promises to bring manufacturing ecosystems normally reserved for microelectronics to photonics. Photonic devices have already found simple analog signal processing niches where electronics cannot provide sufficient bandwidth and reconfigurability. In order to solve more complex information processing problems, they will have to adopt a processing model that generalizes and scales. Neuromorphic photonics aims to map physical models of optoelectronic systems to abstract models of neural networks. It represents a new opportunity for machine information processing on sub-nanosecond timescales, with application to mathematical programming, intelligent radio frequency signal processing, and real-time control. The strategy of neuromorphic engineering is to externalize the risk of developing computational theory alongside hardware. The strategy of remaining compatible with silicon photonics externalizes the risk of platform development. In this perspective article, we provide a rationale for a neuromorphic photonics processor, envisioning its architecture and a compiler. We also discuss how it can be interfaced with a general purpose computer, i.e. a CPU, as a coprocessor to target specific applications. This paper is intended for a wide audience and provides a roadmap for expanding research in the direction of transforming neuromorphic photonics into a viable and useful candidate for accelerating neuromorphic computing.

Styles APA, Harvard, Vancouver, ISO, etc.

41

Otiakovskii, Valerii. « From the Compiler. Soviet Samokritika as a Sabotage of Repentant Discourse ». Novoe literaturnoe obozrenie, n^o 5 (2022) : 72–80. http://dx.doi.org/10.53953/08696365_2022_177_5_72.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

42

Tanis, Kristina. « SOVIET CINEMA VIEWER AND THE NEW CINEMA HISTORY. From the Compiler ». Novoe literaturnoe obozrenie, n^o 3 (2022) : 115–21. http://dx.doi.org/10.53953/08696365_2022_175_3_115.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

43

DIAZ, DANIEL, SALVADOR ABREU et PHILIPPE CODOGNET. « On the implementation ofGNU Prolog ». Theory and Practice of Logic Programming 12, n^o 1-2 (12 décembre 2011) : 253–82. http://dx.doi.org/10.1017/s1471068411000470.

Texte intégral

Résumé :

AbstractGNU Prologis a general-purpose implementation of the Prolog language, which distinguishes itself from most other systems by being, above all else, a native-code compiler which produces stand-alone executables which do not rely on any bytecode emulator or meta-interpreter. Other aspects which stand out include the explicit organization of the Prolog system as a multipass compiler, where intermediate representations are materialized, in Unix compiler tradition.GNU Prologalso includes an extensible and high-performance finite-domain constraint solver, integrated with the Prolog language but implemented using independent lower-level mechanisms. This paper discusses the main issues involved in designing and implementingGNU Prolog: requirements, system organization, performance, and portability issues as well as its position with respect to other Prolog system implementations and the ISO standardization initiative.

Styles APA, Harvard, Vancouver, ISO, etc.

44

de Souza Xavier, Tiago Cariolano, et Anderson Faustino da Silva. « Exploration of Compiler Optimization Sequences Using a Hybrid Approach ». Computing and Informatics 37, n^o 1 (2018) : 165–85. http://dx.doi.org/10.4149/cai_2018_1_165.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

45

Morisset, Robin, Pankaj Pawan et Francesco Zappa Nardelli. « Compiler testing via a theory of sound optimisations in the C11/C++11 memory model ». ACM SIGPLAN Notices 48, n^o 6 (23 juin 2013) : 187–96. http://dx.doi.org/10.1145/2499370.2491967.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

46

Xuejun Yang, Xiaobo Yan, Zuocheng Xing, Yu Deng, Jiang Jiang, Jing Du et Ying Zhang. « Fei Teng 64 Stream Processing System : Architecture, Compiler, and Programming ». IEEE Transactions on Parallel and Distributed Systems 20, n^o 8 (août 2009) : 1142–57. http://dx.doi.org/10.1109/tpds.2008.170.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

47

Ryan, R. R., et H. Spiller. « The C programming language and a C compiler ». IBM Systems Journal 24, n^o 1 (1985) : 37–48. http://dx.doi.org/10.1147/sj.241.0037.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

48

Binding, C., W. Bouma, M. Dauphin, G. Karjoth et Y. Yang. « A common compiler for LOTOS and SDL specifications ». IBM Systems Journal 31, n^o 4 (1992) : 668–90. http://dx.doi.org/10.1147/sj.314.0668.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

49

Puchol, Carlos, Douglas A. Stuart et Aloysius K. Mok. « An Operational Semantics and Compiler for Real-Time Specifications1 ». Integrated Computer-Aided Engineering 5, n^o 3 (1 juillet 1998) : 187–206. http://dx.doi.org/10.3233/ica-1998-5301.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

50

Stickel, Mark E. « A prolog technology theorem prover : Implementation by an extended prolog compiler ». Journal of Automated Reasoning 4, n^o 4 (décembre 1988) : 353–80. http://dx.doi.org/10.1007/bf00297245.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Articles de revues sur le sujet « Compiler theory »

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