Дисертації з теми "Engineering Programs"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 дисертацій для дослідження на тему "Engineering Programs".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.
Orr, Harrison. "Student Retention in Community College Engineering and Engineering Technology Programs." Digital Commons @ East Tennessee State University, 2019. https://dc.etsu.edu/etd/3657.
Повний текст джерелаGrahn, Andreas. "Requirement engineering in programs that generates applications." Thesis, University West, Department of Informatics and Mathematics, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-587.
Повний текст джерелаAn, Li. "University programs in software engineering : a survey." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ64074.pdf.
Повний текст джерела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.
Повний текст джерелаHanda, Sunny. "Reverse engineering computer programs under Canadian copyright law." Thesis, McGill University, 1994. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=22693.
Повний текст джерелаRecently both the European Union countries and the United States have accepted reverse engineering as an exception to copyright infringement. The European Union has opted for a legislative solution, whereas in the United States several courts have construed the fair use exception contained in that country's Copyright Act as allowing reverse engineering.
In this paper, it is argued that Canada must also adopt a reverse engineering exception to copyright infringement. It is claimed that the implementation of such an exception is justified through examination of the underlying policy goals of copyright law in the context of an economic framework. Reverse engineering fosters the creation of standards which, it is argued, increase societal wealth. The existence of a reverse engineering exception is consistent with the balance between the economic rights of individual authors and societal technological progress, which copyright seeks to maintain. It is demonstrated that copyright exists as the only form of applicable intellectual property protection which can broadly limit the disclosure of concepts underlying computer programs.
It is suggested that an effective exception should be statutorily based. It is felt that the existing fair dealing exception contained in the Canadian Copyright Act is juridically under-developed and too uncertain to provide an effective solution to the reverse engineering problem. A legislative solution would send a clear message to the software industry as well as to the courts, and could prohibit contracting out of the Copyright Act which would potentially be allowed were a judicial solution sought. It is further suggested that the statutory exception should broadly allow the process of reverse engineering as opposed to limiting it to cases where compatibility is sought. Narrowing the exception creates conceptual difficulties in applying limits to reverse engineering. Allowing a broad exception would avoid these difficulties while continuing to provide copyright holders with protection if, after the reverse engineering process is concluded, their protectable expression is used within another's software product.
Liang, Donglin. "Developing practical program analyses for programs with pointers." Diss., Georgia Institute of Technology, 2002. http://hdl.handle.net/1853/8203.
Повний текст джерелаLeith, P. "Legal knowledge engineering : computing, logic and law." Thesis, Open University, 1985. http://oro.open.ac.uk/56914/.
Повний текст джерелаSamson, Brian R. "A system for writing interactive engineering programs in APL." Thesis, University of British Columbia, 1985. http://hdl.handle.net/2429/25108.
Повний текст джерелаApplied Science, Faculty of
Civil Engineering, Department of
Graduate
Karlsson, Mårten. "Green concurrent engineering : a model for DFE management programs /." Lund : International Institute for Industrial Environmental Economics (Internationella miljöinstitutet), Univ, 2001.
Знайти повний текст джерелаGriffin, William E., and Michael R. Schilling. "Analyzing cost, schedule, and engineering variances on acquisitions programs." Monterey, California. Naval Postgraduate School, 2011. http://hdl.handle.net/10945/10615.
Повний текст джерелаThis study of cost, schedule, and engineering variance (CV, SV, and EV) data identified in the Selected Acquisition Reports (SARs) of acquisition programs indicates that early program variances are significantly associated with future program variances. An enhanced understanding of CV, SV, and EV interrelationships and the connection between these program variances and the cost and schedule Earned Value contract variances will allow program managers to better understand the full programmatic impact of a variance problem. This understanding could also aid future researchers in identifying best practices in recovering from the identification of such a problem. In addition, the identification of CV, SV, and EV differences across Major Defense Acquisition Program (MDAP) types highlights the connection between segments of the defense industry and the development of best program management practices. This research first examines data using traditional descriptive statistics in order to determine whether identifiable patterns exist among MDAPs and their associated contracts. A primary objective of the analysis is to develop empirical models that employ cross-sectional, time-series data contained in the SARs. These models help explain the full effect of fixed-price incentive RandD contracts within MDAPs on cost and schedule variance during both engineering and manufacturing development (EMD) and production and deployment. It is anticipated that this analysis will also help close any existing gaps in the understanding of program versus contract management data.
Gatson, Jacqueline M. "Industry–university engagement in multicultural engineering programs: an exploratory study." Diss., Kansas State University, 2015. http://hdl.handle.net/2097/18948.
Повний текст джерелаDepartment of Educational Leadership
Michael Holen
Facing the rapidly increasing globalization of world economies and a steadily diversifying domestic consumer base, U.S. corporations have embraced the benefits of hiring more employees with diverse perspectives and experiences. Particularly in industries dependent upon knowledge of science, technology, engineering, and mathematics, recognition has grown that the American work force is seriously constrained by the clear underrepresentation of minority participants. In engineering, the most prevalent attempt to address these issues is through the establishment of multicultural engineering programs (MEPs), often designed as partnerships between universities and major corporate entities. These programs strive to identify, recruit, retain, educate and ultimately employ significant numbers of students of color to strengthen industry innovation and competitiveness. This investigation was initiated to expand the limited research literature on MEPs and the nature of their partnerships with industry. Using qualitative methodology, an exploratory viewpoint, and the lens of the Commitment-Trust Key Mediating Variable Model (KMV) of Relationship Marketing, the relationships of five mature and highly regarded university MEPs and one of their self identified primary industry partners were examined. Leaders of the National Association of Multicultural Engineering Program Advocates, the national representative body for MEPs, identified exemplary MEPs in the organization’s five regions; using a selection paradigm, five institutions were chosen for study selected from four of the regions. Each institution then identified a primary industry partner. Participants responded to in-depth interviews (MEPs) and questionnaires (industry) with respect to the nature, benefits, and challenges to both entities in the partnerships. Documents were reviewed for each program and industry. Responses were coded, crosschecked, and analyzed for patterns and themes. In particular, the study explored the issue of how commitment and trust are established in these partnership relationships. Twenty-four patterns and three themes emerged. Clearly, university-industry multicultural engineering partnerships are viewed as engendering important employment opportunities for underrepresented program graduates, promoting a well-developed pipeline of minority employee talent for industry, and increasing funding both for university multicultural programming and minority student support. The study also reports on the broad range of activities these partnerships practice. It suggests avenues for further study to enhance university-industry engagement.
Artiles-Fonseca, Mayra Sharlenne. "Choice in the Advisor Selection Processes of Doctoral Engineering Programs." Diss., Virginia Tech, 2019. http://hdl.handle.net/10919/102659.
Повний текст джерелаDoctor of Philosophy
Soltani, Atash. "The Contrast of Systems Engineering Application in Two Spacecraft Programs." Digital Commons at Loyola Marymount University and Loyola Law School, 2014. https://digitalcommons.lmu.edu/etd/432.
Повний текст джерелаMartin, Gary Richard. "Career Counseling Practices In Abet-Accredited Engineering Cooperative Education Programs." Scholarly Commons, 1986. https://scholarlycommons.pacific.edu/uop_etds/3321.
Повний текст джерелаIslam, mohammad Nazrul. "Extending WCET benchmark programs." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-13929.
Повний текст джерелаBlumofe, Robert D. (Robert David). "Executing multithreaded programs efficiently." Thesis, Massachusetts Institute of Technology, 1995. http://hdl.handle.net/1721.1/11095.
Повний текст джерелаIncludes bibliographical references (p. 135-145).
by Robert D. Blumofe.
Ph.D.
Frigo, Matteo 1968. "Portable high-performance programs." Thesis, Massachusetts Institute of Technology, 1999. http://hdl.handle.net/1721.1/80594.
Повний текст джерелаSetiowijoso, Liono. "Data Allocation for Distributed Programs." PDXScholar, 1995. https://pdxscholar.library.pdx.edu/open_access_etds/5102.
Повний текст джерелаWu, Jerry. "Using dynamic analysis to infer Python programs and convert them into database programs." Thesis, Massachusetts Institute of Technology, 2018. https://hdl.handle.net/1721.1/121643.
Повний текст джерелаThesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (pages 195-196).
I present Nero, a new system that automatically infers and regenerates programs that access databases. The developer first implements a Python program that uses lists and dictionaries to implement the database functionality. Nero then instruments the Python list and dictionary implementations and uses active learning to generate inputs that enable it to infer the behavior of the program. The program can be implemented in any arbitrary style as long as it implements behavior expressible in the domain specific language that characterizes the behaviors that Nero is designed to infer. The regenerated program replaces the Python lists and dictionaries with database tables and contains all code required to successfully access the databases. Results from several inferred and regenerated applications highlight the ability of Nero to enable developers with no knowledge of database programming to obtain programs that successfully access databases.
by Jerry Wu.
M. Eng.
M.Eng. Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science
Bani, Younis Mohammed [Verfasser]. "Re-Engineering Approach for PLC Programs based on Formal Methods : Re-Engineering-Ansatz für SPS-Programme auf Basis formaler Beschreibungen / Mohammed Bani Younis." Aachen : Shaker, 2006. http://d-nb.info/1166515214/34.
Повний текст джерелаGrasso, Barton. "Benchmarking the Management of Construction Programs." NCSU, 2007. http://www.lib.ncsu.edu/theses/available/etd-03222007-001859/.
Повний текст джерелаPatterson, Andrew Joseph 1974. "Tool support for introductory software engineering education." Monash University, School of Computer Science and Software Engineering, 2002. http://arrow.monash.edu.au/hdl/1959.1/7738.
Повний текст джерелаBoyd-Sinkler, Karis Elisabeth. "Exploring the Interpersonal Relationships of Black Men in Undergraduate Engineering Programs." Diss., Virginia Tech, 2021. http://hdl.handle.net/10919/103709.
Повний текст джерелаDoctor of Philosophy
For decades, Black men have experienced educational hardships from as early as first grade. While many researchers have identified areas to improve the educational experience for Black men, few have looked at the educational experience of Black men in science, technology, engineering, and math (STEM). My research adds to the current conversations surrounding Black men in undergraduate engineering programs by looking at how relationships impact their educational experiences. I conducted a research study with 14 Black men in undergraduate engineering programs at two historically white institutions (N=13) and one historically Black university (N=1). I asked Black men about the types of relationships they had and why those relationships were meaningful to them. I also asked the students if there were outside influences such as stereotypes held by society that might impact how they look at their relationships. The students primarily discussed relationships with their STEM peers and professors. Relationships that were more meaningful for students were with people who were relatable, people who could provide insight or knowledge, and people who showed a sense of care or concern for the student. Outside influences that impacted students' relationships were their academic major, the type of institution they attended, their gender, their race/ethnicity, and National events. These findings contribute in several ways to our understanding of the value of relationships and provide a basis for future research involving Black men in STEM.
Albiz, Niccolas. "Sustainability Education at Industrial Engineering Programs in Sweden : A study of the relevant and received sustainability education, and the associated challenges, at 5-year industrial engineering programs." Thesis, KTH, Hållbarhet och industriell dynamik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-177134.
Повний текст джерелаAllmänhetens intresse över hållbarhetsfrågor ökar samtidigt som tilliten för företag minskar. Företagsledare ser numera hållbarhet som en viktig komponent i att bibehålla deras konkurrenskraft och att återfå allmänhetens tillit. Det är således viktigt att finna nya sätt att förena samhällsnytta med företagande, vilket kräver nya sorters kompetens inom hållbarhetsområdet. Denna studie har undersökt vilka hållbarhetsämnen som är centrala för industriell ekonomistudenten, givet deras profil i näringslivet, samt vad av detta som berörs i programmen. Studien var indelad i två faser. Den första ämnade till att skapa en lista av de, för dessa ingenjörer, centrala ämnen genom intervjuer med experter inom området. Den andra fasen kartlagde de ämnen som berördes inom de fem största industriell ekonomiprogrammen (täckandes cirka 74% av studenterna) samt vilka utmaningar som associerades till detta arbete. Den första fasen var till stora delar kvalitativ. Den efterföljande fasen var en kvantitativ kartläggning där varje datapunkt representerade en kvalitativ intervju. Ur studien uppkom fem nyckelinsikter, som står sig oavsett normativ ståndpunkt. Dessa inkluderade: 1) De hållbarhetsämnen som ansågs relevanta för denna målgrupp spänner en vid area av discipliner och aspekter. 2) Fördelningen på ämnen som täcks inom programmen påvisar en preferens mot den miljömässiga aspekten. 3) Det finns en brist på integrerande instanser i utbildningarna, där kunskap från olika aspekter och källor sammankopplas. 4) Nyckelutmaningarna centreras runt definiering och kommunikation. 5) Normativitet, sammankoppling och pedagogik bidrar alla till osäkerhet och komplexitet i bedömning av hållbarhetsutbildningar. Studien avslutas med en syntes av de olika insikterna för att komma till slutsatsen att hållbart företagande som övergripande syfte för utbildningarna, en gemensam målbild för innehållet samt komplettering med ”active learning” metodiker skulle övervinna många av de uppfattade utmaningarna samtidigt som det skulle uppfylla näringslivets kompetensbehov för framtida konkurrenskraft. Denna studie bidrar till förståelsen över vilken hållbarhetsutbildning som bedrivs och vilken som anses behövd av industriell ekonomistudenter i Sverige. Studien har därmed praktiska implikationer för de program som studerades. Teoretiska bidrag inkluderas av den empiriska data som framtagits gällande relevanta hållbarhetsämnen vilka uppvisar hög konvergens med litteraturen inom ämnen, samt de upplevda utmaningar kring att inkludera detta ämne i befintliga program. Vidare bidrar studien med empirisk data kring det som faktiskt berörs idag på de olika industriell ekonomiprogrammen.
Hsieh, Wilson Cheng-Yi. "Extracting parallelism from sequential programs." Thesis, Massachusetts Institute of Technology, 1988. http://hdl.handle.net/1721.1/14752.
Повний текст джерелаSermuliÅ, Å¡ JÄ nis. "Cache optimizations for stream programs." Thesis, Massachusetts Institute of Technology, 2005. http://hdl.handle.net/1721.1/33359.
Повний текст джерелаIncludes bibliographical references (leaves 73-75).
As processor speeds continue to increase, the memory bottleneck remains a primary impediment to attaining performance. Effective use of the memory hierarchy can result in significant performance gains. This thesis focuses on a set of transformations that either reduce cache-miss rate or reduce the number of memory accesses for the class of streaming applications, which are becoming increasingly prevalent in embedded, desktop and high-performance processing. A fully automated optimization algorithm is presented that reduces the memory bottleneck for stream applications developed in the high-level stream programming language StreamIt. This thesis presents four memory optimizations: 1) cache aware fusion, which combines adjacent program components while respecting instruction and data cache constraints, 2) execution scaling, which judiciously repeats execution of program components to improve instruction and state locality, 3) scalar replacement, which converts certain data buffers into a sequence of scalar variables that can be register allocated, and 4) optimized buffer management, which reduces the overall number of memory accesses issued by the program. The cache aware fusion and execution scaling reduce the instruction and data cache-miss rates and are founded upon a simple and intuitive cache model that quantifies the temporal locality for a sequence of actor executions.
(cont.) The scalar replacement and optimized buffer management reduce the number of memory accesses. An experimental evaluation of the memory optimizations is presented for three different architectures: StrongARM 1110, Pentium 3 and Itanium 2. Compared to unoptimized StreamIt code, the memory optimizations presented in this thesis yield a 257% speedup on the StrongARM, a 154% speedup on the Pentium 3, and a 152% speedup on Itanium 2. These numbers represent averages over our streaming benchmark suite. The most impressive speedups are demonstrated on an embedded processor StrongARM, which has only a single data and a single instruction cache, thus increasing the overall cost of memory operations and cache misses.
by JÄnis. SermuliÅÅ¡.
M.Eng.
Milicevic, Aleksandar Ph D. Massachusetts Institute of Technology. "Executable specifications for Java programs." Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/62442.
Повний текст джерелаCataloged from PDF version of thesis.
Includes bibliographical references (p. 55-57).
In this thesis, we present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, written in first-order relational logic with transitive closure, and the imperative language for this purpose is Java. By being able to mix imperative code with executable declarative specifications, the user can easily express constraint problems in-place, i.e. in terms of the existing data structures and objects on the heap. After a solution is found, our framework will automatically update the heap to reflect the solution, so the user can continue to manipulate the program heap in the usual imperative way, without ever having to manually translate the problem back and forth between the host programming environment and the solver language. We show that this approach is not only convenient, but, for certain problems, like puzzles or NP-complete graph algorithms, it can also outperform the manual implementation. We also present an optimization technique that allowed us to run our tool on heaps with almost 2000 objects.
by Aleksandar Milicevic.
S.M.
Ansel, Jason (Jason Andrew). "Autotuning programs with algorithmic choice." Thesis, Massachusetts Institute of Technology, 2014. http://hdl.handle.net/1721.1/87913.
Повний текст джерелаCataloged from PDF version of thesis.
Includes bibliographical references (pages 231-251).
The process of optimizing programs and libraries, both for performance and quality of service, can be viewed as a search problem over the space of implementation choices. This search is traditionally manually conducted by the programmer and often must be repeated when systems, tools, or requirements change. The overriding goal of this work is to automate this search so that programs can change themselves and adapt to achieve performance portability across different environments and requirements. To achieve this, first, this work presents the PetaBricks programming language which focuses on ways for expressing program implementation search spaces at the language level. Second, this work presents OpenTuner which provides sophisticated techniques for searching these search spaces in a way that can easily be adopted by other projects. PetaBricks is a implicitly parallel language and compiler where having multiple implementations of multiple algorithms to solve a problem is the natural way of programming. Choices are provided in a way that also allows our compiler to tune at a finer granularity. The PetaBricks compiler autotunes programs by making both fine-grained as well as algorithmic choices. Choices also include different automatic parallelization techniques, data distributions, algorithmic parameters, transformations, and blocking. PetaBricks also introduces novel techniques to autotune algorithms for different convergence criteria or quality of service requirements. We show that the PetaBricks autotuner is often able to find non-intuitive poly-algorithms that outperform more traditional hand written solutions. OpenTuner is a open source framework for building domain-specific multi-objective program autotuners. OpenTuner supports fully-customizable configuration representations, an extensible technique representation to allow for domain-specific techniques, and an easy to use interface for communicating with the program to be autotuned. A key capability inside OpenTuner is the use of ensembles of disparate search techniques simultaneously; techniques that perform well will dynamically be allocated a larger proportion of tests. OpenTuner has been shown to perform well on complex search spaces up to 10³⁰⁰⁰ possible configurations in size.
by Jason Ansel.
Ph. D.
Ziyuan, Jiang. "Synthesis of GPU Programs from High-Level Models." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-230163.
Повний текст джерелаModerna grafikbehandlingsenheter (GPU) tillhandahåller högpresterande generella syftes-beräkningsförmågor. De har massiva parallella arkitekturer som är lämpliga för att utföra parallella algoritmer och operationer. De är också streaminriktade enheter som är optimerade för att uppnå hög streaming för streamingbehandling. Att utforma effektiva GPU-program är en notoriskt svårt uppgift. ForSyDe-metoden är lämplig för att underlätta svårigheterna med GPU-programmering. Metodiken uppmuntrar mjukvaruutveckling från en hög nivå av abstraktion för att sedan omvandla den abstrakta modellen till en implementering genom en rad formella metoder. De befintliga ForSyDe-modellerna stöder synkron dataflöde (SDF) modell av beräkning (MoC) som är lämplig för modellering av streaming-beräkningar och är bra för att syntetisera effektiv streaming-bearbetningsprogram. Det finns också högkvalitativa designmodeller som kallas parallella mönster vilka är lämpliga för att representera parallella algoritmer och operationer. Avhandlingen analyserar metoden för modellering av parallella algoritmer med parallella mönster, och utforskar sättet att syntetisera effektiv OpenCL-implementering för GPU för parallella mönster. Avhandlingen försöker även att möjliggöra integration av parallella mönster i ForSyDe SDF-modellen för att modellera streaming parallella operationer. Ett automationsbibliotek som hjälper till att designa stream-program för parallella algoritmer som riktar sig mot GPU:er är avsedda för avhandlingsprojektet. Flera experiment utförs för att utvärdera effektiviteten hos det föreslagna biblioteket avseende implementering av högnivåmodellen.
Chuck, Lisa Gay Marie. "A Predictive Model for Benchmarking Academic Programs (pBAP) Using U.S. News Ranking Data for Engineering Colleges Offering Graduate Programs." Doctoral diss., University of Central Florida, 2005. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/2396.
Повний текст джерелаEd.D.
Department of Educational Research, Technology and Leadership
Education
Educational Leadership
Yasin, Atif. "Synergistic Timing Speculation for Multi-Threaded Programs." DigitalCommons@USU, 2016. https://digitalcommons.usu.edu/etd/5229.
Повний текст джерелаMiller, David N. "Systems Engineering and Integration of Control Centers in Support of Multiple Programs." International Foundation for Telemetering, 1989. http://hdl.handle.net/10150/614682.
Повний текст джерелаThe Multiprogram Control Center (MPCC) at the Johnson Space Center (JSC) was envisioned as a means of satisfying the ground control requirements for complex Space Transportation System (STS) payloads and unmanned vehicles. This paper will describe the role and characteristics of the MPCC and its relationship to the STS Mission Control Center (MCC). It will also reveal significant problems encountered and useful solutions to some fairly generic problems. It will discuss the current direction of control center technology and vendor opportunities from the MPCC's perspective. It will conclude with specific lessons learned thus far in the MPCC project.
Wang, Hongjie. "Global Optimization of Nonconvex Factorable Programs with Applications to Engineering Design Problems." Thesis, Virginia Tech, 1998. http://hdl.handle.net/10919/36823.
Повний текст джерелаMaster of Science
Tomlinson-Dykens, Susan Ann. "Executive education programs in the construction industry : an analysis of existing national programs and current industry participation." Thesis, Massachusetts Institute of Technology, 1992. http://hdl.handle.net/1721.1/45718.
Повний текст джерелаMisailović, Saša. "Accuracy-aware optimization of approximate programs." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/101577.
Повний текст джерелаCataloged from PDF version of thesis.
Includes bibliographical references (pages 168-176).
Many modern applications (such as multimedia processing, machine learning, and big-data analytics) exhibit a natural tradeoff between the accuracy of the results they produce and the application's execution time or energy consumption. These applications allow us to investigate new, more aggressive optimization approaches. This dissertation presents a foundation of program optimization systems that expose and profitably exploit tradeoffs between the accuracy of the results that the program produces and the time and energy required to produce those results. These systems apply accuracy-aware program transformations that intentionally change the semantics of optimized programs. A key challenge to applying accuracy-aware transformations is understanding the uncertainty that the transformations introduce into the program's execution. To address this challenge, this dissertation presents program analysis techniques that quantify the uncertainty introduced by program transformations. First, this dissertation identifies the properties of subcomputations that are amenable to loop perforation (an accuracy-aware transformation that skips loop iterations). Second, it presents how static analysis can derive expressions that characterize the frequency and magnitude of errors. Third, it presents a system that automatically applies accuracy-aware transformations by formulating accuracy-aware program optimization as standard mathematical optimization problems. The experimental results show that accuracy-aware transformations can help uncover significant performance and energy improvements with acceptable accuracy losses.
by Saša Misailović.
Ph. D.
Thai, Sonny. "Collaborative editor environments for player programs." Thesis, Massachusetts Institute of Technology, 2012. http://hdl.handle.net/1721.1/77006.
Повний текст джерелаCataloged from PDF version of thesis.
Includes bibliographical references (p. 63).
Player programming competitions are becoming a more popular way of introducing students to programming as well as allowing more experienced coders to hone their skills. In these competitions, teams of individuals must work together to produce a software project that will compete against other teams' projects in a well defined test. Collaboration is crucial in the overall learning experience and in determining the quality of the project. Although there are no standardized set of collaborative tools that exist for player programming IDEs, this paper documents the steps taken to investigate the ideal collaborative tools for editing player programs. These tools are a combination of frontend and backend features. Initial testing shows positive feedback from users of older systems. Future work consists of larger scale testing to perfect the standardized collaborative toolset.
by Sonny Thai.
M.Eng.
Puig, Fernandez Xavier. "VirtualHome : simulating household activities via programs." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/118051.
Повний текст джерелаCataloged from PDF version of thesis.
Includes bibliographical references (pages 53-55).
In order to learn to perform complex activities, autonomous agents need to know the sequences of actions needed to reach a given task. In this thesis, we propose to use programs, i.e., sequences of atomic actions and interactions, as a high level representation of complex tasks. Programs are interesting because they provide a non-ambiguous representation of a task, and allow agents to execute them. However, nowadays, there is no database providing this type of information. Towards this goal, we first crowd-source programs for a variety of activities that happen in people's homes, via a game-like interface used for teaching kids how to code. Using the collected dataset, we show how we can learn to extract programs directly from natural language descriptions or from videos. We then implement the most common atomic (inter)actions in the Unity3D game engine, and use our programs to "drive" an artificial agent to execute tasks in a simulated household environment. Our VirtualHome simulator allows us to create a large activity video dataset with rich ground-truth, enabling training and testing of video understanding models. We further showcase examples of our agent performing tasks in our VirtualHome based on language descriptions.
by Xavier Puig Fernandez.
S.M. in Computer Science and Engineering
Bruening, Derek L. (Derek Lane) 1976. "Systematic testing of multithreaded Java programs." Thesis, Massachusetts Institute of Technology, 1999. http://hdl.handle.net/1721.1/80050.
Повний текст джерелаIncludes bibliographical references (p. 149-150).
Derek L. Bruening.
M.Eng.
Carbin, Michael (Michael James). "Automatically identifying critical behaviors in programs." Thesis, Massachusetts Institute of Technology, 2009. http://hdl.handle.net/1721.1/55143.
Повний текст джерелаCataloged from PDF version of thesis.
Includes bibliographical references (p. 60-63).
The large size of modern software systems has led to an increase in the complexity of the interaction between a system's code, its input, and its output. I propose the following classifications for the regions of a system's input: * Critical control: data that influences the internal operation and output of the system. * Critical payload: data that heavily contributes to the output of the program but does not substantially influence the internal operation of the program. * Benign control: data that influences the internal operation of the system, but does not contribute to the output of the system. * Benign payload: data that neither contributes to the output nor substantially influences the internal operation of the program. In this thesis, I present Chaos, a system designed to automatically infer these classifications for a program's inputs and code. Chaos monitors the execution trace and dynamic taint trace of an application over a suite of inputs to determine how regions of the programs' code and input influence its behavior and output. This thesis demonstrates the accuracy of Chaos's classifications for a set of imaging applications and their support libraries. These automatically inferred classifications are relevant to a variety of software engineering tasks, including program understanding, maintenance, debugging, testing, and defect correction triage.
by Michael Carbin.
S.M.
Givan, Robert Lawrence. "Automatically inferring properties of computer programs." Thesis, Massachusetts Institute of Technology, 1996. http://hdl.handle.net/1721.1/11051.
Повний текст джерелаIncludes bibliographical references (p. 97-101).
by Robert Lawrence Givan, Jr.
Ph.D.
Ponzio, Stephen J. (Stephen John). "Restricted branching programs and hardware verification." Thesis, Massachusetts Institute of Technology, 1995. http://hdl.handle.net/1721.1/35042.
Повний текст джерелаIncludes bibliographical references (p. 71-77).
by Stephen John Ponzio.
Ph.D.
Nill, Scott T. (Scott Thomas). "Aerospace composite manufacturing cost models as geometric programs." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/118731.
Повний текст джерелаCataloged from PDF version of thesis.
Includes bibliographical references (pages 108-110).
The introduction of large, composite transport aircraft, such as the Airbus A350 and the Boeing 787, has been fraught with billions of dollars of production cost overruns. This research develops a novel approach to manufacturing cost modeling during the conceptual design phase using Geometric Programming (GP). A new formulation of a closed queuing network as a GP is presented to capture the crucial cost trade-offs between capacity and inventory. Additionally, GP models are presented for modeling unit processes in composite manufacturing and for modeling cost accounting metrics. Applied to the challenges of conceptual design for composite aircraft, the cost models can be used as a tool to help inform decisions about which manufacturing process to use and what type of supply chain should be deployed. The special sensitivity-analysis properties of the GP solutions can be exploited to explain how different aspects of the design drive manufacturing costs and to find highly sensitive areas of the trade-space that would have a large impact on cost if the design needed to be altered. The framework is demonstrated for fast but informative analyses of process trade-offs in composite fuselage fabrication.
by Scott T. Nill.
Ph. D.
Nguyen, Hai Viet. "A computer simulation of fatigue crack initiation in engineering components /." Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=66010.
Повний текст джерелаTorri, Stephen A. Hamilton John A. "Generic reverse engineering architecture with compiler and compression classification components." Auburn, Ala, 2009. http://hdl.handle.net/10415/1583.
Повний текст джерелаaf, Geijerstam Klas. "CONGESTION-CONTROLLED AUTOTUNING OF OPENMP PROGRAMS." Thesis, Umeå universitet, Institutionen för datavetenskap, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-163181.
Повний текст джерелаVerma, Aditi. "Manpower development for new nuclear energy programs." Thesis, Massachusetts Institute of Technology, 2012. http://hdl.handle.net/1721.1/76956.
Повний текст джерелаCataloged from PDF version of thesis.
Includes bibliographical references (p. 103-107).
In the spring of 2012, nine countries were seriously considering embarking on nuclear energy programs, either having signed contracts with reactor vendors or having made investments for the development of infrastructure for nuclear energy. Several more countries are expected to initiate nuclear energy programs during this decade. The new nuclear power plants that will be built in these countries will require well-trained personnel in numbers sufficient to ensure their safe and efficient operation, maintenance and regulation. The approaches to manpower development of the American, French, Japanese, Korean, Chinese and Indian nuclear industries are described and analyzed. Lead times for the development of education and training infrastructure and for training workers are found to be of the order of several years. This necessitates forecasting manpower requirements and planning ahead. Differences between these countries in their approaches to manpower development are observed. These include differences of job specialization, educational qualifications, and workforce size. Such differences are driven by differences in the structure of the industry, regulatory pressures, historical factors and future expectations. Comparisons are also made between the nuclear, coal, and airline industries in the U.S. These findings have important implications for the institutional design of new nuclear energy programs. Differences in the objectives, expected scale, and pace of development of these programs mean that systems of manpower development need to be tailored to each country. A hierarchy of strategic and implementational decisions informing the creation of manpower development systems for newcomer countries is presented.
by Aditi Verma.
S.B.
Strei, Thomas J. III. "Mapping and analyzing nuclear weapons programs development." Thesis, Massachusetts Institute of Technology, 2020. https://hdl.handle.net/1721.1/127304.
Повний текст джерелаCataloged from the official PDF of thesis.
Includes bibliographical references (pages 23-25).
An in-depth review of the types of nuclear reactors and their relationship to the development of nuclear weapons was conducted in order to provide a better understanding of the intention of a state in the creation of an internal nuclear program. An analysis of countries that have developed nuclear weapons and countries that have not was conducted. Following this analysis, the relationship between the weapons program, or lack thereof, was compared to the research reactors possessed by the country. The political environment of the country was also taken into account in order to determine the motivations behind the nuclear weapons development. It was concluded that there are a myriad of factors at play in the decision made by a country to develop nuclear weapons. There is a direct correlation between the construction of research reactors that were previously utilized for weapons research and the pursuit of an independent nuclear weapons program. However, a political impetus is necessary for the proper motivation to develop nuclear weapons to exist.
by Thomas J. Strei, III.
S.B.
S.B. Massachusetts Institute of Technology, Department of Nuclear Science and Engineering
Yeaman, Adetoun Oludara. "Understanding Empathy in the Experiences of Undergraduate Engineering Students in Service-Learning Programs." Diss., Virginia Tech, 2020. http://hdl.handle.net/10919/99038.
Повний текст джерелаDoctor of Philosophy
In an increasingly globalized world and with rapid advancement in technology, there is a need to think more intentionally about social implications of engineering and technology. These trends make is necessary for the engineering education to incorporate critical consideration of how engineering and technology affect humanity and how to interact effectively in diverse populations. Empathy, an ability that is central to the process of understanding and considering others, has been recognized as a valuable competency in the education of engineers. Studies suggest that service learning is a useful pedagogical approach for supporting students in the development of social competencies like empathy. My aim in this dissertation was to understand engineering students' experiences in a service-learning context to learn the ways in which their descriptions reveal empathy and the elements within their context that shaped empathy development. My participants are fourteen engineering students from two institutions, a small private university and a large public university, with both groups involved in at least one-semester of a service-learning course. Having explored students' experiences, I discuss key findings about how and within which contexts empathy came to play in these experiences. There are many different ways that empathy can play a role within students' experiences in a service-learning context and many facets of an experience help draw out more empathic practices. In this dissertation, I discuss implications of these findings for engineering education and practice.
Davis, Kirsten A. "Pursuing Intentional Design of Global Engineering Programs: Understanding Student Experiences and Learning Outcomes." Diss., Virginia Tech, 2020. http://hdl.handle.net/10919/97979.
Повний текст джерелаDoctor of Philosophy
As engineering work becomes more globalized, it is important to prepare students to succeed in a global engineering workforce. Prior research has explored different factors important to the design of global programs generally, but less is known about the experiences and learning outcomes of engineering students while abroad. Because this population has historically been underrepresented in global programs, few research-based practices have been identified to support the intentional design of global experiences for engineering students. This dissertation seeks to provide such insights through three studies that address the following components of global engineering program design: 1) the assessment of Global Engineering Competency (GEC) through use of a series of scenarios based in the Chinese context; 2) the relationship between program destination and students’ experiences and reported learning outcomes; and 3) the experiences that engineering students identify as most significant during their time abroad. I used a combination of quantitative, qualitative, and mixed research methods to explore students’ learning and experiences in global engineering programs. The results of these studies revealed that engineering students have a wide variety of learning outcomes and experiences as a result of global programs, that great care should be exercised in choosing and interpreting assessment methods for global programs, and that the design of global engineering programs should be informed by characteristics of both the student participants and the program destination. Overall, the results of this dissertation highlight the importance of intentionality when designing global engineering programs to better prepare students for success in a global work environment.
Kushman, Nate. "Generating computer programs from natural language descriptions." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/101572.
Повний текст джерелаCataloged from PDF version of thesis.
Includes bibliographical references (pages 159-169).
This thesis addresses the problem of learning to translate natural language into preexisting programming languages supported by widely-deployed computer systems. Generating programs for existing computer systems enables us to take advantage of two important capabilities of these systems: computing the semantic equivalence between programs, and executing the programs to obtain a result. We present probabilistic models and inference algorithms which integrate these capabilities into the learning process. We use these to build systems that learn to generate programs from natural language in three different computing domains: text processing, solving math problems, and performing robotic tasks in a virtual world. In all cases the resulting systems provide significant performance gains over strong baselines which do not exploit the underlying system capabilities to help interpret the text.
by Nate Kushman.
Ph. D.