To see the other types of publications on this topic, follow the link: Computer engineering, n.e.c.

Dissertations / Theses on the topic 'Computer engineering, n.e.c'

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Computer engineering, n.e.c.'

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.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Yang, Xuejun. "Random testing of open source C compilers." Thesis, The University of Utah, 2015. http://pqdtopen.proquest.com/#viewpdf?dispub=3704288.

Full text
Abstract:
<p> 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. </p><p> 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
APA, Harvard, Vancouver, ISO, and other styles
2

Jiang, Yuandong. "Large Scale Distributed Semantic N-gram Language Model." Wright State University / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=wright1316200173.

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

Tanga, Rajan M. "Computer aided software engineering tool for generating C code." Ohio : Ohio University, 1988. http://www.ohiolink.edu/etd/view.cgi?ohiou1182872759.

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

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.

Full text
Abstract:
A new synthetic route to silylhydrazine molecules and polymers has been developed by the heterodehydrocoupling of organosilanes with hydrazines. A dimethyltitanocene catalyst has been employed to facilitate the dehydrocoupling reaction. The dehydrocoupling was shown to proceed by stepwise replacement of Si-H with hydrazino groups. The controlled hydrolysis of Ph$ sb2$Si(NHNHMe)$ sb2$ formed a hydrazinodisiloxane. Cyclizations of Ph$ sb2$Si(NHNHMe)$ sb2$ to form cyclic silylhydrazines were achieved by the reaction with n-BuLi/Ph$ sb2$SiCl$ sb2,$ or MeI (or HCl or Ph$ sb2$SiCl$ sb2),$ or thermol
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
Abstract:
Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002.<br>Includes bibliographical references (p. 73-75).<br>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
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
Abstract:
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2006.<br>Includes bibliographical references (p. 107-112).<br>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 approache
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
Abstract:
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2019<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (pages 49-50).<br>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 eac
APA, Harvard, Vancouver, ISO, and other styles
8

Liburd, Soyini (Soyini Denise) 1980. "An N-version electronic voting system." Thesis, Massachusetts Institute of Technology, 2004. http://hdl.handle.net/1721.1/28441.

Full text
Abstract:
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2004.<br>Includes bibliographical references (p. 103-109).<br>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 trus
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
Abstract:
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2010.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (p. 85-86).<br>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 describ
APA, Harvard, Vancouver, ISO, and other styles
10

Dagher, Issam J. "Gradient based fuzzy c-means algorithm." FIU Digital Commons, 1994. http://digitalcommons.fiu.edu/etd/2652.

Full text
Abstract:
A clustering algorithm based on the Fuzzy c-means algorithm (FCM) and the gradient descent method is presented. In the FCM, the minimization process of the objective function is proceeded by solving two equations alternatively in an iterative fashion. Each iteration requires the use of all the data at once. In our proposed approach one datum is presented at a time to the network and the minimization is proceeded using the gradient descent method. Compared to FCM, the experimental results show that our algorithm is very competitive in terms of speed and stability of convergence for large number
APA, Harvard, Vancouver, ISO, and other styles
11

Brown, Jeremy Hanford 1972. "Feedback-directed specialization of C." Thesis, Massachusetts Institute of Technology, 1995. http://hdl.handle.net/1721.1/36604.

Full text
Abstract:
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995.<br>Includes bibliographical references (p. 115-116).<br>by Jeremy H. Brown.<br>M.Eng.
APA, Harvard, Vancouver, ISO, and other styles
12

Kelly, Mark. "Laser diagnosis and computer modelling of C/H/O and C/H/N plasmas used in diamond chemical vapour deposition." Thesis, University of Bristol, 2014. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.653079.

Full text
Abstract:
Laser and optical emission spectroscopies have been employed to study the gas phase chemistry in the growth environment for diamond chemical vapour deposition (CVO) in a microwave (MW) reactor. Computational investigations have also been used to explore the energetics of elementary reactions on a diamond surface, to give insight into which species are likely to incorporate into a growing diamond film. The focus of this thesis is on 0 and N containing CIH plasmas.
APA, Harvard, Vancouver, ISO, and other styles
13

Goyal, Poonam. "Comparative Study of C, Java, C# and Jython." UNF Digital Commons, 2014. http://digitalcommons.unf.edu/etd/535.

Full text
Abstract:
Comparing programming languages is a common topic among programmers and software developers. With the recent changes in programming standards and continual upgrades in hardware design, many new programming languages are being developed, while existing ones are currently going through several enhancements in terms of design and implementation. In this research, we present a comparative study of four programming languages, C, Java, C#, and Jython, with respect to the following criteria: memory consumption, CPU utilization, and execution time. Each test was performed in a distributed system using
APA, Harvard, Vancouver, ISO, and other styles
14

Pribyl, Patrick A. "Measured MHD equilibrium in Alcator C." Thesis, Massachusetts Institute of Technology, 1986. http://hdl.handle.net/1721.1/14881.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1986.<br>MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING<br>Bibliography: leaves 204-206.<br>by Patrick A. Pribyl.<br>Ph.D.
APA, Harvard, Vancouver, ISO, and other styles
15

McAvoy, Camille Z. "Palladium-catalyzed C-N cross-coupling reactions toward the synthesis of drug-like molecules." Thesis, Massachusetts Institute of Technology, 2012. http://hdl.handle.net/1721.1/73388.

Full text
Abstract:
Thesis (S.B.)--Massachusetts Institute of Technology, Dept. of Chemistry; and, (S.B.)--Massachusetts Institute of Technology, Dept. of Chemical Engineering, 2012.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (p. ).<br>The development of methodologies for C-N bond formation reactions is an important scientific challenge because of many academic and industrial applications. This work will focus particularly on palladium-catalyzed cross-couplings of amine-containing compounds with aryl halides. The scope of the BrettPhos precatalyst for the cross-coupling of ort
APA, Harvard, Vancouver, ISO, and other styles
16

Ouerd, Messaouda. "An algorithm directed computer aided software engineering (CASE) environment for C." Thesis, University of Ottawa (Canada), 1990. http://hdl.handle.net/10393/5964.

Full text
Abstract:
The objectives of computer aided software engineering (CASE) systems are to improve productivity during the software development process and the quality of software using software engineering concepts via automation of the software development life cycle. This will result in a reusable software and will decrease the cost and time of software development and maintenance. The main concern in this thesis is with describing the features of a particular software understanding environment for C. An algorithm directed computer aided software engineering environment for C language has been developed a
APA, Harvard, Vancouver, ISO, and other styles
17

Schmeckpeper, Benjamin Arthur. "Outdoor augmented reality n-th game editing suite." Thesis, Massachusetts Institute of Technology, 2007. http://hdl.handle.net/1721.1/41669.

Full text
Abstract:
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2007.<br>Includes bibliographical references (p. 57).<br>OARnGES was developed to be a comprehensive Augmented Reality game development tool. Augmented Reality provides players a view of the real world augmented with virtual characters and information. Augmented Reality has proved to be a valuable educational tool, but bridging the gap between experimental game engines and in-class deployment has proved difficult. OARnGES attempts to close that gap by removing the technical barriers o
APA, Harvard, Vancouver, ISO, and other styles
18

McMahill, Dan. "Automatic calibration of modulated fractional-N frequency synthesizers." Thesis, Massachusetts Institute of Technology, 2001. http://hdl.handle.net/1721.1/16780.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001.<br>Includes bibliographical references (p. 145-148).<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>The focus of this research has been the development of a low power, radio frequency transmitter architecture. Specifically, a technique for in service automatic calibration of a modulated phase locked loop (PLL) frequency synthesizer has been developed. Phase/frequency modulati
APA, Harvard, Vancouver, ISO, and other styles
19

Lee, Walter (Walter Cheng-Wan). "Garbarge collection for the autopilot C system." Thesis, Massachusetts Institute of Technology, 1995. http://hdl.handle.net/1721.1/35454.

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

Lin, Jeremy H. (Jeremy Huei) 1976. "An optimizing C compiler for DSP architectures." Thesis, Massachusetts Institute of Technology, 1999. http://hdl.handle.net/1721.1/47889.

Full text
Abstract:
Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999.<br>Includes bibliographical references (leaf 48).<br>by Jeremy H. Lin.<br>S.B.and M.Eng.
APA, Harvard, Vancouver, ISO, and other styles
21

Camardo, Andrew T. "C-JUN N-TERMINAL KINASE INHIBITORY NANOTHERAPEUTICS FOR REGENERATIVE ELASTIC MATRIX REPAIR IN ABDOMINAL AORTIC ANEURYSMS." Cleveland State University / OhioLINK, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=csu1499868307678719.

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

Davis, Eli Bristol. "Fast, compatible, complete memory safety For C programs." Thesis, Massachusetts Institute of Technology, 2016. http://hdl.handle.net/1721.1/112860.

Full text
Abstract:
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 95-97).<br>The lack of memory safety in C/C++ programs is one of, if not the, most persistent and costly sources of program exploits. Attacks based on memory corruption can range from the reading of private data to a complete hostile takeover of a process. While many solutions to this problem have been proposed, it is as of yet unsolved-as old memory corruption attacks are rendered obsolet
APA, Harvard, Vancouver, ISO, and other styles
23

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
24

Greeley, Gregory L. (Gregory Lawrence). "The effects of voting algorithms on N-version software reliability." Thesis, Massachusetts Institute of Technology, 1987. http://hdl.handle.net/1721.1/14822.

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

Shi, Zhangsheng. "Strain engineering of Co-N-C catalyst toward enhancing the HER and ORR electrocatalytic activities." Thesis, Queensland University of Technology, 2020. https://eprints.qut.edu.au/207078/8/Zhangsheng_Shi_Thesis.pdf.

Full text
Abstract:
This thesis presents a comprehensive review of practical strategies to enhance the catalytic activity of M-N-C materials. The practical strategies can be extended to engineer external factors to break the linear scaling relationships and to further enhance the catalytic performances. In order to design the next-generation higher-performance catalysts, this project was a step forward in developing strain and heterostructure method to achieve a superior HER performance and a ORR performance beyond the limit.
APA, Harvard, Vancouver, ISO, and other styles
26

Pevzner, Boris. "Transport and dielectric properties of thin fullerene (C₆₀) films." Thesis, Massachusetts Institute of Technology, 1996. http://hdl.handle.net/1721.1/41403.

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

Parisot, Alexandre 1979. "Mode conversion current drive experiments on Alcator C-Mod." Thesis, Massachusetts Institute of Technology, 2007. http://hdl.handle.net/1721.1/40505.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2007.<br>Includes bibliographical references (p. 189-197).<br>In tokamak plasmas with multiple ion species, fast magnetosonic waves (FW) in the Ion Cyclotron Range of Frequency can mode convert to shorter wavelength modes at the Ion-Ion hybrid layer, leading to localized electron heating and current drive. Due to k1l upshifts associated with the poloidal magnetic field, only small net driven currents were predicted from mode converted Ion Bernstein Waves (IBW). As studied first by Perk
APA, Harvard, Vancouver, ISO, and other styles
28

Gruhl, Daniel F. "LibDsp, an object oriented C++ digital signal processing library." Thesis, Massachusetts Institute of Technology, 1995. http://hdl.handle.net/1721.1/37539.

Full text
Abstract:
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995.<br>Includes bibliographical references (leaves 194-195).<br>by Daniel F. Gruhl.<br>M.Eng.
APA, Harvard, Vancouver, ISO, and other styles
29

Gilleland, Cody Lee. "Large-scale transgenesis and nerve regeneration in C. elegans." Thesis, Massachusetts Institute of Technology, 2014. http://hdl.handle.net/1721.1/92654.

Full text
Abstract:
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2014.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 143-150).<br>Caenorhabditis elegans (C. elegans) is a widely studied model organism due to their fully mapped neural network of 302 neurons and amenable genetics. Their small size and short life cycle allows for rapid studies to be conducted; however, after decades of use the manual methods of manipulation have remained relatively unchanged. This thesis details the development of largely au
APA, Harvard, Vancouver, ISO, and other styles
30

Dong, Jin Xiang 1961. "Effect of silicon on the kinetics of Nb(C,N) precipitation during the hot working of steels." Thesis, McGill University, 2000. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=31048.

Full text
Abstract:
The effect of Si on the kinetics of Nb(C,N) precipitation was investigated by using fractional softening measurements. Compression specimens, with diameters of 7.6 mm and lengths of 11.4 mm, were prepared from four Nb microalloyed steels containing a range of Si concentrations from 0.01 wt% to 0.41 wt%. The stress relaxation method was used in the beginning of this work, but the majority of the experimental results were derived from double-hit compression tests, with a strain of 0.3 applied to represent each pass at a strain rate of 0.1/sec. A solution heat treatment was applied immediately pr
APA, Harvard, Vancouver, ISO, and other styles
31

Hu, Yujie. "Magnetic Diode-From p-n Junction to Ohmic Contact." VCU Scholars Compass, 2004. http://scholarscompass.vcu.edu/etd_retro/60.

Full text
Abstract:
This paper reviews the analytical strategy employed in conventional p-n junction. Then it goes through the analysis of magnetic p-n junction in the same strategy, which makes the review of magnetic p-n junction succinct. I-V equation of magnetic diode is the result of the p-n junction analysis. However, of great importance is to form an acceptable ohmic contact on magnetic diode, which is assumed to be ideal during the magnetic p-n junction analysis. The paper moves on to ohmic contact for magnetic diode, with the example of GaN based magnetic material. With the calculation of the shift of Fer
APA, Harvard, Vancouver, ISO, and other styles
32

Deshpande, Ajay A. "A pseudo-polynomial time O(log² n)-approximation algorithm for art gallery problems." Thesis, Massachusetts Institute of Technology, 2006. http://hdl.handle.net/1721.1/36243.

Full text
Abstract:
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering; and, (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2006.<br>Includes bibliographical references (p. 55-56).<br>In this thesis, we give a pseudo-polynomial time O(log² n)-approximation algorithm for a variant of the art gallery problem the point-guard problem. The point-guard problem involves finding the minimum number of points and their positions so that guards located at these points cover the interior of the art gallery. Our algorithm is pseudo-polyno
APA, Harvard, Vancouver, ISO, and other styles
33

Jovanovic, Natalija Zorana. "Microstructured tungsten thermophotovoltaic selective emitters c by Natalija (Zorana) Jovanović." Thesis, Massachusetts Institute of Technology, 2008. http://hdl.handle.net/1721.1/44445.

Full text
Abstract:
Thesis (Sc. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2008.<br>Includes bibliographical references (p. 71-74).<br>This research investigates the fabrication, modeling, characterization, and application of tungsten two-dimensional (2D) photonic crystal (PhC) structures as selective emitters and means of achieving higher efficiencies in thermophotovoltaic (TPV) energy conversion systems. Important aspects of the fabrication process are researched, developed, and rigorously characterized, focusing on dimensional reliability, precision, and r
APA, Harvard, Vancouver, ISO, and other styles
34

Kemp, Charles C. (Charles Clark) 1972. "A platform for visual learning dc by Charles C. Kemp." Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/47416.

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

Holland, Wesley. "A FRAMEWORK FOR AUTOMATICALLY GENERATING OPTIMIZED DIGITAL DESIGNS FROM C-LANGUAGE LOOPS." MSSTATE, 2008. http://sun.library.msstate.edu/ETD-db/theses/available/etd-04012008-162427/.

Full text
Abstract:
Reconfigurable computing has the potential for providing significant performance increases to a number of computing applications. However, realizing these benefits requires digital design experience and knowledge of hardware description languages (HDLs). While a number of tools have focused on translation of high-level languages (HLLs) to HDLs, the tools do not always create optimized digital designs that are competitive with hand-coded solutions. This work describes an automatic optimization in the C-to-HDL transformation that reorganizes operations between pipeline stages in order to reduce
APA, Harvard, Vancouver, ISO, and other styles
36

Kind, Gisela, and Louise Svennberg. "En jämförelse mellan PHP och C# i .Net." Thesis, Jönköping University, JTH, Computer and Electrical Engineering, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-9555.

Full text
Abstract:
<p>In this report we compare the two programming languages PHP and C# in .Net. They are both used to create dynamic websites and on the web there's a debate going on about which of these languages you're recommended to use. With this report we want to make ourselves a more scientific base of which of these languages that is the most used language and which languages that are the most suitable for creating dynamic websites. We have two purposes with this report:</p><p>1. To compare the usage of the programming languages C# in .Net and PHP at web agencies, advertising agencies and combinded agen
APA, Harvard, Vancouver, ISO, and other styles
37

Parisot, Alexandre 1979. "Design of an ICRF fast matching system on Alcator C-Mod." Thesis, Massachusetts Institute of Technology, 2004. http://hdl.handle.net/1721.1/30095.

Full text
Abstract:
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2004.<br>Includes bibliographical references (p. 125-127).<br>In Ion Cyclotron Radiofrequency Heating (ICRH) for tokamaks, fast variations of the antenna loading impedance limit flexible and robust high-power operations. In this thesis, novel solutions for real-time matching and reduction of these variations are investigated and studied for implementation on the Alcator C-Mod tokamak. Load tolerant prematching networks are reviewed and a prototype configuration for E-antenna is proposed.
APA, Harvard, Vancouver, ISO, and other styles
38

Miller, Robert C. (Robert Chisolm). "A type-checking preprocessor for Cilk 2, a multithreaded C language." Thesis, Massachusetts Institute of Technology, 1995. http://hdl.handle.net/1721.1/36987.

Full text
Abstract:
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995.<br>Includes bibliographical references (p. 37-38).<br>by Robert C. Miller.<br>M.Eng.
APA, Harvard, Vancouver, ISO, and other styles
39

Virza, Madars. "SNARKs for C : verifying program executions succinctly and in zero knowledge." Thesis, Massachusetts Institute of Technology, 2014. http://hdl.handle.net/1721.1/87953.

Full text
Abstract:
Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2014.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 69-72).<br>We present a proof system that allows efficient verification of NP statements, given proofs produced by an untrusted yet computationally-bounded prover. Our system is publicly verifiable: after a trusted third-party has generated a proving key and a verification key, anyone can use the proving key to generate non-interactive proofs for adaptively-chosen NP statements, and the proof
APA, Harvard, Vancouver, ISO, and other styles
40

McLeod, Bruce Daniel 1968. "Performance evaluation of N-processor Time Warp using stochastic activity networks." Thesis, The University of Arizona, 1993. http://hdl.handle.net/10150/278314.

Full text
Abstract:
The speedup obtainable with Time Warp parallel discrete-event simulation varies greatly with the characteristics of the simulation and the Time Warp implementation. Analytic studies have been done to determine the expected speedup of Time Warp, but these studies have been limited to bound analysis or analysis considering a few overheads with the others assumed negligible. The models used in these studies have often been constructed directly in terms of a Markov process, making the construction process difficult. This thesis uses stochastic activity networks to construct a model of Time Warp at
APA, Harvard, Vancouver, ISO, and other styles
41

Greenberg, David Ross. "The physics and technology of the InAlAs/n⁺-InP heterostructure field-effect transistor." Thesis, Massachusetts Institute of Technology, 1995. http://hdl.handle.net/1721.1/37763.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995.<br>Includes bibliographical references (p. 135-140).<br>by David Ross Greenberg.<br>Ph.D.
APA, Harvard, Vancouver, ISO, and other styles
42

Westman, Joakim, and Teodor Marinescu. "C, C++, Java och Python : En prestandajämförelse mellan fyra programmeringsspråk." Thesis, Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2304.

Full text
Abstract:
In today’s society computers are getting a much more important role. To get a computer to work as intended it has to be programmed. A computer program is written with programming languages. There is an abundance of programming languages available today and there are many differences and similarities between them. The different languages have their advantages and their disadvantages where some of them are intended for fast performance, some to be cheap on memory usage, and some are developed to be easy to program on. In our thesis we have chosen to compare four of todays most common languages,
APA, Harvard, Vancouver, ISO, and other styles
43

Shepard, Thomas Donavon. "Fast wave ion cyclotron resonance heating experiments on the Alcator C tokamak." Thesis, Massachusetts Institute of Technology, 1988. http://hdl.handle.net/1721.1/14402.

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

Griffin, Patrick (Patrick Robert). "C-Flow : a compiler for statically scheduled message passing in parallel programs." Thesis, Massachusetts Institute of Technology, 2005. http://hdl.handle.net/1721.1/38329.

Full text
Abstract:
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2005.<br>Includes bibliographical references (p. 95-96).<br>Performance improvement in future microprocessors will rely more on the exploitation of parallelism than increases in clock frequency, leading to more multi-core and tiled processor architectures. Despite continuing research into parallelizing compilers, programming multiple instruction stream architectures remains difficult. This document describes C-Flow, a compiler system enabling statically-scheduled message passing betwe
APA, Harvard, Vancouver, ISO, and other styles
45

Chanda, Sashi Kumar. "INVESTIGATION OF DEFECTS IN N-TYPE 4H-SIC AND SEMI-INSULATING 6H-SIC USING PHOTOLUMINESCENCE SPECTROSCOPY." MSSTATE, 2005. http://sun.library.msstate.edu/ETD-db/theses/available/etd-07072005-102232/.

Full text
Abstract:
Photoluminescence spectroscopy is one of the most efficient and sensitive non-contact techniques used to investigate defects in SiC. In this work, room temperature photoluminescence mapping is employed to identify different defects that influence material properties. The correlation of the distribution of these defects in n-type 4H-SiC substrates with electronic properties of SiC revealed connection between the deep levels acting as efficient recombination centers and doping in the substrate. Since deep levels are known to act as minority carrier lifetime killers, the obtained knowledge may co
APA, Harvard, Vancouver, ISO, and other styles
46

Le, Quang H. M. Eng (Quang Huy)Massachusetts Institute of Technology. "G A N mask R-CNN : instance semantic segmentation benefits from generative adversarial networks." Thesis, Massachusetts Institute of Technology, 2020. https://hdl.handle.net/1721.1/129896.

Full text
Abstract:
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, February, 2020<br>Cataloged from student-submitted PDF of thesis.<br>Includes bibliographical references (pages 33-35).<br>In designing instance segmentation ConvNets that reconstruct masks, segmentation is often taken as its literal definition -assigning label to every pixel- for defining the loss functions. That is, using losses that compute the difference between pixels in the predicted (reconstructed) mask and the ground truth mask -a template matching mechanism. However, any
APA, Harvard, Vancouver, ISO, and other styles
47

Xia, Guangrui 1976. "Investigation of mechanisms and influencing processing factors on mobility enhancement in strained Si n-MOSFETs." Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/87898.

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

Perrott, Michael H. (Michael Henderson). "Techniques for high data rate modulation and low power operation of fractional-N frequency synthesizers." Thesis, Massachusetts Institute of Technology, 1997. http://hdl.handle.net/1721.1/10187.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1997.<br>Includes bibliographical references (p. 183-188).<br>by Michael Henderson Perrott.<br>Ph.D.
APA, Harvard, Vancouver, ISO, and other styles
49

Agarwal, Abhinav. "Comparison of high level design methodologies for algorithmic IPs : Bluespec and C-based synthesis." Thesis, Massachusetts Institute of Technology, 2009. http://hdl.handle.net/1721.1/46612.

Full text
Abstract:
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009.<br>Includes bibliographical references (leaves 37-39).<br>High level hardware design of Digital Signal Processing algorithms is an important design problem for decreasing design time and allowing more algorithmic exploration. Bluespec is a Hardware Design Language (HDL) that allows designers to express intended microarchitecture through high-level constructs. C-based design tools directly generate hardware from algorithms expressed in C/C++. This research compares these two design
APA, Harvard, Vancouver, ISO, and other styles
50

Hutchison, Luke A. D. (Luke Alexander Daysh) 1976. "Whole-organism integrative expressome for C. elegans enables in silico study of developmental regulation." Thesis, Massachusetts Institute of Technology, 2011. http://hdl.handle.net/1721.1/66005.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2011.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (p. 117-119).<br>The C. elegans nematode has been extensively studied as a model organism since the 1970s, and is the only organism for which the complete cell division tree and the genome are both available. These two datasets were integrated with a number of other datasets available at WormBase.org, such as the anatomy ontology, gene expression profiles extracted from 8ooo peer-reviewed papers, and
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!