Добірка наукової літератури з теми "Computer engineering, n.e.c"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Computer engineering, n.e.c".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Computer engineering, n.e.c"
Wang, A. T. "Finite-Simulation Error Bounds for Estimated K-Year Forces." Journal of Offshore Mechanics and Arctic Engineering 111, no. 4 (November 1, 1989): 273–77. http://dx.doi.org/10.1115/1.3257095.
Повний текст джерелаOhtani, H., and M. Hillert. "Calculation of VCN and TiCN phase diagrams." Calphad 17, no. 1 (January 1993): 93–99. http://dx.doi.org/10.1016/0364-5916(93)90037-c.
Повний текст джерелаKouba, R., K. Rayane, and M. Keddam. "Thermodynamic reassessment of Fe-N and Fe-N-C systems." Calphad 71 (December 2020): 102197. http://dx.doi.org/10.1016/j.calphad.2020.102197.
Повний текст джерелаCai, Haoyuan, Qi Ye, and Dong-Ling Deng. "Sample complexity of learning parametric quantum circuits." Quantum Science and Technology 7, no. 2 (March 1, 2022): 025014. http://dx.doi.org/10.1088/2058-9565/ac4f30.
Повний текст джерелаGrujicic, M., L. Kaufman, and W. S. Owen. "The (V,Nb)(C,N) precipitate/austenite equilibrium in the Fe-C-N-V-Nb-Mn system." Calphad 10, no. 1 (January 1986): 37–47. http://dx.doi.org/10.1016/0364-5916(86)90008-8.
Повний текст джерелаMiki, Nobuyuki, and Oono Hideki. "A Study on Equivalent C/N Degradation of Digital Terrestrial Television Broadcasting and C/N of Carrier." Journal of the Institute of Image Information and Television Engineers 54, no. 1 (2000): 127–30. http://dx.doi.org/10.3169/itej.54.127.
Повний текст джерелаWang, Guoming. "Efficient quantum algorithms for analyzing large sparse electrical networks." Quantum Information and Computation 17, no. 11&12 (September 2017): 987–1026. http://dx.doi.org/10.26421/qic17.11-12-5.
Повний текст джерелаGlazoff, Michael V., Michael C. Gao, Laurent Capolungo, Michael P. Brady, Gabriel O. Ilevbare, Yukinori Yamamoto, Qing-Qiang Ren, Jonathan D. Poplawsky, Jianguo Yu, and Feng Zhang. "Concurrent Precipitation of Nb(C,N) and Metastable M23C6 in Alloy 347H at 700°C and 750°C: Computer Simulations and Comparison to Experiment." JOM 74, no. 4 (February 4, 2022): 1444–52. http://dx.doi.org/10.1007/s11837-021-05140-9.
Повний текст джерелаKapturkiewicz, Andrzej, and Anna Kamecka. "Luminescence properties of [Ir(C^N)2(N^N)]+ complexes: relations between DFT computation results and emission band-shape analysis data." RSC Advances 11, no. 47 (2021): 29308–22. http://dx.doi.org/10.1039/d1ra05430a.
Повний текст джерелаHeryana, Yayan Heryana. "Analysis of Orifice in Biodiesel Reactor with Hydrodynamic Cavitation System using Computational Fluid Dynamics." Jurnal Keteknikan Pertanian 10, no. 1 (May 18, 2022): 85–94. http://dx.doi.org/10.19028/jtep.010.1.85-94.
Повний текст джерелаДисертації з теми "Computer engineering, n.e.c"
Yang, Xuejun. "Random testing of open source C compilers." Thesis, The University of Utah, 2015. http://pqdtopen.proquest.com/#viewpdf?dispub=3704288.
Повний текст джерелаCompilers are indispensable tools to developers. We expect them to be correct. However, compiler correctness is very hard to be reasoned about. This can be partly explained by the daunting complexity of compilers.
In this dissertation, I will explain how we constructed a random program generator, Csmith, and used it to find hundreds of bugs in strong open source compilers such as the GNU Compiler Collection (GCC) and the LLVM Compiler Infrastructure (LLVM). The success of Csmith depends on its ability of being expressive and unambiguous at the same time. Csmith is composed of a code generator and a GTAV (Generation-Time Analysis and Validation) engine. They work interactively to produce expressive yet unambiguous random programs. The expressiveness of Csmith is attributed to the code generator, while the unambiguity is assured by GTAV. GTAV performs program analyses, such as points-to analysis and effect analysis, efficiently to avoid ambiguities caused by undefined behaviors or unspecified behaviors.
During our 4.25 years of testing, Csmith has found over 450 bugs in the GNU Compiler Collection (GCC) and the LLVM Compiler Infrastructure (LLVM). We analyzed the bugs by putting them into different categories, studying the root causes, finding their locations in compilers' source code, and evaluating their importance. We believe analysis results are useful to future random testers, as well as compiler writers/users.
Jiang, Yuandong. "Large Scale Distributed Semantic N-gram Language Model." Wright State University / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=wright1316200173.
Повний текст джерелаTanga, Rajan M. "Computer aided software engineering tool for generating C code." Ohio : Ohio University, 1988. http://www.ohiolink.edu/etd/view.cgi?ohiou1182872759.
Повний текст джерелаHe, Jiliang. "Silyhydrazines : chemistry and pyrolytic conversion to Si-N-C ceramic materials." Thesis, McGill University, 1995. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=29044.
Повний текст джерелаMorse, Benjamin 1979. "A C/C++ front end for the Daikon dynamic invariant detection system." Thesis, Massachusetts Institute of Technology, 2002. http://hdl.handle.net/1721.1/29653.
Повний текст джерелаIncludes bibliographical references (p. 73-75).
This thesis details the implementation and performance of a Daikon front end for the C and C++ languages. The Daikon dynamic invariant detection suite is a system designed to extract formal specifications from programs, in the form of information about their variables and their relationships to each other. The system consists of a front end and the analysis engine. The front end instruments the source code of a target program, inserting code that outputs the values of the program's variables when run. The user compiles and runs the instrumented program, generating a trace file that contains variable values. This data is then sent to Daikon proper, which performs analysis on it and reports invariants about the program variables. Daikon is a useful tool that can discover invariants that current static methods cannot find. While the invariant analysis tool is language independent, the front ends -- tools that instrument of the user code -- must be written for every language to be instrumented. There is a huge base of pre-existing code written in C/C++ for which invariants can be discovered. C and C++ are also widely deployed, comprise a large segment of software currently in development, and are therefore valuable candidates for analysis. The key difficulty in instrumenting a type-unsafe language like C is that the instrumented program has to determine what variables are valid, and to what extent; so that it does not output garbage values or cause a segmentation fault by dereferencing an invalid pointer.
by Benjamin Morse.
M.Eng.and S.B.
Guo, Philip Jia. "A scalable mixed-level approach to dynamic analysis of C and C++ programs." Thesis, Massachusetts Institute of Technology, 2006. http://hdl.handle.net/1721.1/36767.
Повний текст джерелаIncludes bibliographical references (p. 107-112).
This thesis addresses the difficult task of constructing robust and scalable dynamic program analysis tools for programs written in memory-unsafe languages such as C and C++, especially those that are interested in observing the contents of data structures at run time. In this thesis, I first introduce my novel mixed-level approach to dynamic analysis, which combines the advantages of both source- and binary-based approaches. Second, I present a tool framework that embodies the mixed-level approach. This framework provides memory safety guarantees, allows tools built upon it to access rich source- and binary-level information simultaneously at run time, and enables tools to scale to large, real-world C and C++ programs on the order of millions of lines of code. Third, I present two dynamic analysis tools built upon my framework - one for performing value profiling and the other for performing dynamic inference of abstract types - and describe how they far surpass previous analyses in terms of scalability, robustness, and applicability. Lastly, I present several case studies demonstrating how these tools aid both humans and automated tools in several program analysis tasks: improving human understanding of unfamiliar code, invariant detection, and data structure repair.
by Philip Jia Guo.
M.Eng.
Saha, Sagnik M. Eng Massachusetts Institute of Technology. "Adding Support for MC/DC instrumentation in the Green Hills C/C++ compiler." Thesis, Massachusetts Institute of Technology, 2019. https://hdl.handle.net/1721.1/121681.
Повний текст джерелаThesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2019
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (pages 49-50).
This thesis presents the design and implementation of Modified Condition / Decision Coverage (MC/DC) instrumentation in the Green Hills C/C++ compiler. When a specfic option is enabled, the compiler now identied each boolean expression and annotates the generated binary with special instructions. When a test suite is run, these extra instructions emit logging information. A separate program then uses that information to determine and display the degree of coverage achieved. Taken together, my tools allow a user to run any program and determine the extent of MC/DC coverage achieved by their tests.
by Sagnik Saha.
M. Eng.
M.Eng. Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science
Liburd, Soyini (Soyini Denise) 1980. "An N-version electronic voting system." Thesis, Massachusetts Institute of Technology, 2004. http://hdl.handle.net/1721.1/28441.
Повний текст джерелаIncludes bibliographical references (p. 103-109).
The ballot battles of the 2000 US Presidential Election clearly indicate that existing voting technologies and processes are not sufficient to guarantee that every eligible voter is granted their right to vote and implicitly to have that vote counted, as per the fifteenth, nineteenth, twenty fourth and twenty sixth amendments to the US constitution [1-3]. Developing a voting system that is secure, correct, reliable and trustworthy is a significant challenge to current technology [3, 4]. The Secure Architecture for Voting Electronically (SAVE) demonstrates that N-version programming increases the reliability and security of its systems, and can be used to increase the trustworthiness of systems. Further, SAVE demonstrates how a viable practical approach to voting can be created using N-version programming. SAVE represents a significant contribution to voting technology research because of its design, and also because it demonstrates the benefits of N-version programming and introduces these benefits to the field of voting technology.
by Soyini D. Liburd.
M.Eng.
Rudd, Robert Andrew M. Eng Massachusetts Institute of Technology. "An improved scalable mixed-level approach to dynamic analysis of C and C++ programs." Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/61250.
Повний текст джерелаCataloged from PDF version of thesis.
Includes bibliographical references (p. 85-86).
In this thesis, I address the challenges of developing tools which use a mixed-level approach to dynamic binary analysis. The mixed-level approach combines advantages of both source- based and binary-based approaches to dynamic analysis, but comes with the added challenge of dealing with the implementation details of a specific implementation of the target language. This thesis describes the implementation of three existing tools which use the mixed-level approach: Fjalar, a C/C++ dynamic analysis framework, Kvasir, A C/C++ value profiling tool, and Dyncomp, a tool for inferring the abstract types of a C or C++ program. Additionally, this thesis describes the steps I took in increasing the maintainability and portability of these tools. I investigated and documented platform specific dependencies; I documented the process of merging in upstream changes of Valgrind, the Dynamic Binary Instrumenter Fjalar is built on, to aid Fjalar in keeping in-sync with Valgrind bug-fixes; and I implemented a tool for debugging Dyncomp errors.
by Robert Andrew Rudd.
M.Eng.
Dagher, Issam J. "Gradient based fuzzy c-means algorithm." FIU Digital Commons, 1994. http://digitalcommons.fiu.edu/etd/2652.
Повний текст джерелаКниги з теми "Computer engineering, n.e.c"
Darnell, Peter A. Software engineering in C. New York: Springer-Verlag, 1988.
Знайти повний текст джерелаDarnell, Peter A. C, a software engineering approach. New York: Springer-Verlag, 1990.
Знайти повний текст джерелаE, Margolis Philip, ed. C, a software engineering approach. 3rd ed. New York: Springer, 1996.
Знайти повний текст джерелаB, D'Orazio T., ed. C programming for engineering and computer science. New York: WCR/McGraw-Hill, 1999.
Знайти повний текст джерелаEngineering problem solving with C. 3rd ed. Upper Saddle River, NJ: Pearson/Prentice Hall, 2005.
Знайти повний текст джерелаEngineering problem solving with C. 4th ed. Boston: Pearson, 2013.
Знайти повний текст джерелаA, Ingber Jeanine, ed. Engineering problem solving with C++. 3rd ed. Boston: Pearson, 2012.
Знайти повний текст джерелаC for electronics and computer engineering technology. Englewood Cliffs, N.J: Prentice Hall, 1990.
Знайти повний текст джерелаveler, Gerd Ku. Informatik fu r Ingenieure und Naturwissenschaftler: Grundlagen, Programmieren mit C/C++, Grosses C/C++-Praktikum. 6th ed. Wiesbaden: Vieweg + Teubner in GWV Fachverlage GmbH, 2009.
Знайти повний текст джерелаInce, D. Object-oriented software engineering with C++. London: McGraw-Hill Book Co., 1991.
Знайти повний текст джерелаЧастини книг з теми "Computer engineering, n.e.c"
Lai, Zhong Hong, Jae Ho Jeon, Jing Chuan Zhu, and Zhong Da Yin. "Mo-Si-C-N Multi-Layer Anti-Oxidation Coating on C/C Composites." In Key Engineering Materials, 1899–902. Stafa: Trans Tech Publications Ltd., 2007. http://dx.doi.org/10.4028/0-87849-456-1.1899.
Повний текст джерелаEmamy-Khansary, M. Reza. "Cuts, c-Cuts, and c-Complexes over the n-Cube." In Lecture Notes in Computer Science, 603–6. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21527-8_67.
Повний текст джерелаJang, Chul Sik, Young Rae Cho, Myung Chang Kang, Won Sub Chung, and Kwang Ho Kim. "Microstructure and Mechanical Properties of Cr-C-N, Cr-Si-N and Cr-Si-C-N Coatings by a Hybrid Coating System." In Key Engineering Materials, 2224–27. Stafa: Trans Tech Publications Ltd., 2007. http://dx.doi.org/10.4028/0-87849-410-3.2224.
Повний текст джерелаFiedor, Jan, Zdeněk Letko, João Lourenço, and Tomáš Vojnar. "On Monitoring C/C++ Transactional Memory Programs." In Mathematical and Engineering Methods in Computer Science, 73–87. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-14896-0_7.
Повний текст джерелаFaruque, Saleh. "N-Ary Coded Modulation." In SpringerBriefs in Electrical and Computer Engineering, 85–104. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-41202-3_7.
Повний текст джерелаScheinker, Alexander, and Miroslav Krstić. "Non-C $$^{2}$$ ES." In SpringerBriefs in Electrical and Computer Engineering, 55–63. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-50790-3_5.
Повний текст джерелаAhmad, Nurul Haszeli, Syed Ahmad Aljunid, and Jamalul-lail Ab Manan. "Taxonomy of C Overflow Vulnerabilities Attack." In Software Engineering and Computer Systems, 376–90. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22191-0_33.
Повний текст джерелаLi, Xu-Guang, Silviu-Iulian Niculescu, and Arben Çela. "Invariance Property for Critical Imaginary Roots with Index $$n=1$$ n = 1." In SpringerBriefs in Electrical and Computer Engineering, 63–72. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-15717-7_7.
Повний текст джерелаMészáros, András, and Miklós Telek. "Markov Decision Process and Linear Programming Based Control of MAP/MAP/N Queues." In Computer Performance Engineering, 179–93. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10885-8_13.
Повний текст джерелаLiu, Wen Jun, Yong Zheng, and Wei Hao Xiong. "Microstructures and Mechanical Properties of Nano-Composite Ti(C,N)-Based Cermets." In Key Engineering Materials, 1214–17. Stafa: Trans Tech Publications Ltd., 2007. http://dx.doi.org/10.4028/0-87849-410-3.1214.
Повний текст джерелаТези доповідей конференцій з теми "Computer engineering, n.e.c"
Rasin, Ahmed Tasnim, and Sharif Mohammad Mominuzzaman. "Comparison of photoresponse characteristics between nitrogen and phosphorous doped n-C/p-Si heterostructure." In 2008 International Conference on Electrical and Computer Engineering. IEEE, 2008. http://dx.doi.org/10.1109/icece.2008.4769328.
Повний текст джерелаAlam, A., S. Ahmed, M. K. Alam, and Quazi D. M. Khosru. "C-V characteristics of n-channel double gate MOS structures incorporating the effect of interface states." In 2008 International Conference on Electrical and Computer Engineering. IEEE, 2008. http://dx.doi.org/10.1109/icece.2008.4769251.
Повний текст джерелаLilley, David G. "A General Excel/VBA Computer Code for Rapid Calculation of Temperature and Product Species With C-H-O-N-S Fuels." In ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2006. http://dx.doi.org/10.1115/detc2006-99562.
Повний текст джерелаSubramanian, Raghavendran, and Kazem Kazerounian. "Improved Molecular Model of a Peptide Unit for Proteins." In ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2006. http://dx.doi.org/10.1115/detc2006-99315.
Повний текст джерелаAbhary, Kazem, and Ahmad Nourbakhsh. "Computer-Aided Analysis of Free Transverse-Vibration of Stepped Beams." In ASME 2002 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2002. http://dx.doi.org/10.1115/detc2002/dac-34054.
Повний текст джерелаRuan, Sipu, Gregory S. Chirikjian, and Jianzhong Ding. "Lower Bounds of the Allowable Motions of One N-Dimensional Ellipsoid Contained in Another." In ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/detc2018-85851.
Повний текст джерелаMedichalam, Madhu S., Jami J. Shah, and Roshan D’Souza. "N-Rep: A Neutral Feature Representation to Support Feature Mapping and Data Exchange Across Applications." In ASME 2004 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2004. http://dx.doi.org/10.1115/detc2004-57712.
Повний текст джерелаGonzalez-Perez, Ignacio, Alfonso Fuentes, Faydor L. Litvin, and Kenichi Hayasaka. "Computerized Design of Muti-Gear Drives for Function Generation." In ASME 2009 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2009. http://dx.doi.org/10.1115/detc2009-86252.
Повний текст джерелаPop, Petru A. "Influence of Equivalence Dynamic Parameters Variation About Behavior Structure of Milling Machine Tools." In ASME 2007 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2007. http://dx.doi.org/10.1115/detc2007-34050.
Повний текст джерелаAhmed, Tousif, Maha Bhouri, Samer Kahwaji, Dominic Groulx, and Mary Anne White. "Experimental Investigation of Thermal Management of Tablet Computers Using Phase Change Materials (PCMs)." In ASME 2016 Heat Transfer Summer Conference collocated with the ASME 2016 Fluids Engineering Division Summer Meeting and the ASME 2016 14th International Conference on Nanochannels, Microchannels, and Minichannels. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/ht2016-7067.
Повний текст джерелаЗвіти організацій з теми "Computer engineering, n.e.c"
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.
Повний текст джерела