Relevant bibliographies by topics / C (Computer program language)

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:

Contents

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 focused on Windows development, while Python is more often used in software development and the C++ programming language is more difficult to understand than the Python programming language.
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 animation of C language programs. The proposed approach relies on a typical recursive algorithm case to analyze the teaching strategy of virtual algorithm animation brought into the classroom, the application in the algorithm teaching of C language and the teaching strategy in improving students’ understanding of abstract knowledge using computer C language program interactive virtual animation development and implementation of the teaching system is the research content. According to the basic flow of the interactive virtual algorithm of the C language program, a reasonable system structure design is carried out.
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 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. Some examples presented in this these languages are Program to calculate reduced mass of homo diatomic or hetero diatomic Program to calculate the molecular weight of a tetra atomic system ABCD Program to calculate NMR frequencies of spin 1/2 nuclei only Program to calculate NMR and ESR frequencies The examples presented in Java 2 are Program to calculate unit cell dimension of a crystal Program to generate the chair form and boat form of cyclohexane. The examples presented in this monograph will help researchers in theoretical chemistry and organic chemistry to develop their own software.
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 create new syntactic constructs to solve a given problem. When implementing emulator functions, macro tools of the Common Lisp language can be used to generate functions, where the common part of the functions is included in the macro, and the differences between the functions are specified in the parameters when calling the macros. Examples of this macros are: bit status register macros, generation of ariphmetic commands, comparation commands, memory commands. Using that you can significantly reduce the size of the program.Results. As a result of computer modeling, a simulator of the NES architecture (MOS 6502 processor) was developed and implemented in the conventional object-orientied C# programming language and in the Common Lisp metaprogramming language. As a result, the simulator written in a language with metaprogramming support turned out to be more than 2 times smaller than the simulator written in C#.Conclusion. The use of metaprogramming (using the example of creating emulators) can significantly reduce the size of a program, simplify and improve the program architecture, reduce the number of errors and improve the quality of programs. The use of domain specific languages lets reduce code size even more.
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 section time taken, the fuel and electricity consumption for traction, and the solution of braking problems. Methods: The method of choosing the trajectory of the train movement provides for the calculation in the form of blocks with the initial data of the train parameters and takes into account two problems of solving the train motion equation. Results: Based on the developed computer shell for performing traction calculations, a graphical dependence of the speed of an electric locomotive on the distance covered (energy-optimal curves of train movement) on the section Altyaryk station – Margelan station was built. Practical importance: The described calculation methodology with the use of computer shell blocks makes it possible to signifi cantly simplify and speed up the traction calculations, ensure high accuracy of the results and present them in a convenient and graphic form
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 different interpretation of the same data which is located in the same memory address space. A decision was made to create additional EO-objects that directly simulate the interaction with computer memory as in C language. These objects encapsulate unreliable data operations which use pointers. An abstract memory object was proposed for simulating the capabilities of C language to provide interaction with computer memory. The memory object is essentially an array of bytes. It is possible to write into memory and read from memory at a given index. The number of bytes read or written depends on which object is being used. The transformation of various C language constructs into EO code is considered at the level of the compilation unit. To study the variants and analyze the results a transpiler was developed that provides necessary transformations. It is implemented on the basis of Clang, which forms an abstract syntax tree. This tree is processed using LibTooling and LibASTMatchers libraries. As a result of compiling a C program, code in EO language is generated. The considered approach turns out to be appropriate for solving different problems. One of such problems is static code analysis. Such solutions make it possible to isolate low-level code fragments into separate program objects, focusing on their study and possible transformations into more reliable code.
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 and array extension by iterations, which are applied for the fulfillment of the single assignment and unique substitution rules in parallel program and the saving of information communications of the initial procedural program. The technique of conversion of automatically created parallel program to the scalable parallel and pipeline form is presented. The “Procrustes” preprocessor adapts the form for different architectures and configurations of reconfigurable and hybrid computer systems. Owing to the described methodology, it is possible to synthesize a resource-independent scalable COLAMO-application, which can adapt to available computational resource by changing of several constants in automatic mode without any considerable modification of the program source code. Then, the scalable COLAMO-applicationis translated by the COLAMO-translator into field-programmable gate arrays configuration files for the specified reconfigurable computer resource.
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 into an executable program. This paper formally studies class dictionaries and informally describes how adaptive programs are partially evaluated by freezing class dictionaries. A class dictionary is mapped into classes of an object-oriented programming language, for example, C++, CLOS etc. A class dictionary defines both a set of objects and a set of sentences (a language). We derive a set of restrictions on class dictionaries which permit a simple printing algorithm and its inverse, a parsing algorithm, to be bijection functions between objects and sentences of the same class. We review propagation patterns for describing adaptive object-oriented software at a higher level of abstraction than the one used by today’s object-oriented programming languages. A propagation pattern is an adaptive program which defines a family of programs. From the family, we can select a member by choosing a class dictionary. The theory presented in this paper has been successfully implemented and used in the Demeter Tools/C++. The system consists of a set of tools that facilitate software evolution.
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 first stage, the “Angel ” translates the C program into the absolutely parallel program in the COLAMO language. During the second stage, the information dependences of the initial C program are analyzed, scalar variables are split, and arrays are stretched by iterations. Then, at the third stage, the COLAMO code is converted to the parallel and pipeline form using the partition of arrays and loops into the vector and strea components. The fourth stage involves the transformation of the COLAMO program to the scalable parallel and pipeline form. The optional fifth stage, which is aimed at the reduction of the base subgraph, is executed only in the case of the lack of hardware resource for the structural implementation of the base subgraph of a problem. At the sixth stage, the COLAMO program is transformed to the unique computational structure and several cadrs designed for the architecture of the chosen reconfigurable computer system. The distinctive feature of the developed toolkit is the support of the resource-independent computing, which allows for the scaling of calculations in both cases of increase (induction) and decrease (reduction) in available hardware resources.
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 made of C++ and Java runtimes for a simple algorithm (bubblesort). It covers the differences in compilation of an application developed in C++ versus an application developed in Java. It reports the execution time of an algorithm written in both languages.
Department of Computer Science
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 second version of the ISO Draft Proposal 9074 into the programming language C. The new Estelle-C compiler addresses issues such as dynamic reconfiguration of modules and maintenance of priority relationships among nested modules. A run-time environment capable of supporting the new Estelle features is also presented. The implementation strategy used in the new Estelle-C compiler is illustrated by using the alternating bit protocol found in the ISO Draft Proposal 9074 document.
Science, Faculty of
Computer Science, Department of
Graduate
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.
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.
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. 3rd ed. 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 executable program code in several contemporary programming languages (Visual BASIC, Java, C++). Jackson Workbench contains a unique Structure Editor that uses “hotspots” to draw and syntactically validate program tree structure diagrams. As a result, the user can focus entirely on the design process, and leave the details of drawing to the CASE tool.
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 spatial mechanisms within the programming paradigm of CH. With computational capabilities for dual formulas in mind, formulas for analysis of spatial mechanisms are derived differently from those intended for implementation in computer programming languages without dual data type. We will demonstrate some formulation and programming techniques in the programming paradigm of CH through a displacement analysis of the RCRCR five-link spatial mechanism. A CH program that can obtain both numerical and graphical results for complete displacement analysis of the RCRCR mechanism will be presented.
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 compilation - lexical analysis, parsing, semantic analysis and code generation. Building and visualizing an explicit abstract syntax tree helps students to understand the translation of the program into the compiler's front-end and make the transition to the compiler's back-end. The compiler translates a program written in a high-level language into virtual machine code. An interpreter to execute the generated virtual machine code is also presented. The presented design is compared to other known training compilers used in various university courses. The input language is procedurally oriented and is a subset of the C and Java languages, which makes it easier for students to use it. Language has enough resources to solve many practical problems. The input program for the compiler is a sequence of definitions of variables and functions. The language of the training compiler is strongly typed. Variables, constants and expressions are related to a specific type. Input-output operations require a certain type of arguments, arithmetic-logical operations are defined for specific types of arguments and type of returned result. At the end of the paper are presented the results of the work of the training compiler in translating a sample input program to code for a virtual machine. The results demonstrate the output of each compiler module - a token stream, an abstract syntax tree, and a set of virtual machine instructions. The structure of the presented training compiler can be used for different input languages in training on compilers and language processors.
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 ANSI C. It has also been used for Web-based design of mechanisms, geometrical modeling, machine tool database search, CNC code verification, remote performance monitoring, control of real-time mechatronic systems. This language environment will be presented in comparison with ANSI C in this article. Major extensions to C will be highlighted. Of particular interest are the restricted and safe shells for Web-centric network computing. Details about integration of the language environment with Web server and browser will be described. This language environment and its Web-based application programs are available on the WWW at http://iel.ucdavis.edu.
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 definable input and output parameters. By running the system, the variety of functional blocks can be tested to determine the optimal solution based on the given specifications. Designers will benefit from the pictorial representation; data-based functional and connective representation; and the generation and evaluation of concept variants. The use of the program is illustrated by an industrial design example.
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++. Students study these languages over three semesters, starting in their first year of study. The use of the C and C++ programming languages is due to their widespread use in the field of software development, including in the field of cybersecurity. The purpose of the training is not only to acquire skills in writing “working code” and studying basic programming algorithms, but also to strive to ensure the safety of the developed software product. It must be considered that writing programs in the C and C++ programming languages can lead to the presence of various vulnerabilities in the code, which makes prevention and protection against threats especially relevant in the context of cybersecurity. One of the mandatory requirements for successfully completing an assignment in the discipline “Programming Languages” in the specialty “Computer Protection” is the presence of independently developed unit tests and their successful completion. This approach makes it possible to identify potential vulnerabilities and errors in the program code at the early stages of development, which helps to increase the level of security of the software product. To approve a completed assignment, you must obtain approval from two teachers through the web hosting version control system. This control mechanism ensures the necessary transparency and objectivity of the assignment checking process, and allows students to receive feedback from several teachers, which helps improve the quality of completed work.
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&L) program. The study was designed to answer the research question: What is the effect of the EL&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 practice measure of oral language and literacy that was fit for purpose. This report documents the sum of work completed across the duration of the study from 2018-2022. The design of the study was based on the principles of a longitudinal outcome evaluation and had three components: a) design of the outcome measure: the ELLDI; b) interim results and recommendations; and c) final results, recommendations and reporting.
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 heterogeneous and is much larger for those students at the top of the achievement distribution.
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 paper, we extend earlier results to identify a large, non-trivial fragment of the formalism where verification is decidable. In particular, we consider properties expressed in a first-order variant of the branching-time temporal logic CTL*. Decidability is obtained by (1) resorting to the decidable first-order fragment C² as underlying base logic, (2) using a fragment of Golog with ground actions only, and (3) requiring the action theory to only admit local effects.
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 converted from the research code to its implementational version written in the C++ programming language. Two trailer-based TScan units have been built. The design of the prototype was iterated multiple times to account for component placement, ease of maintenance, etc. The expansion of the TScan system from a one single-sensor unit to multiple units with multiple LiDAR sensors necessitated transforming all the measurements into a common spatial and temporal reference frame. Engineering applications for performing traffic counts, analyzing speeds at intersections, and visualizing pedestrian presence data were developed. The limitations of the existing SSAM for traffic conflicts analysis with computer simulation prompted the research team to develop and implement their own traffic conflicts detection and analysis technique that is applicable to real-world data. Efficient use of the development system requires proper training of its end users. An INDOT-CRS collaborative process was developed and its execution planned to gradually transfer the two TScan prototypes to INDOT’s full control. This period will be also an opportunity for collecting feedback from the end user and making limited modifications to the system and documentation as needed.
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 (ethno)logy, and is implicitly embedded into (cosmo)logy. The technology application object is the text of the twentieth century Cuban poet José Ángel Buesa. The choice of poetry was dictated by the appeal to the most important function of emoji – the expression of feelings, emotions, and mood. It has been discovered that sensuality can reconstructed with the help of this type of meta-linguistic digital continuum. It is noted that during the emoji design in the Emoji Maker program, due to the technical limitations of the platform, it is possible to phenomenologize one’s own essential-empirical reconstruction of the lyrical image. Creating the image of the lyrical protagonist sign, it was sensible to apply knowledge in linguistics, philosophy of language, psychology, psycholinguistics, literary criticism. By constructing the sign, a special emphasis was placed on the facial emogram, which also plays an essential role in the transmission of a wide range of emotions, moods, feelings of the lyrical protagonist. Consequently, the Emoji Maker digital platform allowed to create a new model of digital presentation of fiction, especially considering the psychophysiological characteristics of the lyrical protagonist. Thus, the interpreting reader, using a specific digital toolkit – a visual iconic sign (smile) – reproduces the polylaterial metalinguistic multimodality of the sign meaning in fiction. The effectiveness of this approach is verified by the poly-functional emoji ousia, tested on texts of fiction.
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 of higher education in Ukraine, specialty 121 “Software Engineering”. It is determined that the consistency and scalability inherent in the historically first training program are largely consistent with the ideas of evolutionary software design. An analysis of its content also provided an opportunity to identify the links between the training for software engineers and training for computer science, computer engineering, cybersecurity, information systems and technologies. It has been established that the fundamental core of software engineers’ training should ensure that students achieve such leading learning outcomes: to know and put into practice the fundamental concepts, paradigms and basic principles of the functioning of language, instrumental and computational tools for software engineering; know and apply the appropriate mathematical concepts, domain methods, system and object-oriented analysis and mathematical modeling for software development; put into practice the software tools for domain analysis, design, testing, visualization, measurement and documentation of software. It is shown that the formation of the relevant competencies of future software engineers must be carried out in the training of all disciplines of professional and practical training.
APA, Harvard, Vancouver, ISO, and other styles
8

Markova, Oksana, Serhiy Semerikov, and Maiia Popel. СoCalc as a Learning Tool for Neural Network Simulation in the Special Course “Foundations of Mathematic Informatics”. Sun SITE Central Europe, May 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 special course “Foundations of Mathematic Informatics” are shown. The program code was presented in a CofeeScript language, which implements the basic components of artificial neural network: neurons, synaptic connections, functions of activations (tangential, sigmoid, stepped) and their derivatives, methods of calculating the network`s weights, etc. The features of the Kolmogorov–Arnold representation theorem application were discussed for determination the architecture of multilayer neural networks. The implementation of the disjunctive logical element and approximation of an arbitrary function using a three-layer neural network were given as an examples. According to the simulation results, a conclusion was made as for the limits of the use of constructed networks, in which they retain their adequacy. The framework topics of individual research of the artificial neural networks is proposed.
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 into Seton Canal, a 5 km diversion of the flow of the Seton River, which begins at the Seton dam. The Seton Canal pushes water to the Seton Powerhouse, a hydroelectric generating station at the Fraser River, just south of the community of Sekw'el'was and confluence of the Seton River, which drains into the Fraser River at Lillooet. Seton Portage, Shalatlh, South Shalatlh, Tsal'alh (Shalath), Sekw'el'was (Cayoosh Creek), and T'it'q'et (Lillooet) are communities that surround the lake. Surrounded by mountainous terrain, the lake is flanked at mid-slope by glacial and colluvial sediments deposited during the last glacial and deglacial periods (Clague, 1989; Jakob, 2018). The bedrock consists mainly of mafic to ultramafic volcanic rocks with minor carbonate and argillite from the Carboniferous to Middle Jurassic periods (Journeay and Monger, 1994). As part of the Public Safety Geoscience Program at the Geological Survey of Canada (Natural Resources Canada), our goal is to provide baseline geoscience information to nearby communities, stakeholders and decision-makers. Our objective was to see what kind of sediments were deposited and specifically if we could identify underwater landslide deposits. Thus, we surveyed the lake using a Pinger SBP sub bottom profiler made by Knudsen Engineering Ltd., with dual 3.5 / 200 kHz transducers mounted to a small boat (see photo). This instrument transmits sound energy down through the water column that reflects off the lake bottom surface and underlying sediment layers. At the lake surface, the reflected sound energy is received by the profiler, recorded on a laptop computer, and integrated with GPS data. These data are processed to generate a two-dimensional image (or profile) showing the character of the lake bottom and underlying sediments along the route that the boat passed over. Our survey in 2022 recorded 98 profiles along Seton Lake. The red transect lines show the locations of the 20 profiles displayed on the poster. The types of sediments observed are mostly fine-grained glaciolacustrine sediments that are horizontally bedded with a subtle transition between glaciolacustrine to lacustrine (e.g., profiles A-A'; C-C'; F-F'; S-S'). Profile S-S' displays this transition zone. The glaciolacustrine sediments probably were deposited as the Cordilleran Ice Sheet retreated from the local area (~13,000-11,000 years ago; Clague, 2017) and the lacustrine sediments, after the ice receded to present-day conditions. Some of the parallel reflections are interrupted, suggesting abrupt sedimentation by deposits that are not horizontally bedded; these are interpreted as landslide deposits (see pink or blue deposits on profiles). The deposits that show disturbance in the sedimentation found within the horizontal beds are thought to be older landslides (e.g., blue arrows/deposits in profiles C-C'; E-E'; F-F'; G-G'; I-I'; J-J'; K-K'; N-N'; P-P'; Q-Q'; R-R'; T-T'; U-U'), but the ones that are found on top of the horizontally laminated sediments (red arrows/pink deposits), and close to the lake wall, are interpreted to be younger (e.g., profiles B-B'; C-C'; H-H'; K-K'; M-M'; O-O'; P-P'; Q-Q'). At the fan delta just west of Seton dam, where there was no acoustic signal penetration, it is interpreted that the delta failed and brought down coarser deposits at the bottom of the lake (e.g., profiles H-H'; M-M'; and perhaps K-K'). However, these could be glacial deposits, bedrock, or other coarser deposits. Some of the deposits that reflect poor penetration of the acoustic signal, below the glaciolacustrine sediments, could represent glacial deposits, old landslide deposits, or perhaps the presence of gas (orange arrows; e.g, B-B'; D-D'; J-J'; O-O', T-T'). The preliminary results from sub bottom profiling reveal that there are underwater landslides deposits of widely varying ages buried in the bottom of the lake. However, the exact timing of these is not known. Hence our preliminary survey gives an overview of the distribution of landslides where there seems to be a larger number of landslides recorded in the narrower eastern portion of the lake.
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