Relevant bibliographies by topics / C (Computer program language)

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'C (Computer program language)'

Author: Grafiati
Published: 4 June 2021
Last updated: 29 July 2024

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 'C (Computer program language).'

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 "C (Computer program language)"

1

Adawiyah Ritonga and Yahfizham Yahfizham. "Studi Literatur Perbandingan Bahasa Pemrograman C++ dan Bahasa Pemrograman Python pada Algoritma Pemrograman." Jurnal Teknik Informatika dan Teknologi Informasi 3, no. 3 (November 10, 2023): 56–63. http://dx.doi.org/10.55606/jutiti.v3i3.2863.

Full text
Abstract:
Programming Language is a language used to write computer program codes. Programming languages ​​allow programmers to instruct computers to perform certain tasks. There are many different programming languages ​​such as Python, Java, C++, PHP, JavaScript and so on. This article only focuses on explaining the C++ and Python programming languages. The aim of this article is to find out the differences between the C++ and Python programming languages ​​and to find out the advantages and functions of each programming language. From the results obtained, the two C++ programming languages ​​are more
APA, Harvard, Vancouver, ISO, and other styles
2

Wan, Lei, Yongli Cao, Lili Shi, and Ying An. "Development and Teaching Application of Interactive Virtual Algorithm Animation of C Language Program." Computational Intelligence and Neuroscience 2022 (July 30, 2022): 1–8. http://dx.doi.org/10.1155/2022/7082914.

Full text
Abstract:
In today’s world, almost every domain has certain and mandatory requirements to understand at least one of the programming languages which is defined as a way of interaction with a computer to resolve real world problems or more specifically for the implementation of algorithms. Language programming is a course with strong theory and practice. In view of the fact that C language beginners in colleges and universities generally report that it is difficult to learn well due to various reasons. Therefore, in this paper, we have discussed the development and teaching of interactive virtual animati
APA, Harvard, Vancouver, ISO, and other styles
3

Raman, K. V. "Some Features of Java Language Illustrated through Examples from Chemistry." Mapana - Journal of Sciences 1, no. 2 (July 3, 2003): 22–56. http://dx.doi.org/10.12723/mjs.2.5.

Full text
Abstract:
Computer programming has been used effectively by theoretical chemists and organic chemists to solve various types of problem in chemistry. Initially the languages used for computations in chemistry were FORTRAN and BASIC. Later the Pascal language was used for solving problems in chemistry and physics. Recently the languages C and C++ and Java have been used to solve problems in chemistry. In this paper I will illustrate features of C, C++ choosing examples from chemistry. Computer programming has been used effectively by theoretical chemists and organic chemists to solve various types of pro
APA, Harvard, Vancouver, ISO, and other styles
4

Chaplygin, А. А. "Using Metaprogramming Tools of the Common Lisp Language for the Development of Emulator Systems." Proceedings of the Southwest State University. Series: IT Management, Computer Science, Computer Engineering. Medical Equipment Engineering 13, no. 3 (January 27, 2024): 135–45. http://dx.doi.org/10.21869/2223-1536-2023-13-3-135-145.

Full text
Abstract:
The purpose of research is to analyze and use metaprogramming in the Common Lisp language when designing and implementing emulators that simulate computer system hardware. The metaprogramming, the macro tools of the Common Lisp language and the use of macros for metaprogramming are considered.Methods. The Lisp language is characterized by its use of uniform S-expressions to represent data and programs. Thus, data can be part of a program and vice versa: a program can be data. Common Lisp macro tools allow you to directly modify the abstract syntax tree of a program, and thus it is possible to
APA, Harvard, Vancouver, ISO, and other styles
5

LESOV, Altynbek T., and Valery O. IVASHCHENKO. "Energy optimization of train movement modes in the language of C # program." Proceedings of Petersburg Transport University 2021, no. 4 (December 2021): 480–90. http://dx.doi.org/10.20295/1815-588x-2021-4-480-490.

Full text
Abstract:
Objective: Analysis of existing methods for fi nding optimal modes of handling trains on the training ground of Uzbek railways to optimize the use of electrical energy within the train schedule and its optimization in terms of minimizing electricity consumption. Traction calculations are an important part of the science of train traction, one of the main activities carried out for the organization of train operation and the design of railway lines. The methods of traction calculations include a set of methods and techniques for determining the mass of the train, the speed of movement and secti
APA, Harvard, Vancouver, ISO, and other styles
6

Legalov, Alexander I., Yegor G. Bugayenko, Nickolay K. Chuykin, Maksim V. Shipitsin, Yaroslav I. Riabtsev, and Andrey N. Kamenskiy. "Transformation of C Programming Language Memory Model into Object-Oriented Representation of EO Language." Modeling and Analysis of Information Systems 29, no. 3 (September 25, 2022): 246–64. http://dx.doi.org/10.18255/1818-1015-2022-3-246-264.

Full text
Abstract:
The paper analyzes the possibilities of transforming C programming language constructs into objects of EO programming language. The key challenge of the method is the transpilation from a system programming language into a language of a higher level of abstraction, which doesn’t allow direct manipulations with computer memory. Almost all application and domain-oriented programming languages disable such direct access to memory. Operations that need to be supported in this case include the use of dereferenced pointers, the imposition of data of different types in the same memory area, and diffe
APA, Harvard, Vancouver, ISO, and other styles
7

Levin, I. I., V. A. Gudkov, G. A. Еvstafiev, A. I. Dordopulo, A. A. Gulenok, and A. V. Bovkun. "TECHNIQUE OF C PROGRAM TRANSLATION FOR RECONFIGURABLE AND HYBRID COMPUTER SYSTEMS BASED ON FIELD-PROGRAMMABLE GATE ARRAYS." Vestnik komp'iuternykh i informatsionnykh tekhnologii, no. 186 (December 2019): 54–60. http://dx.doi.org/10.14489/vkit.2019.12.pp.054-060.

Full text
Abstract:
In this paper, we thoroughly consider the technique of conversion of procedural programs in C to configuration files for field-programmable gate arrays used in the toolkit for programming of reconfigurable and hybrid computer systems. The creation of parallel program in the COLAMO (Common Oriented Language for Architecture of Multi Objects) language using the analysis results of information dependences in the initial procedural program and its further conversion to a parallel and pipeline form are the distinctive characteristics of the technique. We addressed the methods of scalar splitting an
APA, Harvard, Vancouver, ISO, and other styles
8

Lieberherr, Karl J., and Cun Xiao. "Customizing adaptive software to object-oriented software using grammars." International Journal of Foundations of Computer Science 05, no. 02 (June 1994): 179–208. http://dx.doi.org/10.1142/s0129054194000104.

Full text
Abstract:
Although numerous researchers have pointed out that object-oriented software is easier to extend than software that is not written in an object-oriented style, object-oriented software is still rigid to adapt and maintain. This paper builds on an extension of object-oriented programming which is called adaptive programming. Adaptive programming allows the programmer to write more extensible software called adaptive software without committing to a specific input language. After writing an adaptive program, the programmer selects a specific input language and partially evaluates the program int
APA, Harvard, Vancouver, ISO, and other styles
9

Levin, I. I., V. A. Gudkov, S. A. Dudko, A. A. Gulenok, and A. V. Bovkun. "TOOLS OF C PROGRAM TRANSLATION FOR RECONFIGURABLE AND HYBRID COMPUTER SYSTEMS BASED ON FIELD-PROGRAMMABLE GATE ARRAYS." Vestnik komp'iuternykh i informatsionnykh tekhnologii, no. 183 (September 2019): 50–56. http://dx.doi.org/10.14489/vkit.2019.09.pp.050-056.

Full text
Abstract:
In this article, we consider the stages of development of a novel application toolkit for reconfigurable computer systems, its architecture and operation principles. The toolkit provides the translation of procedural programs in C to configuration files for field-programmable gate arrays in 6 stages. The conversion of procedural program in C to parallel program in COLAMO (Common Oriental Language for Architecture of Multi Objects) is performed using four additional programs: the “Angel ” translator and three preprocessors called the “Mermaid ”, the “Procrustes” and the “Nutcracker ”. At the fi
APA, Harvard, Vancouver, ISO, and other styles
10

Shelekhov, Vladimir Ivanovich. "TRANSFORMATION AND VERIFICATION OF THE OS PROGRAM SORTING DEVICES IN A COMPUTER BUS." System Informatics, no. 18 (2021): 1–34. http://dx.doi.org/10.31144/si.2307-6410.2021.n18.p1-34.

Full text
Abstract:
The transformation and verification of the bus_sort_breadthfirst program, which belongs to the Linux OS kernel and implements sorting of devices are described. The C program is transformed into the cP language performing macros unfolding, structure changes, and elimination of pointers. Transformed program is translated into the WhyML functional language. For the received program, a specification is constructed. Deductive verification is carried out in the tool Why3.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "C (Computer program language)"

1

Martin, Walter E. "Cview, a graphical program generator for the C programming language /." Online version of thesis, 1988. http://hdl.handle.net/1850/10224.

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

Kenyon, John L. "CHIMP the C/C++ hybrid imperative meta-programmer /." abstract and full text PDF (free order & download UNR users only), 2008. http://0-gateway.proquest.com.innopac.library.unr.edu/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:1453647.

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

Coleman, Jesse J. "The design, construction, and implementation of an engineering software command processor and macro compiler /." Online version of thesis, 1995. http://hdl.handle.net/1850/12219.

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

Jones, Linwood D. "Run-time comparison C++ vs. Java." Virtual Press, 1999. http://liblink.bsu.edu/uhtbin/catkey/1125142.

Full text
Abstract:
C++ is one of the most commonly used programming languages in academic and professional environments. Java is a relatively new language that is rapidly gaining popularity and acceptance. Java's designers claim that Java offers all the functionality of C++ and more. Java's syntax is similar to C++, but Java code is not compatible with C++. Java offers platform independence and better support for internet-oriented applications. Platform independence may come at a price. A major concern regarding any language is performance.This thesis looks at the performance of Java and C++. A comparison is mad
APA, Harvard, Vancouver, ISO, and other styles
5

Richardson, Joel E. "E a persistent systems implementation language /." Madison, Wis. : University of Wisconsin-Madison, Computer Sciences Dept, 1989. http://catalog.hathitrust.org/api/volumes/oclc/20839601.html.

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

Yu, Henry 1961. "HPSIMC: AHPL SIMULATOR IMPLEMENTED IN C LANGUAGE (PARSER, SOFTWARE)." Thesis, The University of Arizona, 1986. http://hdl.handle.net/10150/291313.

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

Chan, Robin Isaac Man-Hang. "An Estelle-C compiler for automatic protocol implementation." Thesis, University of British Columbia, 1987. http://hdl.handle.net/2429/26184.

Full text
Abstract:
Over the past few years, much experience has been gained in semi-automatic protocol implementation using an existing Estelle-C compiler developed at the University of British Columbia. However, with the continual evolution of the Estelle language, that compiler is now obsolete. The present study found substantial syntactic and semantic differences between the Estelle language as implemented by the existing compiler and that specified in the latest ISO document to warrant the construction of a new Estelle-C compiler. The result is a new compiler which translates Estelle as defined in the seco
APA, Harvard, Vancouver, ISO, and other styles
8

Mosca, Peter. "A study of Ada and C in concurrent programming." Instructions for remote access. Click here to access this electronic resource. Access available to Kutztown University faculty, staff, and students only, 1991. http://www.kutztown.edu/library/services/remote_access.asp.

Full text
Abstract:
Thesis (M.S.)--Kutztown University of Pennsylvania, 1991.<br>Source: Masters Abstracts International, Volume: 45-06, page: 3190. Abstract precedes thesis as [1] preliminary leaf. Typescript. Includes bibliographical references (leaf 54).
APA, Harvard, Vancouver, ISO, and other styles
9

Shear, Raymond F. "Implementation of a Modula 2 subset compiler supporting a "C" language interface using commonly available UNIX tools /." Online version of thesis, 1989. http://hdl.handle.net/1850/10505.

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

Li, Bin. "An interface between single assignment C and vector pascal." Connect to e-thesis, 2007. http://theses.gla.ac.uk/107/.

Full text
Abstract:
Thesis (Ph.D.) - University of Glasgow, 2007.<br>Ph.D. thesis submitted to the Department of Computing Science, Faculty of Information and Mathematical Sciences, University of Glasgow, 2007. Includes bibliographical references. Print version also available.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "C (Computer program language)"

1

Wagner-Dobler, Friedman. C language. London: Pitman, 1985.

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

Jamsa, Kris A. Jamsa's C/C++/C# programmer's bible: The ultimate guide to C/C++/C# programming. 2nd ed. [Las Vegas, NV]: Onword Press, 2002.

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

Pugh, Kenneth. C language for programmers. 2nd ed. Wellesley, Mass: QED Information Sciences, 1989.

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

Cleaver, Richard W. C--the programmer's language. Dubuque, Iowa: Kendall/Hunt Pub. Co., 1989.

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

Schildt, Herbert. C/C++ programmerʼs reference. 3-тє вид. New York: McGraw-Hill/Osborne, 2003.

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

Horton, Ivor. Beginning C++: The complete language. Birmingham, UK: Wrox Press, 1998.

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

Scott, Wiltamuth, and Golde Peter, eds. The C# programming language. Boston, MA: Addison-Wesley, 2004.

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

Scott, Wiltamuth, and Golde Peter, eds. The C# programming language. 2nd ed. Upper Saddle River, NJ: Addison-Wesley, 2006.

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

Pappas, Chris H. C/C++ programmer's guide. Emeryville, Calif: Ziff-Davis Press, 1995.

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

Christophe, Nasarre, ed. Windows via C/C++. 5th ed. Redmond, WA: Microsoft Press, 2007.

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

Book chapters on the topic "C (Computer program language)"

1

Luo, Ziqing, and Stephen F. Siegel. "Collective Contracts for Message-Passing Parallel Programs." In Computer Aided Verification, 44–68. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-65630-9_3.

Full text
Abstract:
AbstractProcedure contracts are a well-known approach for specifying programs in a modular way. We investigate a new contract theory for collective procedures in parallel message-passing programs. As in the sequential setting, one can verify that a procedure f conforms to its contract using only the contracts, and not the implementations, of the collective procedures called by f. We apply this approach to C programs that use the Message Passing Interface (MPI), introducing a new contract language that extends the ANSI/ISO C Specification Language. We present contracts for the standard MPI collective functions, as well as many user-defined collective functions. A prototype verification system has been implemented using the CIVL model checker for checking contract satisfaction within small bounds on the number of processes.
APA, Harvard, Vancouver, ISO, and other styles
2

Sakagami, Hitoshi. "Three-Dimensional Fluid Code with XcalableMP." In XcalableMP PGAS Programming Language, 165–79. Singapore: Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-7683-6_6.

Full text
Abstract:
AbstractIn order to adapt parallel computers to general convenient tools for computational scientists, a high-level and easy-to-use portable parallel programming paradigm is mandatory. XcalableMP, which is proposed by the XcalableMP Specification Working Group, is a directive-based language extension for Fortran and C to easily describe parallelization in programs for distributed memory parallel computers. The Omni XcalableMP compiler, which is provided as a reference XcalableMP compiler, is currently implemented as a source-to-source translator. It converts XcalableMP programs to standard MPI programs, which can be easily compiled by the native Fortran compiler and executed on most of parallel computers. A three-dimensional Eulerian fluid code written in Fortran is parallelized by XcalableMP using two different programming models with the ordinary domain decomposition method, and its performances are measured on the K computer. Programs converted by the Omni XcalableMP compiler prevent native Fortran compiler optimizations and show lower performance than that of hand-coded MPI programs. Finally almost the same performances are obtained by using specific compiler options of the native Fortran compiler in the case of a global-view programming model, but performance degradation is not improved by specifying any native compiler options when the code is parallelized by a local-view programming model.
APA, Harvard, Vancouver, ISO, and other styles
3

Holmqvist, David Weisskopf, and Suejb Memeti. "Enhancing Performance Monitoring in C/C++ Programs with EDPM: A Domain-Specific Language for Performance Monitoring." In Lecture Notes in Computer Science, 110–22. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-50684-0_9.

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

Lee, Jaehun, Sharon Kim, Kyungmin Bae, and Peter Csaba Ölveczky. "Hybrid SynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL." In Computer Aided Verification, 491–504. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_23.

Full text
Abstract:
AbstractWe present the $$\textsc {Hybrid}\textsc {Synch}\textsc {AADL}$$ H Y B R I D S Y N C H AADL modeling language and formal analysis tool for virtually synchronous cyber-physical systems with complex control programs, continuous behaviors, bounded clock skews, network delays, and execution times. We leverage the Hybrid PALS equivalence, so that it is sufficient to model and verify the simpler underlying synchronous designs. We define the $$\textsc {Hybrid}\textsc {Synch}\textsc {AADL}$$ H Y B R I D S Y N C H AADL language as a sublanguage of the avionics modeling standard AADL for modeling such designs in AADL, and demonstrate the effectiveness of $$\textsc {Hybrid}\textsc {Synch}\textsc {AADL}$$ H Y B R I D S Y N C H AADL on a number of applications.
APA, Harvard, Vancouver, ISO, and other styles
5

Necula, George C., Scott McPeak, Shree P. Rahul, and Westley Weimer. "CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs." In Lecture Notes in Computer Science, 213–28. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45937-5_16.

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

Griggio, Alberto, and Martin Jonáš. "Kratos2: An SMT-Based Model Checker for Imperative Programs." In Computer Aided Verification, 423–36. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37709-9_20.

Full text
Abstract:
AbstractThis paper describes , a tool for the verification of imperative programs. operates on an intermediate verification language called , with a formally-specified semantics based on smt, allowing the specification of both reachability and liveness properties. It integrates several state-of-the-art verification engines based on sat and smt. Moreover, it provides additional functionalities such as a flexible Python api, a customizable C front-end, generation of counterexamples, support for simulation and symbolic execution, and translation into multiple low-level verification formalisms. Our experimental analysis shows that is competitive with state-of-the-art software verifiers on a large range of programs. Thanks to its flexibility, has already been used in various industrial projects and academic publications, both as a verification back-end and as a benchmark generator.
APA, Harvard, Vancouver, ISO, and other styles
7

Cahill, Vinny, and Donal Lafferty. "Computers, Programming Languages, and C#." In Learning to Program the Object-oriented Way with C#, 23–46. London: Springer London, 2002. http://dx.doi.org/10.1007/978-1-4471-0115-4_2.

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

Suresh, Varsha P., Rekha Pai, Deepak D’Souza, Meenakshi D’Souza, and Sujit Kumar Chakrabarti. "Static Race Detection for Periodic Programs." In Programming Languages and Systems, 290–316. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99336-8_11.

Full text
Abstract:
AbstractWe consider the problem of statically detecting data races in periodic real-time programs that use locks, and run on a single processor platform. We propose a technique based on a small set of rules that exploits the priority, periodicity, locking, and timing information of tasks in the program. One of the key requirements is a response time analysis for such programs, and we propose an algorithm to compute this for the case of non-nested locks. We have implemented our analysis for real-time programs written in C in a tool called PePRacer and evaluated its performance on a small set of benchmarks from the literature.
APA, Harvard, Vancouver, ISO, and other styles
9

Weik, Martin H. "language program." In Computer Science and Communications Dictionary, 871. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_9931.

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

Pilavakis, Andreas J. "C Language Program Execution." In UNIX Workshop, 79–88. London: Macmillan Education UK, 1989. http://dx.doi.org/10.1007/978-1-349-19900-6_8.

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

Conference papers on the topic "C (Computer program language)"

1

Ourusoff, Nicholas. "Using Jackson Structured Programming (JSP) and Jackson Workbench to Teach Program Design." In 2003 Informing Science + IT Education Conference. Informing Science Institute, 2003. http://dx.doi.org/10.28945/2658.

Full text
Abstract:
Teaching how to program independently of teaching a programming language has been recognized as a worthwhile goal in computer science pedagogy, but many have abandoned the goal as being impossible to achieve in practice. Jackson Structured Programming (JSP) is a well-documented and proven program design method that is independent of any programming language. CASE tools have generally been used in designing information systems rather than programs. Jackson Workbench (Keyword Computer Services Limited, 2002) is a CASE tool for designing programs (as well as information systems) that generates ex
APA, Harvard, Vancouver, ISO, and other styles
2

Ning, Jing, and Qingquan Cui. "Innovative design and analysis of C language program based on game development orientation." In 4th International Conference on Computer Network Security and Software Engineering (CNSSE 2024), edited by Dimitrios A. Karras and Mehdi Gheisari. SPIE, 2024. http://dx.doi.org/10.1117/12.3032009.

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

Li, Shanzhi. "Design of automatic evaluation system of C language program based on fuzzy clustering algorithm." In 2023 IEEE International Conference on Sensors, Electronics and Computer Engineering (ICSECE). IEEE, 2023. http://dx.doi.org/10.1109/icsece58870.2023.10263375.

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

Thompson, Sean, and Harry H. Cheng. "Computer-Aided Displacement Analysis of Spatial Mechanisms." In ASME 1994 Design Technical Conferences collocated with the ASME 1994 International Computers in Engineering Conference and Exhibition and the ASME 1994 8th Annual Database Symposium. American Society of Mechanical Engineers, 1994. http://dx.doi.org/10.1115/detc1994-0052.

Full text
Abstract:
Abstract Recently, Cheng (1993) introduced the CH programming language. CH is designed to be a superset of ANSI C with all programming features of FORTRAN. Many programming features in CH are specifically designed and implemented for design automation. Handling dual number as a basic built-in data type in the language is one example. Formulas with dual numbers can be translated into CH programming statements as easily as formulas with real and complex numbers. In this paper we will show that both formulation and programming with dual numbers are remarkably simple for analysis of complicated sp
APA, Harvard, Vancouver, ISO, and other styles
5

Karpoff, Marcus, Jose Nelson Amaral, Kai-Ting Amy Wang, Rayson Ho, and Brice Dobry. "PSU: A Framework for Dynamic Software Updates in Multi-threaded C-Language Programs." In 2020 IEEE 32nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). IEEE, 2020. http://dx.doi.org/10.1109/sbac-pad49847.2020.00040.

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

Dimitrov, Dimitar, and Ivaylo Penev. "DESIGN OF A TRAINING COMPILER FOR INCREASING THE EFFICIENCY OF LANGUAGE PROCESSORS LEARNING." In eLSE 2021. ADL Romania, 2021. http://dx.doi.org/10.12753/2066-026x-21-077.

Full text
Abstract:
The paper presents the design of a training compiler which is developed for the purposes of education in compilers and language processors in computer science courses. The presented compiler has the following main advantages compared to known training compilers used in various universities - a simplified modular structure and the building of an explicit abstract syntactic tree of the input program. The modules in the compiler structure are lexical analyzer, syntactic analyzer, semantic analyzer and code generator. This separation allows students to effectively study the main stages of compilat
APA, Harvard, Vancouver, ISO, and other styles
7

Cheng, Harry H. "A Network Computing Language Environment for Design and Manufacturing." In ASME 1997 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1997. http://dx.doi.org/10.1115/detc97/dfm-4354.

Full text
Abstract:
Abstract With the development of the World Wide Web (WWW), the computing paradigm has been shifted from the central processing in the 1970s, client/server based computing in 1980s, to today’s network computing. In the network computing, it is not computers on the network, but the network itself is the computer. This fundamental change of computing paradigm is opening up a whole new world of opportunities for design and manufacturing that have not existed before. We have developed a network computing language environment for design and manufacturing. The language environment is a superset of AN
APA, Harvard, Vancouver, ISO, and other styles
8

Poole, C., A. G. Salsi, F. S. Bhinder, and S. Kumar. "A Software Environment for the Modelling, Simulation and Control of Industrial Gas Turbine Engines." In ASME 1991 International Gas Turbine and Aeroengine Congress and Exposition. American Society of Mechanical Engineers, 1991. http://dx.doi.org/10.1115/91-gt-332.

Full text
Abstract:
This paper describes a computer program which has been developed to simulate industrial gas turbine engines to aid the design and application of fuel controllers. It explains the program structure and, as an example, gives the application of the program to the modelling of a simple two shaft industrial gas turbine engine. A brief discussion of the value of the implementation language, C++, is also given.
APA, Harvard, Vancouver, ISO, and other styles
9

Hundal, M. S., and Louis D. Langholtz. "Developing Function Structures of Engineering Systems Using C and X-Toolkit Intrinsics." In ASME 1991 International Computers in Engineering Conference and Exposition. American Society of Mechanical Engineers, 1991. http://dx.doi.org/10.1115/cie1991-0020.

Full text
Abstract:
Abstract An interactive graphical program is described, which uses an object oriented approach for developing conceptual designs. The program is written in the C programming language and designed on a UNIX operating system. It starts with the specifications list, develops function structures and searches for solutions, for systems with mechanical, electrical/electronic, fluid and other components. It can be used for developing new and improving existing devices, systems and processes. Applications include any designs which can be described in terms of interconnected functional blocks with defi
APA, Harvard, Vancouver, ISO, and other styles
10

Vasilyeva, M. A., and E. P. Balakina. "FEATURES OF TEACHING DISCIPLINES RELATED TO PROGRAMMING IN THE COMPUTER SECURITY SPECIALTY." In Intelligent transport systems. Russian University of Transport, 2024. http://dx.doi.org/10.30932/9785002446094-2024-816-821.

Full text
Abstract:
Studying the discipline "Programming Languages" in the specialty "Computer Protection" is an important stage in the student’s professional skills formation in the field of information protection. The focus is not only on the ability to write code, but also on the ability to ensure software protection. This approach allows graduates of the specialty to be competent specialists ready to solve complex problems in the field of cybersecurity. A distinctive feature of teaching the discipline “Programming Languages” in the specialty “Computer Protection” is the choice of programming languages C and C
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "C (Computer program language)"

1

Chen, M. M. Collaborative research on fluidization employing computer-aided particle tracking. [RAWCAL. EXE, PD. EXE, MAIN. EXE, PROCESS. EXE in C language]. Office of Scientific and Technical Information (OSTI), January 1989. http://dx.doi.org/10.2172/6579051.

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

Cloney, Dan, Kellie Picker, David Jeffries, and Prue Anderson. The Overcoming Disadvantage in Early Childhood Study: Evaluation of the Australian Literacy and Numeracy Foundation’s Early Language and Literacy Program. Final Report,. Australian Council for Educational Research, 2022. http://dx.doi.org/10.37517/978-1-74286-710-6.

Full text
Abstract:
The Overcoming Disadvantage in Early Childhood (ODEC) study is a longitudinal evaluation of the Australian Literacy and Numeracy Foundation’s (ALNF) Early Language and Literacy (EL&amp;L) program. The study was designed to answer the research question: What is the effect of the EL&amp;L program on the development of language and literacy skills in preschool aged children? An integral component of this study was to develop a new measure of oral language and literacy - the Early Language and Literacy Developmental Index (ELLDI). The ELLDI was developed in recognition of the need for a best pract
APA, Harvard, Vancouver, ISO, and other styles
3

Ponce, Juan, Mercedes Onofa, and Paul E. Carrillo. Information Technology and Student Achievement: Evidence from a Randomized Experiment in Ecuador. Inter-American Development Bank, December 2010. http://dx.doi.org/10.18235/0011199.

Full text
Abstract:
This paper studies the effects of information and communication technologies (ICT) in the school environment on educational achievement. To quantify these effects, the impact is evaluated of a project run by the municipality of Guayaquil, Ecuador, which provides computer-aided instruction in mathematics and language to students in primary schools. Using an experimental design, it is found that the program had a positive impact on mathematics test scores (about 0. 30 of a standard deviation) and a negative but statistically insignificant effect on language test scores. The impact is heterogeneo
APA, Harvard, Vancouver, ISO, and other styles
4

Zarrieß, Benjamin, and Jens Claßen. On the Decidability of Verifying LTL Properties of Golog Programs. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.200.

Full text
Abstract:
Golog is a high-level action programming language for controlling autonomous agents such as mobile robots. It is defined on top of a logic-based action theory expressed in the Situation Calculus. Before a program is deployed onto an actual robot and executed in the physical world, it is desirable, if not crucial, to verify that it meets certain requirements (typically expressed through temporal formulas) and thus indeed exhibits the desired behaviour. However, due to the high (first-order) expressiveness of the language, the corresponding verification problem is in general undecidable. In this
APA, Harvard, Vancouver, ISO, and other styles
5

Tarko, Andrew P., Mario A. Romero, Vamsi Krishna Bandaru, and Cristhian Lizarazo. TScan–Stationary LiDAR for Traffic and Safety Applications: Vehicle Interpretation and Tracking. Purdue University, 2022. http://dx.doi.org/10.5703/1288284317402.

Full text
Abstract:
To improve traffic performance and safety, the ability to measure traffic accurately and effectively, including motorists and other vulnerable road users, at road intersections is needed. A past study conducted by the Center for Road Safety has demonstrated that it is feasible to detect and track various types of road users using a LiDAR-based system called TScan. This project aimed to progress towards a real-world implementation of TScan by building two trailer-based prototypes with full end-user documentation. The previously developed detection and tracking algorithms have been modified and
APA, Harvard, Vancouver, ISO, and other styles
6

Makhachashvili, Rusudan K., Svetlana I. Kovpik, Anna O. Bakhtina, and Ekaterina O. Shmeltser. Technology of presentation of literature on the Emoji Maker platform: pedagogical function of graphic mimesis. [б. в.], July 2020. http://dx.doi.org/10.31812/123456789/3864.

Full text
Abstract:
The article deals with the technology of visualizing fictional text (poetry) with the help of emoji symbols in the Emoji Maker platform that not only activates students’ thinking, but also develops creative attention, makes it possible to reproduce the meaning of poetry in a succinct way. The application of this technology has yielded the significance of introducing a computer being emoji in the study and mastering of literature is absolutely logical: an emoji, phenomenologically, logically and eidologically installed in the digital continuum, is separated from the natural language provided by
APA, Harvard, Vancouver, ISO, and other styles
7

Striuk, Andrii M., and Serhiy O. Semerikov. The Dawn of Software Engineering Education. [б. в.], February 2020. http://dx.doi.org/10.31812/123456789/3671.

Full text
Abstract:
Designing a mobile-oriented environment for professional and practical training requires determining the stable (fundamental) and mobile (technological) components of its content and determining the appropriate model for specialist training. In order to determine the ratio of fundamental and technological in the content of software engineers’ training, a retrospective analysis of the first model of training software engineers developed in the early 1970s was carried out and its compliance with the current state of software engineering development as a field of knowledge and a new the standard
APA, Harvard, Vancouver, ISO, and other styles
8

Markova, Oksana, Serhiy Semerikov та Maiia Popel. СoCalc as a Learning Tool for Neural Network Simulation in the Special Course “Foundations of Mathematic Informatics”. Sun SITE Central Europe, травень 2018. http://dx.doi.org/10.31812/0564/2250.

Full text
Abstract:
The role of neural network modeling in the learning сontent of special course “Foundations of Mathematic Informatics” was discussed. The course was developed for the students of technical universities – future IT-specialists and directed to breaking the gap between theoretic computer science and it’s applied applications: software, system and computing engineering. CoCalc was justified as a learning tool of mathematical informatics in general and neural network modeling in particular. The elements of technique of using CoCalc at studying topic “Neural network and pattern recognition” of the sp
APA, Harvard, Vancouver, ISO, and other styles
9

Blais-Stevens, A., A. Castagner, A. Grenier, and K D Brewer. Preliminary results from a subbottom profiling survey of Seton Lake, British Columbia. Natural Resources Canada/CMSS/Information Management, 2023. http://dx.doi.org/10.4095/332277.

Full text
Abstract:
Seton Lake is a freshwater fiord located in southwestern British Columbia, roughly 4 km west of Lillooet and 250 km north-northeast of Vancouver. Located in the Coast Mountains, it is an alpine lake about 22-km long and roughly 1-1.5 km wide. It is separated from nearby Anderson Lake, located to the west, by a large pre-historic rock avalanche deposit at Seton Portage. The lake stands at about 243 m above sea level and is up to about 150 m deep (BC gov., 1953). Water level is controlled by a hydroelectric dam (i.e., Seton dam) located at the eastern end of the lake. Here, the lake drains east
APA, Harvard, Vancouver, ISO, and other styles
10

Federal Information Processing Standards Publication: portable operating system interface (POSIX) - system application program interface [C language]. Gaithersburg, MD: National Institute of Standards and Technology, 1993. http://dx.doi.org/10.6028/nist.fips.151-2-1993.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'C (Computer program language)' 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