Log in

Relevant bibliographies by topics / Runtime systems / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Runtime systems.

Dissertations / Theses on the topic 'Runtime systems'

Author: Grafiati

Published: 4 June 2021

Last updated: 1 June 2024

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Runtime systems.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

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

1

Wilcox, Cristina M. "Runtime verification for stochastic systems." Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/59701.

Full text

Abstract:

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2010.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (p. 97-101).<br>We desire a capability for the safety monitoring of complex, mixed hardware/software systems, such as a semi-autonomous car. The field of runtime verification has developed many tools for monitoring the safety of software systems in real time. However, these tools do not allow for uncertainty in the system's state or failure, both of which are essential for the problems we care about. In this thesis I

APA, Harvard, Vancouver, ISO, and other styles

2

Thulnoon, A. A. T. "Efficient runtime security system for decentralised distributed systems." Thesis, Liverpool John Moores University, 2018. http://researchonline.ljmu.ac.uk/9043/.

Full text

Abstract:

Distributed systems can be defined as systems that are scattered over geographical distances and provide different activities through communication, processing, data transfer and so on. Thus, increasing the cooperation, efficiency, and reliability to deal with users and data resources jointly. For this reason, distributed systems have been shown to be a promising infrastructure for most applications in the digital world. Despite their advantages, keeping these systems secure, is a complex task because of the unconventional nature of distributed systems which can produce many security problems

APA, Harvard, Vancouver, ISO, and other styles

3

Mehmed, Ayhan. "Runtime Monitoring of Automated Driving Systems." Licentiate thesis, Mälardalens högskola, Inbyggda system, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-45068.

Full text

Abstract:

It is the period of the World's history, where the technological progress reached a level that enables the first steps towards the development of vehicles with automated driving capabilities. The swift response from the significant portion of the industry resulted in a race, the final line set at the introduction of vehicles with full automated driving capabilities. Vehicles with automated driving capabilities target making driving safer, more comfortable, and economically more efficient by assisting the driver or by taking responsibilities for different driving tasks. While vehicles with assi

APA, Harvard, Vancouver, ISO, and other styles

4

Mahbub, Khaled. "Runtime monitoring of service based systems." Thesis, City University London, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.435034.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Kane, Aaron. "Runtime Monitoring for Safety-Critical Embedded Systems." Research Showcase @ CMU, 2015. http://repository.cmu.edu/dissertations/532.

Full text

Abstract:

The trend towards more commercial-off-the-shelf (COTS) components in complex safety-critical systems is increasing the difficulty of verifying system correctness. Runtime verification (RV) is a lightweight technique to verify that certain properties hold over execution traces. RV is usually implemented as runtime monitors that can be used as runtime fault detectors or test oracles to analyze a system under test for bad behaviors. Most existing RV methods utilize some form of system or code instrumentation and thus are not designed to monitor potentially black-box COTS components. This thesis p

APA, Harvard, Vancouver, ISO, and other styles

6

Gerasimou, Simos. "Runtime quantitative verification of self-adaptive systems." Thesis, University of York, 2016. http://etheses.whiterose.ac.uk/16435/.

Full text

Abstract:

Software systems used in mission- and business-critical applications in domains including defence, healthcare, and finance must comply with strict dependability, performance, and other Quality-of-Service (QoS) requirements. Self-adaptive systems achieve this compliance under changing environmental conditions, evolving requirements and system failures by using closed-loop control to modify their behaviour and structure in response to these events. Runtime quantitative verification (RQV) is a mathematically-based approach that implements the closed-loop control of self-adaptive systems. Using ru

APA, Harvard, Vancouver, ISO, and other styles

7

Chen, Bo. "Runtime support for code mobility in distributed systems /." For electronic version search Digital dissertations database. Restricted to UC campuses. Access is free to UC campus dissertations, 2005. http://uclibs.org/PID/11984.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Tyler, Benjamin James. "Specification and runtime monitoring of object-oriented systems." Columbus, Ohio : Ohio State University, 2006. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1143228898.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Lu, Sixing, and Sixing Lu. "Non-intrusive Runtime Anomaly Detection for Embedded Systems." Diss., The University of Arizona, 2017. http://hdl.handle.net/10150/626111.

Full text

Abstract:

Malware is a serious threat to network-connected embedded systems, as evidenced by the continued and rapid growth of such devices, commonly referred to as of the Internet of Things. Their ubiquitous use in critical applications require robust protection to ensure user safety and privacy. That protection must be applied to all system aspects, extending beyond protecting the network and external interfaces. Anomaly detection is one of the last lines of defense against malware, it can detect malware in embedded systems effectively and provide the advantage of detecting zero-day exploits relative

APA, Harvard, Vancouver, ISO, and other styles

10

Fish, Robert Simon Zachary. "An integrated framework for runtime adaptable communication systems." Thesis, University of Reading, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.269747.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Tibbitt-Eggleton, Robert. "Runtime user interface specification using direct manipulation." Thesis, Staffordshire University, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.387301.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Arafat, Md Humayun. "Runtime Systems for Load Balancing and Fault Tolerance on Distributed Systems." The Ohio State University, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=osu1408972218.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Lee, Jong Chul. "System-Level Observation Framework for Non-Intrusive Runtime Monitoring of Embedded Systems." Diss., The University of Arizona, 2014. http://hdl.handle.net/10150/338687.

Full text

Abstract:

As system complexity continues to increase, the integration of software and hardware subsystems within system-on-a-chip (SOC) presents significant challenges in post-silicon validation, testing, and in-situ debugging across hardware and software layers. The deep integration of software and hardware components within SOCs often prevents the use of traditional analysis methods to observe and monitor the internal state of these components. This situation is further exacerbated for in-situ debugging and testing in which physical access to traditional debug and trace interfaces is unavailable, infe

APA, Harvard, Vancouver, ISO, and other styles

14

Lizarraga, Adrian, and Adrian Lizarraga. "Modeling and Optimization Frameworks for Runtime Adaptable Embedded Systems." Diss., The University of Arizona, 2016. http://hdl.handle.net/10150/620835.

Full text

Abstract:

The widespread adoption of embedded computing systems has resulted in the realization of numerous sensing, decision, and control applications with diverse application-specific requirements. However, such embedded systems applications are becoming increasingly difficult to design, simulate, and optimize due to the multitude of interdependent parameters that must be considered to achieve optimal, or near-optimal, performance that meets design constraints. This situation is further exacerbated for data-adaptable embedded systems (DAES) applications due to the dynamic characteristics of the deploy

APA, Harvard, Vancouver, ISO, and other styles

15

Li, Bo. "Modeling and Runtime Systems for Coordinated Power-Performance Management." Diss., Virginia Tech, 2019. http://hdl.handle.net/10919/87064.

Full text

Abstract:

Emergent systems in high-performance computing (HPC) expect maximal efficiency to achieve the goal of power budget under 20-40 megawatts for 1 exaflop set by the Department of Energy. To optimize efficiency, emergent systems provide multiple power-performance control techniques to throttle different system components and scale of concurrency. In this dissertation, we focus on three throttling techniques: CPU dynamic voltage and frequency scaling (DVFS), dynamic memory throttling (DMT), and dynamic concurrency throttling (DCT). We first conduct an empirical analysis of the performance and energ

APA, Harvard, Vancouver, ISO, and other styles

16

Jäkel, Tobias, Martin Weißbach, Kai Herrmann, Hannes Voigt, and Max Leuthäuser. "Position paper: Runtime Model for Role-based Software Systems." IEEE, 2016. https://tud.qucosa.de/id/qucosa%3A75302.

Full text

Abstract:

In the increasingly dynamic realities of today's software systems, it is no longer feasible to always expect human developers to react to changing environments and changing conditions immediately. Instead, software systems need to be self-aware and autonomously adapt their behavior according to their experiences gathered from their environment. Current research provides role-based modeling as a promising approach to handle the adaptivity and self-awareness within a software system. There are established role-based systems e.g., for application development, persistence, and so on. However, thes

APA, Harvard, Vancouver, ISO, and other styles

17

Reiff-Marganiec, Stephan. "Runtime resolution of feature interactions in evolving telecommunications systems." Thesis, University of Glasgow, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.392608.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Kabir, Sohag, I. Sorokos, K. Aslansefat, et al. "A Runtime Safety Analysis Concept for Open Adaptive Systems." Springer, 2019. http://hdl.handle.net/10454/17416.

Full text

Abstract:

No<br>In the automotive industry, modern cyber-physical systems feature cooperation and autonomy. Such systems share information to enable collaborative functions, allowing dynamic component integration and architecture reconfiguration. Given the safety-critical nature of the applications involved, an approach for addressing safety in the context of reconfiguration impacting functional and non-functional properties at runtime is needed. In this paper, we introduce a concept for runtime safety analysis and decision input for open adaptive systems. We combine static safety analysis and evidence

APA, Harvard, Vancouver, ISO, and other styles

19

Hedencrona, Daniel. "A Runtime Bounds-Checks Lister for SoftBoundCETS." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-238835.

Full text

Abstract:

Memory-safe execution of C programs has been well researched but the ability to find memory-safety violations before execution has often been overlooked. One approach for memory-safe C is SoftBoundCETS which infer some memory-accesses as statically safe and others become runtime-checked. One problem with this approach is that it is not obvious to the programmer which checks are runtime-checked and which are inferred as safe. This report analyses the approach taken by SoftBoundCETS by implementing a runtime bounds-checks lister for SoftBoundCETS.The resulting runtime bounds-checks-listing progr

APA, Harvard, Vancouver, ISO, and other styles

20

Preston, Richard Michael. "RADGIS - an improved architecture for runtime-extensible, distributed GIS applications." Thesis, Rhodes University, 2002. http://hdl.handle.net/10962/d1006497.

Full text

Abstract:

A number of GIS architectures and technologies have emerged recently to facilitate the visualisation and processing of geospatial data over the Web. The work presented in this dissertation builds on these efforts and undertakes to overcome some of the major problems with traditional GIS client architectures, including application bloat, lack of customisability, and lack of interoperability between GIS products. In this dissertation we describe how a new client-side GIS architecture was developed and implemented as a proof-of-concept application called RADGIS, which is based on open standards a

APA, Harvard, Vancouver, ISO, and other styles

21

Ujma, Mateusz. "On verification and controller synthesis for probabilistic systems at runtime." Thesis, University of Oxford, 2015. https://ora.ox.ac.uk/objects/uuid:9433e3ed-ad05-4f4e-8dbb-507a09283a02.

Full text

Abstract:

Probabilistic model checking is a technique employed for verifying the correctness of computer systems that exhibit probabilistic behaviour. A related technique is controller synthesis, which generates controllers that guarantee the correct behaviour of the system. Not all controllers can be generated offline, as the relevant information may only be available when the system is running, for example, the reliability of services may vary over time. In this thesis, we propose a framework based on controller synthesis for stochastic games at runtime. We model systems using stochastic two-player ga

APA, Harvard, Vancouver, ISO, and other styles

22

Zhang, Yeliang. "Physics Aware Programming Paradigm and Runtime Manager." Diss., The University of Arizona, 2007. http://hdl.handle.net/10150/195294.

Full text

Abstract:

The overarching goal of this dissertation research is to realize a virtual collaboratory for the investigation of large-scale scientific computing applications which generally experience different execution phases at runtime and each phase has different computational, communication and storage requirements as well as different physical characteristics. Consequently, an optimal solution or numerical scheme for one execution phase might not be appropriate for the next phase of the application execution. Choosing the ideal numerical algorithms and solutions for all application runtime phases rema

APA, Harvard, Vancouver, ISO, and other styles

23

Tian, Chun. "Assumption-Based Runtime Verification of Finite- and Infinite-State Systems." Doctoral thesis, Università degli studi di Trento, 2022. https://hdl.handle.net/11572/357167.

Full text

Abstract:

Runtime Verification (RV) is usually considered as a lightweight automatic verification technique for the dynamic analysis of systems, where a monitor observes executions produced by a system and analyzes its executions against a formal specification. If the monitor were synthesized, in addition to the monitoring specification, also from extra assumptions on the system behavior (typically described by a model as transition systems), then it may output more precise verdicts or even be predictive, meanwhile it may no longer be lightweight, since monitoring under assumptions has the same computat

APA, Harvard, Vancouver, ISO, and other styles

24

Hammacher, Clemens [Verfasser], and Andreas [Akademischer Betreuer] Zeller. "Efficient runtime systems for speculative parallelization / Clemens Hammacher ; Betreuer: Andreas Zeller." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2017. http://d-nb.info/1152094262/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Marples, David John. "Detection and resolution of feature interactions in telecommunications systems during runtime." Thesis, University of Strathclyde, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.366893.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Swords, Cameron. "A Unified Characterization of Runtime Verification Systems as Patterns of Communication." Thesis, Indiana University, 2019. http://pqdtopen.proquest.com/#viewpdf?dispub=13806256.

Full text

Abstract:

<p> Runtime verification, as a field, provides tools to describe how programs should behave during execution, allowing programmers to inspect and enforce properties about their code at runtime. This field has resulted in a wide variety of approaches to inspecting and ensuring correct behavior, from instrumenting individual values in order to verify global program behavior to writing ubiquitous predicates that are checked over the course of execution. Although each verification approach has its own merits, each has also historically required ground-up development of an entire framework to suppo

APA, Harvard, Vancouver, ISO, and other styles

27

Robinson, Daniel. "An integrated framework for ensuring runtime quality in service-oriented systems." Thesis, Lancaster University, 2009. http://eprints.lancs.ac.uk/53802/.

Full text

Abstract:

As a relatively new software model, there remain many challenges in realising a true service-oriented vision. The service-oriented systems which underpin modern business processes must be able to react to constantly changing environments and business requirements. The quality of a service-oriented system depends not only on the quality of service (QoS) provided by services, but on the interdependencies between services, resource constraints imposed by the runtime environment, and events such as network outages. It is difficult to anticipate the impact that many of these emergent factors will h

APA, Harvard, Vancouver, ISO, and other styles

28

Trichy, Ravi Vignesh. "Runtime Systems and Scheduling Support for High-End CPU-GPU Architectures." The Ohio State University, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=osu1338324367.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

FERRANDO, ANGELO. "An Unexpected Journey: Towards Runtime Verification of Multiagent Systems and Beyond." Doctoral thesis, Università degli studi di Genova, 2019. http://hdl.handle.net/11567/941698.

Full text

Abstract:

The Trace Expression formalism derives from works started in 2012 and is mainly used to specify and verify interaction protocols at runtime, but other applications have been devised. More specically, this thesis describes how to extend and apply such formalism in the engineering process of distributed articial intelligence systems (such as Multiagent systems). This thesis extends the state of the art through four dierent contributions: 1. Theoretical: the thesis extends the original formalism in order to represent also parametric and probabilistic specications (parametric trace express

APA, Harvard, Vancouver, ISO, and other styles

30

Dillon, Ian S. "Connotational Subtyping and Runtime Class Mutability in Ruby." Digital Commons @ East Tennessee State University, 2012. https://dc.etsu.edu/etd/1497.

Full text

Abstract:

Connotational subtyping is an approach to typing that allows an object's type to change dynamically, following changes to the object's internal state. This allows for a more precise representation of a problem domain with logical objects that have variable behavior. Two approaches to supporting connotational subtyping in the Ruby programming language were implemented: a language-level implementation using pure Ruby and a modification to the Ruby 1.8.7 interpreter. While neither implementation was wholly successful the language level implementation created complications with reflective language

APA, Harvard, Vancouver, ISO, and other styles

31

Wen, Yuzhong. "Replication of Concurrent Applications in a Shared Memory Multikernel." Thesis, Virginia Tech, 2016. http://hdl.handle.net/10919/71813.

Full text

Abstract:

State Machine Replication (SMR) has become the de-facto methodology of building a replication based fault-tolerance system. Current SMR systems usually have multiple machines involved, each of the machines in the SMR system acts as the replica of others. However having multiple machines leads to more cost to the infrastructure, in both hardware cost and power consumption. For tolerating non-critical CPU and memory failure that will not crash the entire machine, there is no need to have extra machines to do the job. As a result, intra-machine replication is a good fit for this scenario. Howev

APA, Harvard, Vancouver, ISO, and other styles

32

Lyerly, Robert Frantz. "Popcorn Linux: A Compiler and Runtime for Execution Migration Between Heterogeneous-ISA Architectures." Diss., Virginia Tech, 2019. http://hdl.handle.net/10919/100599.

Full text

Abstract:

In recent years there has been a proliferation of parallel and heterogeneous architectures. As chip designers have hit fundamental limits in traditional processor scaling, they have begun rethinking processor architecture from the ground up. In addition to creating new classes of processors, chip designers have revisited CPU microarchitecture in order to target different computing contexts. CPUs have been optimized for low-power smartphones and extended for high-performance computing in order to achieve better performance energy efficiency for heavy computational tasks. Although heterogeneity

APA, Harvard, Vancouver, ISO, and other styles

33

Däumler, Martin. "Real-time Code Generation in Virtualizing Runtime Environments." Doctoral thesis, Universitätsbibliothek Chemnitz, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-162075.

Full text

Abstract:

Modern general purpose programming languages like Java or C# provide a rich feature set and a higher degree of abstraction than conventional real-time programming languages like C/C++ or Ada. Applications developed with these modern languages are typically deployed via platform independent intermediate code. The intermediate code is typically executed by a virtualizing runtime environment. This allows for a high portability. Prominent examples are the Dalvik Virtual Machine of the Android operating system, the Java Virtual Machine as well as Microsoft .NET’s Common Language Runtime. The virtua

APA, Harvard, Vancouver, ISO, and other styles

34

Castillo, Villar Emilio. "Parallel architectures and runtime systems co-design for task-based programming models." Doctoral thesis, Universitat Politècnica de Catalunya, 2019. http://hdl.handle.net/10803/666783.

Full text

Abstract:

The increasing parallelism levels in modern computing systems has extolled the need for a holistic vision when designing multiprocessor architectures taking in account the needs of the programming models and applications. Nowadays, system design consists of several layers on top of each other from the architecture up to the application software. Although this design allows to do a separation of concerns where it is possible to independently change layers due to a well-known interface between them, it is hampering future systems design as the Law of Moore reaches to an end. Current performance

APA, Harvard, Vancouver, ISO, and other styles

35

Zhong, Christopher. "Modeling humans as peers and supervisors in computing systems through runtime models." Diss., Kansas State University, 2012. http://hdl.handle.net/2097/14047.

Full text

Abstract:

Doctor of Philosophy<br>Department of Computing and Information Sciences<br>Scott A. DeLoach<br>There is a growing demand for more effective integration of humans and computing systems, specifically in multiagent and multirobot systems. There are two aspects to consider in human integration: (1) the ability to control an arbitrary number of robots (particularly heterogeneous robots) and (2) integrating humans as peers in computing systems instead of being just users or supervisors. With traditional supervisory control of multirobot systems, the number of robots that a human can manage effecti

APA, Harvard, Vancouver, ISO, and other styles

36

Chen, Lin. "Process migration and runtime scheduling for parallel tasks in computational grids." Click to view the E-thesis via HKUTO, 2007. http://sunzi.lib.hku.hk/hkuto/record/B38574172.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Chen, Lin, and 陳琳. "Process migration and runtime scheduling for parallel tasks in computational grids." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2007. http://hub.hku.hk/bib/B38574172.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Bora, Prachi Champalal. "Runtime Algorithm Selection For Grid Environments: A Component Based Framework." Thesis, Virginia Tech, 2003. http://hdl.handle.net/10919/33823.

Full text

Abstract:

Grid environments are inherently heterogeneous. If the computational power provided by collaborations on the Grid is to be harnessed in the true sense, there is a need for applications that can automatically adapt to changes in the execution environment. The application writer should not be burdened with the job of choosing the right algorithm and implementation every time the resources on which the application runs are changed. A lot of research has been done in adapting applications to changing conditions. The existing systems do not address the issue of providing a unified interface to p

APA, Harvard, Vancouver, ISO, and other styles

39

Bora, Prachi. "Runtime Algorithm Selection For Grid Environments: A Component Based Framework." Thesis, Virginia Tech, 2003. http://hdl.handle.net/10919/33823.

Full text

Abstract:

Grid environments are inherently heterogeneous. If the computational power provided by collaborations on the Grid is to be harnessed in the true sense, there is a need for applications that can automatically adapt to changes in the execution environment. The application writer should not be burdened with the job of choosing the right algorithm and implementation every time the resources on which the application runs are changed. A lot of research has been done in adapting applications to changing conditions. The existing systems do not address the issue of providing a unified interface to

APA, Harvard, Vancouver, ISO, and other styles

40

Coskuner, Aydin Ibrahim. "A Novel Fault Tolerant Architecture On A Runtime Reconfigurable Fpga." Master's thesis, METU, 2006. http://etd.lib.metu.edu.tr/upload/12607849/index.pdf.

Full text

Abstract:

Due to their programmable nature, Field Programmable Gate Arrays (FPGAs) offer a good test environment for reconfigurable systems. FPGAs can be reconfigured during the operation with changing demands. This feature, known as Runtime Reconfiguration (RTR), can be used to speed-up computations and reduce system cost. Moreover, it can be used in a wide range of applications such as adaptable hardware, fault tolerant architectures. This thesis is mostly concentrated on the runtime reconfigurable architectures. Critical properties of runtime reconfigurable architectures are examined. As a case study

APA, Harvard, Vancouver, ISO, and other styles

41

Hutsel, Brian T. Kovaleski Scott D. "Runtime and jitter of a laser triggered gas switch." Diss., Columbia, Mo. : University of Missouri--Columbia, 2008. http://hdl.handle.net/10355/5783.

Full text

Abstract:

The entire thesis text is included in the research.pdf file; the official abstract appears in the short.pdf file; a non-technical public abstract appears in the public.pdf file. Title from PDF of title page (University of Missouri--Columbia, viewed on September 24, 2009). Thesis advisor: Dr. Scott Kovaleski. Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

42

Colin, Alexis. "De la collecte de trace à la prédiction du comportement d'applications parallèles." Electronic Thesis or Diss., Institut polytechnique de Paris, 2022. http://www.theses.fr/2022IPPAS020.

Full text

Abstract:

Les supports d'exécution sont couramment utilisés par les applications parallèles afin d'exploiter efficacement les ressources matérielles sous-jacentes. Un support d'exécution dissimule la complexité de la gestion du matériel et expose aux développeurs d'applications une interface de haut niveau. À cette fin, il prend des décisions en s'appuyant sur des heuristiques qui estiment le comportement futur de l'application. Nous proposons Pythia, une bibliothèque utilisable comme oracle capable de prédire le comportement futur d'une application afin que les supports d'exécutions puissent prendre de

APA, Harvard, Vancouver, ISO, and other styles

43

Jasharllari, Igli. "A comparison framework for the vehicular modeling languages on enabling pre-runtime timing analysis." Thesis, Mälardalens högskola, Inbyggda system, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-48848.

Full text

Abstract:

Handling the software complexity of modern vehicle functionalities has become very challenging due to their non-centralized nature and real-time requirements that they impose. These functionalities are usually developed as distributed real-time embedded systems composed of several nodes (Electronic Control Unit) and multiple communication protocols. Among many software development paradigms for these systems, the model-based approach excels mainly for two reasons. First, it handles the software complexity by separation of concerns through the use of models. Second, it ensures the timing predi

APA, Harvard, Vancouver, ISO, and other styles

44

Prell, Andreas [Verfasser], and Thomas [Akademischer Betreuer] Rauber. "Embracing Explicit Communication in Work-Stealing Runtime Systems / Andreas Prell ; Betreuer: Thomas Rauber." Bayreuth : Universität Bayreuth, 2016. http://d-nb.info/1115250302/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Mutanu, Leah. "A self-learning framework for validation of runtime adaptation in service-oriented systems." Thesis, Lancaster University, 2017. http://eprints.lancs.ac.uk/123618/.

Full text

Abstract:

Ensuring that service-oriented systems can adapt quickly and effectively to changes in service quality, business needs and their runtime environment is an increasingly important research problem. However, while considerable research has focused on developing runtime adaptation frameworks for service-oriented systems, there has been little work on assessing how effective the adaptations are. Effective adaptation ensures the system remains relevant in a changing environment. One way to address the problem is through validation. Validation allows us to assess how well a recommended adaptation add

APA, Harvard, Vancouver, ISO, and other styles

46

Naber, Jens [Verfasser], and Christian [Akademischer Betreuer] Becker. "Runtime reconfiguration of physical and virtual pervasive systems / Jens Naber ; Betreuer: Christian Becker." Mannheim : Universitätsbibliothek Mannheim, 2020. http://d-nb.info/120436527X/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Pfannemüller, Martin [Verfasser], and Christian [Akademischer Betreuer] Becker. "A model-based runtime environment for adapting communication systems / Martin Pfannemüller ; Betreuer: Christian Becker." Mannheim : Universitätsbibliothek Mannheim, 2021. http://d-nb.info/1230323023/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Lutz, Thibaut. "Enhancing productivity and performance portability of OpenCL applications on heterogeneous systems using runtime optimizations." Thesis, University of Edinburgh, 2015. http://hdl.handle.net/1842/15672.

Full text

Abstract:

Initially driven by a strong need for increased computational performance in science and engineering, heterogeneous systems have become ubiquitous and they are getting increasingly complex. The single processor era has been replaced with multi-core processors, which have quickly been surrounded by satellite devices aiming to increase the throughput of the entire system. These auxiliary devices, such as Graphics Processing Units, Field Programmable Gate Arrays or other specialized processors have very different architectures. This puts an enormous strain on programming models and software devel

APA, Harvard, Vancouver, ISO, and other styles

49

Martin, Edward, and Armando Baretto. "Converting from Gallons -- to Inches -- to Runtime Hours for Row Crop Drip Irrigation Systems." College of Agriculture and Life Sciences, University of Arizona (Tucson, AZ), 2007. http://hdl.handle.net/10150/147032.

Full text

Abstract:

4 pp.<br>Many growers in Arizona are switching from surface to drip irrigation. This change requires many changes in water management. One of the changes that growers are having the most difficulty with is the concept of applying gallons of water instead of inches. This paper helps growers make this conversion from inches to gallons and then back again. An accompanying EXCEL program, available on the web, will help growers determine run times and application amounts.

APA, Harvard, Vancouver, ISO, and other styles

50

Martin, Edward C., and Armando Barreto. "Converting from Gallons -- to Inches -- to Runtime Hours for Row Crop Drip Irrigation Systems." College of Agriculture and Life Sciences, University of Arizona (Tucson, AZ), 2011. http://hdl.handle.net/10150/239578.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!