Search Results for Software.

1.

Software Component Model with Concurrency

by

Ntalamagkas, Ioannis, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:13871187

Format:

Alıntı:

Software Component Model with Concurrency / Ntalamagkas, Ioannis, author.

2.

Wide-Area Software-Defined Storage

by

Nelson, Jude Christopher, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10824272

Format:

Alıntı:

Wide-Area Software-Defined Storage / Nelson, Jude Christopher, author.

3.

Hardware-Driven Evolution in Storage Software

by

Weiss, Zev, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10830569

Format:

Alıntı:

Hardware-Driven Evolution in Storage Software / Weiss, Zev, author.

4.

Learning to Adapt: Analyses for Configurable Software

by

Toman, John, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:13810523

Format:

Alıntı:

Learning to Adapt: Analyses for Configurable Software / Toman, John, author.

5.

Advances and Challenges in Software Refactoring: A Tertiary Systematic Literature Review

by

Alotaibi, Mazen, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10815378

Format:

Alıntı:

Advances and Challenges in Software Refactoring: A Tertiary Systematic Literature Review / Alotaibi

6.

A Comparative Analysis of In-House and Offshore Software Development by Using Agile Methodologies at the Design/Code Phase of Software Development: An Empirical Study

by

Nardelli, Robert, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:13812486

Format:

Alıntı:

A Comparative Analysis of In-House and Offshore Software Development by Using Agile Methodologies

7.

Software/Hardware Co-Design and Co-Sspecialisation: Novel Simulation Techniques and Optimisations

by

Rodchenko, Andrey, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:13870402

Format:

Alıntı:

Software/Hardware Co-Design and Co-Sspecialisation: Novel Simulation Techniques and Optimisations /

8.

Analysis of Embedded Software Architecture with Precedent Dependent Aperiodic Tasks

by

Tomita, Tatsuhiko, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10801521

Format:

Alıntı:

Analysis of Embedded Software Architecture with Precedent Dependent Aperiodic Tasks / Tomita

9.

The development and application of a method for producing software tools for computer systems design

by

Cavouras, John Constantine, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10868276

Format:

Alıntı:

The development and application of a method for producing software tools for computer systems

10.

Hardware methods to replace software procedures in sorting and array calculations

by

Bradley, John, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:13872379

Format:

Alıntı:

Hardware methods to replace software procedures in sorting and array calculations / Bradley, John

11.

Design Science Research: Developing and Evaluating a Financial Aid Analytics Software Application

by

Perry, Chantel A., author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10811723

Format:

Alıntı:

Design Science Research: Developing and Evaluating a Financial Aid Analytics Software Application /

12.

Latent Variable Models for Understanding User Behavior in Software Applications

by

Saeedi, Ardavan, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10902470

Format:

Alıntı:

Latent Variable Models for Understanding User Behavior in Software Applications / Saeedi, Ardavan

13.

A case study of software engineering, safety culture and industrial change : designing information access tools for the UK railway industry

by

Speirs, Fraser, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10867964

Format:

Alıntı:

A case study of software engineering, safety culture and industrial change : designing information

14.

Zero-Day Vulnerability In Software-Defined Networks: A Quantitative Study

by

Olorunsola, Folorunso Allan, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10823009

Format:

Alıntı:

Zero-Day Vulnerability In Software-Defined Networks: A Quantitative Study / Olorunsola, Folorunso

15.

Extending Papyrus-RT to facilitate model-driven development of rover software

by

Gopikrishnan, Sudharshan, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10857293

Format:

Alıntı:

Extending Papyrus-RT to facilitate model-driven development of rover software / Gopikrishnan

16.

Software-Hardware Systems for the Internet-of-Things

by

Salehi-Abari, Omid, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10902469

Format:

Alıntı:

Software-Hardware Systems for the Internet-of-Things / Salehi-Abari, Omid, author.

17.

Interactive Concert Programs Software for Enhancing Live Performances

by

Cipriano, Raffaele, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10829397

Format:

Alıntı:

Interactive Concert Programs Software for Enhancing Live Performances / Cipriano, Raffaele, author.

18.

Online Topic Modeling for Software Maintenance Using a Changeset-Based Approach

by

Corley, Christopher Scott, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10752443

Format:

Alıntı:

Online Topic Modeling for Software Maintenance Using a Changeset-Based Approach / Corley

19.

A Web-based Software System Utilizing Consensus Networks to Infer Gene Interactions

by

Deeter, Anthony, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10891687

Format:

Alıntı:

A Web-based Software System Utilizing Consensus Networks to Infer Gene Interactions / Deeter

20.

Automatically Measuring Software Architecture and Identifying Architecture Problems

by

Mo, Ran, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10828941

Format:

Alıntı:

Automatically Measuring Software Architecture and Identifying Architecture Problems / Mo, Ran

21.

Toward Efficient Traffic Control and Monitoring in Software-defined Datacenter Networks

by

Aljaedi, Amer Omar, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10837045

Format:

Alıntı:

Toward Efficient Traffic Control and Monitoring in Software-defined Datacenter Networks / Aljaedi

22.

Logical Leases: Scalable Hardware and Software Systems through Time Traveling

by

Yu, Xiangyao, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10902475

Format:

Alıntı:

Logical Leases: Scalable Hardware and Software Systems through Time Traveling / Yu, Xiangyao

23.

Quantifying Flakiness and Minimizing Its Effects on Software Testing

by

Gao, Zebao, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10641629

Format:

Alıntı:

Quantifying Flakiness and Minimizing Its Effects on Software Testing / Gao, Zebao, author.

24.

A Decision Support System for Sprint Planning in Scrum Practice

by

Alhazmi, Alhejab Shawqi, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10788907

Format:

Alıntı:

Scrum is one of the Agile software development processes broadly adopted in industry. Scrum

25.

Behavior-Based Cognitive Trait Modeling via Node-Link Diagram Interactions

by

Iori, Melissa, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10789914

Format:

Alıntı:

Individual traits are not always considered when designing data analytic software. However

26.

Multicore Xinu

by

Van Every, Philip M., author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10810189

Format:

Alıntı:

power. Shared memory, symmetric multiprocessor (SMP) systems are ubiquitous. All software must be

27.

Computational Modeling of Multifarious Protein Interactions

by

Peterson, Lenna X., author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10268151

Format:

Alıntı:

useful for studying protein-protein interactions, but the majority of protein-protein docking software

28.

Profile-guided Memory Layout: Theory and Practice

by

Lavaee Mashhadi, Rahman, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10793678

Format:

Alıntı:

Modern software is growing in size and complexity, far faster than is hardware in performance. In

29.

A Data-driven Situation-aware Framework for Predictive Analysis in Smart Environments

by

Gholami, Hoda, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10790347

Format:

Alıntı:

equipped with a heterogeneous set of data sources including hardware and software sensors, and oftentimes

30.

Towards a Socially Responsible Smart City: Tools for Smarter Community Service

by

Tsai, Huey-Ru, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10829737

Format:

Alıntı:

. Additionally as part SOCIUS, we introduce an open-source software package called CHOMS (City HOMelessness

31.

HHCNN: Home Health Care Nurse Network a Web-based Home Health Care Platform to Cover Nurses in Case of Absence

by

Rahpiefard, Nazli, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10813348

Format:

Alıntı:

who meet the criteria of the assignment get notified to fill out the assignment quickly. This software

32.

Parallel Algorithms for Computing and Applications of the Dense Canonical Polyadic Decomposition

by

Hayashi, Koby B., author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10813682

Format:

Alıntı:

state of the art software, and demonstrate the CP's utility in revealing latent pattern in data via a

33.

Building an Autonomous Indoor Drone System

by

Gossett, Hunter, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10814652

Format:

Alıntı:

system, the software required for a basic drone set-up as well as additional software needed for

34.

Automatic Patch Generation via Learning from Successful Human Patches

by

Long, Fan, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10902457

Format:

Alıntı:

Automatic patch generation holds out the promise of automatically correcting software defects

35.

An RBF Neural Network Approach in Radionuclide Identification of Unknown Sources Utilizing gamma-Ray Spectra

by

Lagari, Pola-Lydia, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10683297

Format:

Alıntı:

"Gamma Detector Response and Analysis Software (GADRAS)". For each of these profiles (counts/kev vs

36.

Towards Real-Time Simulation of Hyperelastic Materials

by

Liu, Tiantian, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10808796

Format:

Alıntı:

iteration of Newton's method. Our method is also easier to implement, implying reduced software development

37.

Malware Detection and Cyber Security via Compression

by

Raff, Edward, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10811037

Format:

Alıntı:

available to security professions are improving, but limited. Each tool is designed for one software

38.

View and Path Planning for Scaling 3D Acquisition to Many Objects

by

Fan, Xinyi, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10815810

Format:

Alıntı:

D acquisition system. We explore solutions for improvement from both the hardware and software end.

39.

Trace-Based Data Provenance For Cyber-Physical Systems

by

Nwafor, Ebelechukwu, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10823102

Format:

Alıntı:

ecosystem by way of a provenance collection framework for CPS that uses lightweight software tracing via

40.

Speech Synthesis for Text-Based Editing of Audio Narration

by

Jin, Zeyu, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10824517

Format:

Alıntı:

, documentaries, demo videos, podcasts, and radio. However, editing audio narration using conventional software

41.

Data Security in the Age of Big Data in the Financial Industry

by

Noutoua, Jean Sylvestre, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10824619

Format:

Alıntı:

of importance: software, change, employees, and time. Research question two on Big Data security

42.

Mobile Technology Adoption: Assessing Faculty Acceptance Using the Technology Acceptance Model

by

Wright, Sarah R., author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10825136

Format:

Alıntı:

Graphics 25 and SmartPLS 3 software were used to conduct the analysis. The results determined if faculty

43.

Analysis of High Performance Scientific Programming Workflows

by

Klaassen, W.K. Umayanganie, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10825859

Format:

Alıntı:

involving the use of numerical libraries. 2) We evaluate GPU programming models using software engineering

44.

Build automation and optimization for models of embedded real-time systems

by

Nair, Kanchan, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10857291

Format:

Alıntı:

deployment-ready executable files. Build tools play a critical role in the software development process by

45.

Private and Trustworthy Computation Using Additive Cryptographic Primitives

by

Tsoutsos, Nektarios Georgios, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10642986

Format:

Alıntı:

-blower cases, federal agencies compelling private companies to sign unsafe software, and high

46.

A Framework to Design and Evaluate Wearable Interactive Systems for Health

by

Albaghli, Reem, author. (orcid)0000-0002-6691-7810

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10749385

Format:

Alıntı:

and design techniques of software engineering and human-centered computing and places considerable

47.

A Point Cloud Approach to Object Slicing for 3D Printing

by

Oropallo, William Edward, Jr., author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10751757

Format:

Alıntı:

parts by accumulating material layers by layer. 3D printing software needs to calculate these layers for

48.

Design of Haptically Enabled Wheelchair for Assistive Autonomy

by

Mani Gupta, Arjun, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10903452

Format:

Alıntı:

software architecture is designed and built over ROS (The Robot Operating System).

49.

Critical Points in Simulation Technology

by

Morgan, Hannah, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10792758

Format:

Alıntı:

pressure. Full details of our implementation in the automated finite element software FEniCS are described

50.

Approximating Signed Distance Field to a Mesh by Artificial Neural Networks

by

Zeng, Zhe, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10793383

Format:

Alıntı:

software or hardware that has a strict requirement of memory size.

51.

Advanced Study of Hyperbolic Partial Differential Equations and Applications

by

Richmond, Corterris C., author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10793824

Format:

Alıntı:

simulation software of this study has the capability to test any type of boundary and initial conditions

52.

Power/Performance Modeling and Optimization: Using and Characterizing Machine Learning Applications

by

Cai, Ermao, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10827562

Format:

Alıntı:

-related effects, such as the interaction between applications with software and hardware layers.

53.

Digital Image Recompression Analysis of Instagram

by

Douglas, Zachary, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10810729

Format:

Alıntı:

software with which they may have interacted. While this forensic data has been key to many investigations

54.

Decentralized Runtime Architecture Discovery and Testbed for Adaptation and Failure Recovery of Large Dynamic Distributed Systems

by

Porter, Jason, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10811923

Format:

Alıntı:

(Decentralized Software Architecture discoveRy Mechanism), a completely decentralized and automated approach for

55.

Distance Metrics and Perception of Finger Pose Similarity in Virtual Humans

by

Walter, Erin C., author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10821792

Format:

Alıntı:

combination of motion capture and 3D rendering software. However, the problem of perceptually incorrect finger

56.

Energy Efficiency of Java Programming Language

by

Kumar, Mohit, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10747820

Format:

Alıntı:

consumption traits of Java which can be leveraged by software developers to generate energy efficient code in

57.

Applying Block-Based Programming to Neurofeedback Application Development

by

Crawford, Chris S., author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10902785

Format:

Alıntı:

education, cognitive improvement, neurophysiological evaluation, and gaming. Although there are BCI software

58.

The DS-Pnet modeling formalism for cyber-physical system development

by

Pereira, Fernando Joaquim Ganhão, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10798781

Format:

Alıntı:

framework, ranging from hardware solutions, industrial applications to distributed software applications.

59.

Assessing Security Architectures to Protect Against Malware in Embedded Narrow Artificial Intelligence Robots

by

Sylvertooth, Randall Earl, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10902464

Format:

Alıntı:

cyber-attacks as any other implemented computer software application. The dissertation research study as

60.

Data Mining, Inference, and Predictive Analytics for the Built Environment with Images, Text, and WiFi Data

by

Villalon, Rachelle B., author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10902908

Format:

Alıntı:

complete software pipeline for data mining, analyzing, and visualizing large volumes of crowdsourced

61.

Rack Based Dynamic Workload Balancing in Hadoop Systems

by

Ponnaganti, Gautham Brahma, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10685141

Format:

Alıntı:

Hadoop, by the Apache software foundation, is one of the most popular frameworks for working with

62.

Fine Tuning Image Input Sets for Deep Neural Networks Using Hallucinations

by

Jalla, Kavya, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10246953

Format:

Alıntı:

An artificial neural network is a system of software made up of neurons which work based on the

63.

The MINT architecture: A design for providing quality of service support in desktop-level interconnects

by

de Wit, Mark Stuart, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10867976

Format:

Alıntı:

, is evaluated through software simulation, and the MINT simulation results are compared to standard

64.

Modelling and planning dialogue from formal semantics

by

Funk, John Adam, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10836293

Format:

Alıntı:

Java wrapper that provides interaction with the rest of the software. The semantic analysis agent

65.

Enabling User Space Secure Hardware

by

Coughlin, Michael, author. (orcid)0000-0002-6619-7585

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10791863

Format:

Alıntı:

User space software allows developers to customize applications beyond the limits of the privileged

66.

Automatic Verification of Linear Controller

by

Park, Junkil, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10810252

Format:

Alıntı:

generation is correctly done. Commercial code generators are complex black-box software that are generally

67.

Timing-Safe Hardware-Level Information Flow Control

by

Ferraiuolo, Andrew, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10817347

Format:

Alıntı:

complex and error-prone -- software-exploitable vulnerabilities in SGX have already been found, and bugs

68.

Data Access Optimization in Accelerator-oriented Heterogeneous Architecture through Decoupling and Memory Hierarchy Specialization

by

Ham, Tae Jun, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10822487

Format:

Alıntı:

To address this limitation, this thesis presents hardware and software techniques which can be

69.

Privacy Infrastructure for Content and Communications

by

Edmundson, Anne Marissa, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10822620

Format:

Alıntı:

routes a client's web traffic around specified countries with no modifications to client software.

70.

Host Managed Storage Solutions for Big Data

by

Mishra, Pratik, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10683908

Format:

Alıntı:

, designing, and, developing software defined storage capabilities with minimal or no infrastructural change

71.

On Improving (Non)Functional Testing

by

Luo, Qi, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10749916

Format:

Alıntı:

performance degradation between two released software versions to identify the problematic ones likely leading

72.

Runtime Methods to Improve Energy Efficiency in Supercomputing Applications

by

Bhalachandra, Sridutt, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10790284

Format:

Alıntı:

-changing factors both in hardware and software affecting energy usage of processors, there exists a need for power

73.

Novel Methods for Improving Performance and Reliability of Flash-Based Solid State Storage System

by

Guo, Jiayang, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10891703

Format:

Alıntı:

that the existing I/O software layer can cause additional operational overheads for flash-based SSDs

74.

New Methods for Graph Computation on Single Nodes

by

Zhou, Zhixuan, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10793543

Format:

Alıntı:

GraphZ has two innovations that improve the performance of software frameworks for out

75.

Balancing Performance and Energy in Computing Systems

by

Imes, Connor Kelly, author. (orcid)0000-0003-1683-8353

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10808973

Format:

Alıntı:

capping technology in place of software-managed Dynamic Voltage and Frequency Scaling (DVFS), which is

76.

SAF-Dl: Semantic Analysis Framework for Deep Learning Open Source Projects

by

Tripathi, Rashmi, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10825611

Format:

Alıntı:

create a better-refined version. In addition, these projects can be used to guide software developers or

77.

Sensing Building Structure Using UWB Radios for Disaster Recovery

by

Lee, Jeong Eun, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10812182

Format:

Alıntı:

bandwidth of over 3.2 GHz. The software was provided by Time Domain as well, including Performance Analysis

78.

Identifying Traffic Anomalies Interfering with IBR Based Outage Detection

by

Gupta, Ojas, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10812992

Format:

Alıntı:

bursts, I present a software solution to detect and filter them in real-time: the primary idea is to use

79.

Practical Formal Techniques and Tools for Developing LLVM's Peephole Optimizations

by

Menendez, David, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10902033

Format:

Alıntı:

faster software, but simplifies other optimization passes by reducing the number of equivalent forms they

80.

Exploiting Implicit Belief to Resolve Sparse Usage Problem in Usage-Based Specification Mining

by

Khairunnesa, Samantha Syeda, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10640103

Format:

Alıntı:

blocks in modern software development. As APIs present the opportunity of increased productivity, it also

81.

Collective Program Analysis

by

Upadhyaya, Ganesha, author. (orcid)0000-0003-0764-2578

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10681033

Format:

Alıntı:

Encouraged by the success of data-driven software engineering (SE) techniques that have found

82.

Model-based Testing of Off-nominal Behaviors

by

Schulze, Christoph, author. (orcid)0000-0001-9300-5641

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10744363

Format:

Alıntı:

automated support for thorough evaluation of software behavior. In MBT, models are used to describe the

83.

Towards Emerging Data Center Architecture in Internet of Things Era

by

Hu, Yang, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10902802

Format:

Alıntı:

networking system. The advent of software-defined network (SDN) and network function virtualization (NFV

84.

Automated Techniques for Diagnosing Crashing Bugs

by

Wu, Rongxin, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10903408

Format:

Alıntı:

Software crashes are severe manifestation of software bugs. Crashes are often required to be fixed

85.

Usability Evaluation of Domain-Specific Languages

by

Barisic, Ankica, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10798800

Format:

Alıntı:

accidental complexity of software systems development. The availability of sophisticated language workbenches

86.

Experimental and Computational Investigation of the Conformal Vortex Generator

by

Kibble, Geoffrey A., author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10273491

Format:

Alıntı:

STAR-CCM+ commercial CFD software and Pointwise grid software. Experimental and computational studies

87.

A design for a distributed graphics system

by

Kilgour, Alistair C., author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10868263

Format:

Alıntı:

work demonstrates the flexibility that can be achieved by the application of the "software tools

88.

Graphical output methods and their relation to display system design

by

Prosser, Colin James, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10867870

Format:

Alıntı:

assistance of advanced software tools. For certain devices, it is necessary to provide routines which

89.

Communication concepts and their implementation in computer networks

by

Davis, John McDonald Cameron, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10868252

Format:

Alıntı:

; the first that of software, the second, the actual hardware connection. This constitutes a host/node

90.

Traffic Offloading in Heterogeneous Mobile Networks: The Centrally Directed and User Collaborated Options

by

Du, Pengyuan, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10826017

Format:

Alıntı:

system to solve the traffic offloading problem. Our system applies the Software-Defined Networking (SDN

91.

An Environment for Accessing Remote Field-Programmable Custom Computing Machine Accelerators with Multi-Memory Banks

by

Jadhav, Shrikant Shridhar, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10750895

Format:

Alıntı:

-of-magnitude speedup over a traditional software implementation executing on a conventional multi-core processor. Even

92.

Dynamic Energy-Aware Database Storage and Operations

by

Behzadnia, Peyman, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10785897

Format:

Alıntı:

one of the most important servers in software stack of modern data centers. Data storage system is one

93.

Elastic and Adaptive SDN-based Defense in Cloud Computing with Programmable Measurement

by

Wang, An, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10813524

Format:

Alıntı:

monitoring on SDN requires software defined measurement (SDM) that can automate the monitoring and

	{displayName}	{count}
{error}