Open Access. Powered by Scholars. Published by Universities.®

Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

Series

2015

Discipline
Institution
Keyword
Publication
File Type

Articles 61 - 90 of 3383

Full-Text Articles in Engineering

Improved Bias Correction Techniques For Hydrological Simulations Of Climate Change, David W. Pierce, Daniel R. Cayan, Edwin P. Maurer, John T. Abatzoglou, Katherine C. Hegewisch Dec 2015

Improved Bias Correction Techniques For Hydrological Simulations Of Climate Change, David W. Pierce, Daniel R. Cayan, Edwin P. Maurer, John T. Abatzoglou, Katherine C. Hegewisch

Civil, Environmental and Sustainable Engineering

Global climate model (GCM) output typically needs to be bias corrected before it can be used for climate change impact studies. Three existing bias correction methods, and a new one developed here, are applied to daily maximum temperature and precipitation from 21 GCMs to investigate how different methods alter the climate change signal of the GCM. The quantile mapping (QM) and cumulative distribution function transform (CDF-t) bias correction methods can significantly alter the GCM’s mean climate change signal, with differences of up to 2°C and 30% points for monthly mean temperature and precipitation, respectively. Equidistant quantile matching (EDCDFm) bias correction …


Phospho1 Deficiency Transiently Modifies Bone Architecture Yet Produces Consistent Modification In Osteocyte Differentiation And Vascular Porosity With Ageing, Behzad Javaheri, Alessandra Carriero, Katherine Ann Staines, Y.-M. Chang, D. A. Houston, Karla J. Oldknow, José Luis Millán, Bassir N. Kazeruni, Phil L. Salmon, Sandra J. Shefelbine Dec 2015

Phospho1 Deficiency Transiently Modifies Bone Architecture Yet Produces Consistent Modification In Osteocyte Differentiation And Vascular Porosity With Ageing, Behzad Javaheri, Alessandra Carriero, Katherine Ann Staines, Y.-M. Chang, D. A. Houston, Karla J. Oldknow, José Luis Millán, Bassir N. Kazeruni, Phil L. Salmon, Sandra J. Shefelbine

Biomedical Engineering and Sciences Faculty Publications

PHOSPHO1 is one of principal proteins involved in initiating bone matrix mineralisation. Recent studies have found that Phospho1 KO mice ( Phospho1-R74X) display multiple skeletal abnormalities with spontaneous fractures, bowed long bones, osteomalacia and scoliosis. These analyses have however been limited to young mice and it remains unclear whether the role of PHOSPHO1 is conserved in the mature murine skeleton where bone turnover is limited. In this study, we have used ex-vivo computerised tomography to examine the effect of Phospho1 deletion on tibial bone architecture in mice at a range of ages (5, 7, 16 and 34. weeks of age) …


The Effect Of Recency To Human Mobility, Hugo Barbosa, Fernando B. De Lima-Neto, Alexandre Evsukoff, Ronaldo Menezes Dec 2015

The Effect Of Recency To Human Mobility, Hugo Barbosa, Fernando B. De Lima-Neto, Alexandre Evsukoff, Ronaldo Menezes

Biomedical Engineering and Sciences Faculty Publications

In recent years, we have seen scientists attempt to model and explain human dynamics and in particular human movement. Many aspects of our complex life are affected by human movement such as disease spread and epidemics modeling, city planning, wireless network development, and disaster relief, to name a few. Given the myriad of applications, it is clear that a complete understanding of how people move in space can lead to considerable benefits to our society. In most of the recent works, scientists have focused on the idea that people movements are biased towards frequently-visited locations. According to them, human movement …


Effects Of A Beaver Pond In Southwestern Montana On Metals Concentration And Loads, William J. Drury, Martin Lorenzo Dec 2015

Effects Of A Beaver Pond In Southwestern Montana On Metals Concentration And Loads, William J. Drury, Martin Lorenzo

Environmental Engineering

A 400-m2 beaver pond on Cabbage Gulch (Deer Lodge County, MT) was investigated for its retention of total recoverable (TR) and dissolved arsenic (As), cadmium (Cd), copper (Cu), lead (Pb), zinc (Zn), and total suspended solids (TSS) during three storm water runoff events in the summer of 2013. Water samples were collected and flow rates were measured at monitoring stations above and below the pond. Decreases in TR metals concentrations were -17 percent for As (that is, As concentrations increased), 10 percent for Cu, 7 percent for Pb, and 27 percent for Zn. Total recoverable metals retained in the …


On The Discovery Of Social Roles In Large Scale Social Systems, Derek Doran Dec 2015

On The Discovery Of Social Roles In Large Scale Social Systems, Derek Doran

Computer Science and Engineering Faculty Publications

The social role of a participant in a social system is a label conceptualizing the circumstances under which she interacts within it. They may be used as a theoretical tool that explains why and how users participate in an online social system. Social role analysis also serves practical purposes, such as reducing the structure of complex systems to relationships among roles rather than alters, and enabling a comparison of social systems that emerge in similar contexts. This article presents a data-driven approach for the discovery of social roles in large scale social systems. Motivated by an analysis of the present …


Fully Magnetic Printing By Generation Of Magnetic Droplets On Demand With A Coilgun, Vladislav Vekselman, Luke Sande, Konstantin G. Kornev Dec 2015

Fully Magnetic Printing By Generation Of Magnetic Droplets On Demand With A Coilgun, Vladislav Vekselman, Luke Sande, Konstantin G. Kornev

Publications

In this paper, we exhibit a coilgun-based approach to drop-on-demand printing of liquids laden with magnetic particles. In contrast to other drop-on-demand technologies designed to print droplets only in gaseous environments, this methodology allows one to print magnetic droplets inside any gaseous or liquid media using the same coilgun. Furthermore, we demonstrate the basic principles of magnetic drop-on-demand generation and show the physico-chemical parameters controlling the process.


A Network Topology Control And Identity Authentication Protocol With Support For Movable Sensor Nodes, Ying Zhang, Wei Chen, Jixing Liang, Bingxin Zheng, Shengming Jiang Dec 2015

A Network Topology Control And Identity Authentication Protocol With Support For Movable Sensor Nodes, Ying Zhang, Wei Chen, Jixing Liang, Bingxin Zheng, Shengming Jiang

Computer Science Faculty Research

It is expected that in the near future wireless sensor network (WSNs) will be more widely used in the mobile environment, in applications such as Autonomous Underwater Vehicles (AUVs) for marine monitoring and mobile robots for environmental investigation. The sensor nodes’ mobility can easily cause changes to the structure of a network topology, and lead to the decline in the amount of transmitted data, excessive energy consumption, and lack of security. To solve these problems, a kind of efficient Topology Control algorithm for node Mobility (TCM) is proposed. In the topology construction stage, an efficient clustering algorithm is adopted, which …


The Impact Of Crystal Morphology On The Thermal Responses Of Ultrasonically-Excited Energetic Materials, J. K. Miller, J. O. Mares, I. E. Gunduz, Steven F. Son, Jeff Rhoads Dec 2015

The Impact Of Crystal Morphology On The Thermal Responses Of Ultrasonically-Excited Energetic Materials, J. K. Miller, J. O. Mares, I. E. Gunduz, Steven F. Son, Jeff Rhoads

Purdue Energetics Research Center Articles

The ability to detect explosive materials may be significantly enhanced with local increases in vapor pressure caused by an elevation of the materials'temperature. Recently, ultrasonic excitation has been shown to generate heat within plastic-bonded energetic materials. To investigate the impact of crystal morphology on this heating, samples of elastic binder are implanted with single ammonium perchlorate crystals of two distinct shape groups. Contact piezoelectric transducers are then used to excite the samples at ultrasonicfrequencies. The thermal responses of the crystals are recorded using infrared thermography, and the rate of heating is estimated. Surface temperature increases up to 15 °C …


Concise Handbook For Temporary Traffic Control, Indiana Ltap, Ohio Department Of Transportation Dec 2015

Concise Handbook For Temporary Traffic Control, Indiana Ltap, Ohio Department Of Transportation

Indiana Local Technical Assistance Program (LTAP) Publications

This handbook gives the basic principles and provides examples for the design, application, installation, and maintenance of the various types of traffic control devices used in temporary traffic control or for incident management. Traffic control in roundabouts has been included in this version. The guidelines presented are in accordance with the standards provided within the Indiana Manual for Uniform Traffic Control Devices (IMUTCD). This handbook is based upon one created by the Ohio Department of Transportation, Guidelines for Traffic Control in Work Zones. Indiana LTAP expresses thanks to ODOT for their permission to reprint this material.


Stormwater Drainage Manual 2015, Christopher B. Burke, Thomas T. Burke Dec 2015

Stormwater Drainage Manual 2015, Christopher B. Burke, Thomas T. Burke

Indiana Local Technical Assistance Program (LTAP) Publications

This manual is a comprehensive catalog of procedures, design methods and criteria, and general background information which will enable the designer to quickly learn or review the basic principles of storm drainage design. Subjects included are precipitation and hydrological cycle, runoff and its estimation, open channels, flow in gutters and inlets, stormwater storage, storm sewer system design, computer applications for computing watershed runoff, and water quality. Included in the appendices are basics of statistical analysis, fundamentals of hydraulics, and a list of regulatory agencies and governmental bodies which may have jurisdiction over drainage projects. A chapter on green infrastructure has …


Integrating Freight Into Livable Communities, Kristine M. Williams, Alexandria Carroll Dec 2015

Integrating Freight Into Livable Communities, Kristine M. Williams, Alexandria Carroll

TREC Final Reports

Where livability is a goal of the planning process, freight runs the risk of not being considered except as an afterthought or as something to be excluded. Yet, freight is an integral part of local economic development. Because economic prosperity is a key characteristic of livable communities, freight must be incorporated into the planning process. This study explores the relationship between freight and livability through a comprehensive literature review and case study research. The final report includes a menu of strategies and case study perspectives that highlight the importance of transportation and land use integration, interagency coordination, and context-sensitivity in …


Long-Term Winter Inversion Properties In A Mountain Valley Of The Western United States And Implications On Air Quality, Shih-Yu (Simon) Wang, Lawrence E. Hipps, Oi-Yu Chung, Robert R. Gillies, Randy S. Martin Dec 2015

Long-Term Winter Inversion Properties In A Mountain Valley Of The Western United States And Implications On Air Quality, Shih-Yu (Simon) Wang, Lawrence E. Hipps, Oi-Yu Chung, Robert R. Gillies, Randy S. Martin

Civil and Environmental Engineering Faculty Publications

Because of the geography of a narrow valley and surrounding tall mountains, Cache Valley (located in northern Utah and southern Idaho) experiences frequent shallow temperature inversions that are both intense and persistent. Such temperature inversions have resulted in the worst air quality in the nation. In this paper, the historical properties of Cache Valley’s winter inversions are examined by using two meteorological stations with a difference in elevation of approximately 100 m and a horizontal distance apart of ~4.5 km. Differences in daily maximum air temperature between two stations were used to define the frequency and intensity of inversions. Despite …


Modeling Of Gas Production From Shale Reservoirs Considering Multiple Transport Mechanisms, Chaohua Guo, Mingzhen Wei, Hong Liu Dec 2015

Modeling Of Gas Production From Shale Reservoirs Considering Multiple Transport Mechanisms, Chaohua Guo, Mingzhen Wei, Hong Liu

Geosciences and Geological and Petroleum Engineering Faculty Research & Creative Works

Gas transport in unconventional shale strata is a multi-mechanism-coupling process that is different from the process observed in conventional reservoirs. In micro fractures which are inborn or induced by hydraulic stimulation, viscous flow dominates. And gas surface diffusion and gas desorption should be further considered in organic nano pores. Also, the Klinkenberg effect should be considered when dealing with the gas transport problem. In addition, following two factors can play significant roles under certain circumstances but have not received enough attention in previous models. During pressure depletion, gas viscosity will change with Knudsen number; and pore radius will increase when …


Libsbolj 2.0: A Java Library To Support Sbol 2.0, Zhen Zhang, Tramy Nguyen, Nicholas Roehner, Goksel Misirli, Matthew Pocock, Ernst Oberortner, Meher Samineni, Zach Zundel, Jacob Beal, Kevin Clancy, Anil Wipat, Chris J. Myers Dec 2015

Libsbolj 2.0: A Java Library To Support Sbol 2.0, Zhen Zhang, Tramy Nguyen, Nicholas Roehner, Goksel Misirli, Matthew Pocock, Ernst Oberortner, Meher Samineni, Zach Zundel, Jacob Beal, Kevin Clancy, Anil Wipat, Chris J. Myers

Electrical and Computer Engineering Faculty Publications

The Synthetic Biology Open Language (SBOL) is an emerging data standard for representing synthetic biology designs. The goal of SBOL is to improve the reproducibility of these designs and their electronic exchange between researchers and/or genetic design


When 1 + 1 > 2: Nanostructured Composites For Hard Tissue Engineering Applications, Vuk Uskoković Dec 2015

When 1 + 1 > 2: Nanostructured Composites For Hard Tissue Engineering Applications, Vuk Uskoković

Pharmacy Faculty Articles and Research

Multicomponent, synergistic and multifunctional nanostructures have taken over the spotlight in the realm of biomedical nanotechnologies. The most prospective materials for bone regeneration today are almost exclusively composites comprising two or more components that compensate for the shortcomings of each one of them alone. This is quite natural in view of the fact that all hard tissues in the human body, except perhaps the tooth enamel, are composite nanostructures. This review article highlights some of the most prospective breakthroughs made in this research direction, with the hard tissues in main focus being those comprising bone, tooth cementum, dentin and enamel. …


Properties Of Pan Fibers Solution Spun Into A Chilled Coagulation Bath At High Solvent Compositions, E. Ashley Morris, Matthew C. Weisenberger, Gregory Wilson Rice Dec 2015

Properties Of Pan Fibers Solution Spun Into A Chilled Coagulation Bath At High Solvent Compositions, E. Ashley Morris, Matthew C. Weisenberger, Gregory Wilson Rice

Center for Applied Energy Research Faculty and Staff Publications

In this work, multifilament, continuous polyacrylonitrile (PAN) fiber tow was solution spun mimicking industrial processing at the small pilot scale (0.5 k tow), while carefully altering the composition of the coagulation bath, in order to determine the effect on the resulting fiber shape, density, orientation, and tensile properties at varying points in the spinning process. Novel here are the abnormally high coagulation bath solvent compositions investigated, which surpass those often reported in the literature. In addition, the coagulation bath was maintained at a slightly chilled temperature, contrary to reported methods to produce round fibers. Further, by altering the composition of …


Field Abundance And Performance Of Hoverflies (Diptera: Syrphidae) On Soybean Aphid, James O. Eckberg, Julie A. Peterson, Colin P. Borsh, Joe M. Kaser, Gregg A. Johnson, John C. Luhman, Donald L. Wyse, George E. Heimpel Dec 2015

Field Abundance And Performance Of Hoverflies (Diptera: Syrphidae) On Soybean Aphid, James O. Eckberg, Julie A. Peterson, Colin P. Borsh, Joe M. Kaser, Gregg A. Johnson, John C. Luhman, Donald L. Wyse, George E. Heimpel

West Central Research and Extension Center, North Platte

The management of the soybean aphid Aphis glycines Matsumara is a major challenge to soybean production in the north-central United States. The identification and characterization of the insect predator community has informed integrated pest management strategies by providing insight on predators that can suppress soybean aphid populations. Hoverflies (Diptera: Syrphidae) are known predators of A. glycines, but more information is needed on their diversity, abundance, and performance to evaluate their importance as biological control agents of A. glycines. In this study, syrphid abundance was evaluated across two growing seasons in four soybean fields in east-central Minnesota. Six methods …


Development Of A Semicircular Bend (Scb) Test Method For Performance Testing Of Nebraska Asphalt Mixtures, Gabriel Nsengiyumva, Yong-Rak Kim, Taesun You Dec 2015

Development Of A Semicircular Bend (Scb) Test Method For Performance Testing Of Nebraska Asphalt Mixtures, Gabriel Nsengiyumva, Yong-Rak Kim, Taesun You

Nebraska Department of Transportation: Research Reports

No abstract provided.


Mitigating Pavement Edge Drop Off, Wayne Jensen, Niles Uerling Dec 2015

Mitigating Pavement Edge Drop Off, Wayne Jensen, Niles Uerling

Nebraska Department of Transportation: Research Reports

The objective of this research was to investigate and document practices currently being used by the Nebraska Department of Roads (NDOR) districts and other State DOTs to mitigate pavement edge drop off. The NDOR has developed (or borrowed) and is currently incorporating into its standard practices several procedures that significantly decrease the incidence and magnitude of pavement edge-drop off. As these practices become more fully integrated into highway reconstruction projects, pavement edge drop off is expected to decrease dramatically. Localized areas of pavement edge drop off along paved lanes with bare or vegetated shoulders were noted as posing particular problems …


Feasibility Of Using Raman-Based Techniques For Breast Cancer Detection, Sara Mollamohammada Dec 2015

Feasibility Of Using Raman-Based Techniques For Breast Cancer Detection, Sara Mollamohammada

Department of Civil and Environmental Engineering: Dissertations, Theses, and Student Research

Breast cancer is one of the common types of cancer among women all over the world. Early diagnosis is an effective way that improve the treatment process and gives the patients a better chance of survival. Many of the patients infected by breast cancer choose breast conservation surgery (BCS). However, some of those will be subjected to mastectomy, and many will have tumor recurrence as there is no precise technique to show the tumor margins. Raman-based methods are powerful techniques with potential to rapidly differentiate normal from tumor tissues and provides a solution to detect tumor margin. This is because …


Faster Maximium Priority Matchings In Bipartite Graphs, Jonathan Turner Dec 2015

Faster Maximium Priority Matchings In Bipartite Graphs, Jonathan Turner

All Computer Science and Engineering Research

A maximum priority matching is a matching in an undirected graph that maximizes a priority score defined with respect to given vertex priorities. An earlier paper showed how to find maximum priority matchings in unweighted graphs. This paper describes an algorithm for bipartite graphs that is faster when the number of distinct priority classes is limited. For graphs with k distinct priority classes it runs in O(kmn1/2) time, where n is the number of vertices in the graph and m is the number of edges.


Computational Capacity And Energy Consumption Of Complex Resistive Switch Networks, Jens Bürger, Alireza Goudarzi, Darko Stefanovic, Christof Teuscher Dec 2015

Computational Capacity And Energy Consumption Of Complex Resistive Switch Networks, Jens Bürger, Alireza Goudarzi, Darko Stefanovic, Christof Teuscher

Electrical and Computer Engineering Faculty Publications and Presentations

Resistive switches are a class of emerging nanoelectronics devices that exhibit a wide variety of switching characteristics closely resembling behaviors of biological synapses. Assembled into random networks, such resistive switches produce emerging behaviors far more complex than that of individual devices. This was previously demonstrated in simulations that exploit information processing within these random networks to solve tasks that require nonlinear computation as well as memory. Physical assemblies of such networks manifest complex spatial structures and basic processing capabilities often related to biologically-inspired computing. We model and simulate random resistive switch networks and analyze their computational capacities. We provide a …


Microstructure Alone Induced Wetting Transition From Hydrophilic To Hydrophobic On Silicon And Graphene, Henry L. Ems Dec 2015

Microstructure Alone Induced Wetting Transition From Hydrophilic To Hydrophobic On Silicon And Graphene, Henry L. Ems

Department of Mechanical and Materials Engineering: Dissertations, Theses, and Student Research

In the present work, transition from hydrophilic to hydrophobic wetting states for an intrinsically hydrophilic surface (contact angle less than 45 degrees) using only surface microstructuring is presented. The surface microstructures are re-entrant microcavities (inverted trapezoidal microstructures) which promote air entrapment below the water droplet causing a Cassie wetting state as opposed to a Wenzel state where the surface is completely wetted. The microstructures were fabricated on a Silicon-On-Insulator (SOI) wafer through steps of deposition, photolithography, etching, and bonding. Contact angle measurements demonstrated the ability of the microfabricated surfaces to sustain large contact angles above 100°, in comparison to a …


Experimental Investigation And Thermal Modeling On Electro Discharge Drilling Of Pcd, Farnaz Nourbakhsh Dec 2015

Experimental Investigation And Thermal Modeling On Electro Discharge Drilling Of Pcd, Farnaz Nourbakhsh

Department of Mechanical and Materials Engineering: Dissertations, Theses, and Student Research

This study presents an experimental investigation and finite element simulation of Electro Discharge Drilling (ED-Drilling) of Polycrystalline Diamond (PCD). PCD has many outstanding properties including uniformly high hardness, high wear resistance and strong corrosion which are the main causes of widely using PCD. While PCD has many advantages and an important role in industrial applications, its high level of hardness and wear resistance cause this material to be difficult to form and machine by using traditional machining methods. EDM as a nontraditional machining process is an effective method among other non-traditional methods for PCDs due to its low cost and …


Subjective Perception Of Varying Reflection Densities In Room Impulse Responses, Hyun Hong Dec 2015

Subjective Perception Of Varying Reflection Densities In Room Impulse Responses, Hyun Hong

Durham School of Architectural Engineering and Construction: Dissertations, Thesis, and Student Research

Reverberation time (RT) is a metric commonly used to describe room acoustic conditions, but different rooms which have the same reverberation time can have different reflection densities. Much less is known about how humans perceive different reflection densities and how sensitive humans are to changes in reflection density. Previous investigations in the existing literature have studied the upper limit of distinguishable reflection density using artificial impulse responses, but not with more realistic impulse responses simulated in room acoustic software or measured from real rooms. The aim of this dissertation is to investigate methods for quantifying reflection density from measured impulse …


Methodology For Selecting The Column Configuration With Lowest Media Replacement Cost For Small Adsorption Systems, Artem Bausk Dec 2015

Methodology For Selecting The Column Configuration With Lowest Media Replacement Cost For Small Adsorption Systems, Artem Bausk

Department of Civil and Environmental Engineering: Dissertations, Theses, and Student Research

The relative performance of three column configurations often used for adsorption systems serving small communities was evaluated in terms of which results in the lowest overall replacement cost. Replacement cost is the cost of fresh media and the transportation, labor, and material costs to replace the media. Both the adsorption capacity and the media replacement costs were modeled. The pore and surface diffusion model was utilized to simulate the fixed-bed adsorption and obtain the breakthrough curves, which were then normalized using the target effluent to influent concentration ratio (C/Co) and the mass transfer zone fraction (%MTZBT). …


Viscoelastic, Fatigue Damage, And Permanent Deformation Characterization Of High Rap Bituminous Mixtures Using Fine Aggregate Matrix (Fam), Hesamaddin Nabizadeh Dec 2015

Viscoelastic, Fatigue Damage, And Permanent Deformation Characterization Of High Rap Bituminous Mixtures Using Fine Aggregate Matrix (Fam), Hesamaddin Nabizadeh

Department of Civil and Environmental Engineering: Dissertations, Theses, and Student Research

Performance characteristics of bituminous mixtures play the most influential role in designing flexible pavement. These asphaltic mixtures can be considered as heterogeneous mixtures which composed of two primary components: fine aggregate matrix (FAM) phase and aggregate phase. The FAM phase acts as a critical phase in evaluating the performance characteristics including viscoelastic, fatigue damage, and permanent deformation characteristics of entire asphalt mixtures. This study evaluates the viscoelastic, fatigue damage and permanent deformation characteristics of bituminous mixtures containing 65% reclaimed asphalt pavement (RAP) by performing oscillatory torsional shear tests of cylindrical bars of FAM using a dynamic mechanical analyzer. Moreover, this …


Phase I Evaluation Of Selected Concrete Material Models In Ls-Dyna, Bradley J. Winkelbauer Dec 2015

Phase I Evaluation Of Selected Concrete Material Models In Ls-Dyna, Bradley J. Winkelbauer

Department of Civil and Environmental Engineering: Dissertations, Theses, and Student Research

Numerous roadside safety systems are configured with reinforced concrete materials, such as bridge railings, median barriers, and roadside parapets. These protective barrier systems are intended to safely contain and redirect errant vehicles as well as prevent impacts into hazardous fixed objects or other geometric features. The analysis and design of these structures may involve impact simulation with finite element software, like LS-DYNA, which includes multiple concrete material models. For such investigations, limited guidance is available for selecting preferred concrete material models and determining appropriate values for specific parameters. This Phase I study investigated the viability and performance of existing concrete …


Transforming C Openmp Programs For Verification In Civl, Michael Rogers Dec 2015

Transforming C Openmp Programs For Verification In Civl, Michael Rogers

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

There are numerous way to express parallelism which can make it challenging for developers to verify these programs. Many tools only target a single dialect but the Concurrency Intermediate Verification Language (CIVL) targets MPI, Pthreads, and CUDA. CIVL provides a general concurrency model that can represent pro- grams in a variety of concurrency dialects. CIVL includes a front-end that support all of the dialects mentioned above. The back-end is a verifier that uses model checking and symbolic execution to check standard properties.

In this thesis, we have designed and implemented a transformer that will take C OpenMP programs and transform …


Bandwidth Estimation For Virtual Networks, Ertong Zhang Dec 2015

Bandwidth Estimation For Virtual Networks, Ertong Zhang

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

Cloud computing is transforming a large part of IT industry, as evidenced by the increasing popularity of public cloud computingservices, such as Amazon Web Service, Google Cloud Platform, Microsoft Windows Azure, and Rackspace Public Cloud. Manycloud computing applications are bandwidth-intensive, and thus the network bandwidth information of clouds is important for theirusers to manage and troubleshoot the application performance.

The current bandwidth estimation methods originally developed for the traditional Internet, however, face great challenges in clouds dueto virtualization that is the main enabling technique of cloud computing. First, virtual machine scheduling, which is an importantcomponent of computer virtualization for processor …