Relevant bibliographies by topics / Runtime systems

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature 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 lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Runtime systems"

1

Kotselidis, Christos, James Clarkson, Andrey Rodchenko, Andy Nisbet, John Mawer, and Mikel Luján. "Heterogeneous Managed Runtime Systems." ACM SIGPLAN Notices 52, no. 7 (2017): 74–82. http://dx.doi.org/10.1145/3140607.3050764.

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

Al-Sayeh, Hani, Stefan Hagedorn, and Kai-Uwe Sattler. "A gray-box modeling methodology for runtime prediction of Apache Spark jobs." Distributed and Parallel Databases 38, no. 4 (2020): 819–39. http://dx.doi.org/10.1007/s10619-020-07286-y.

Full text
Abstract:
Abstract Apache Spark jobs are often characterized by processing huge data sets and, therefore, require runtimes in the range of minutes to hours. Thus, being able to predict the runtime of such jobs would be useful not only to know when the job will finish, but also for scheduling purposes, to estimate monetary costs for cloud deployment, or to determine an appropriate cluster configuration, such as the number of nodes. However, predicting Spark job runtimes is much more challenging than for standard database queries: cluster configuration and parameters have a significant performance impact
APA, Harvard, Vancouver, ISO, and other styles
3

Dong, Zhijiang, Yujian Fu, and Yue Fu. "Runtime Verification on Robotics Systems." International Journal of Robotics Applications and Technologies 3, no. 1 (2015): 23–40. http://dx.doi.org/10.4018/ijrat.2015010102.

Full text
Abstract:
Runtime verification is a technique for generating monitors from formal specification of expected behaviors for the underlying system. It can be applied to automatically evaluate system execution, either on-line or off-line, analyzing extracted execution traces; or it can be used online during operation, potentially steering the application back to a safety region if a property is violated. As a so-called light-weighted formal method, runtime verification bridges the gap between system design and implementation and shorten the distance of software quality assurance between the software testing
APA, Harvard, Vancouver, ISO, and other styles
4

Janicke, Helge, Andrew Nicholson, Stuart Webber, and Antonio Cau. "Runtime-Monitoring for Industrial Control Systems." Electronics 4, no. 4 (2015): 995–1017. http://dx.doi.org/10.3390/electronics4040995.

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

Schierman, John D., Michael D. DeVore, Nathan D. Richards, and Matthew A. Clark. "Runtime Assurance for Autonomous Aerospace Systems." Journal of Guidance, Control, and Dynamics 43, no. 12 (2020): 2205–17. http://dx.doi.org/10.2514/1.g004862.

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

Pinisetty, Srinivas, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, and Reinhard Von Hanxleden. "Runtime Enforcement of Cyber-Physical Systems." ACM Transactions on Embedded Computing Systems 16, no. 5s (2017): 1–25. http://dx.doi.org/10.1145/3126500.

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

Ji-Wei, Liu, and Mao Xin-Jun. "Towards Dynamic Evolution of Runtime Variability Based on Computational Reflection." International Journal of Software Engineering and Knowledge Engineering 28, no. 03 (2018): 259–85. http://dx.doi.org/10.1142/s0218194018500092.

Full text
Abstract:
Given the frequently changing nature of the user requirements and environments in software systems, runtime variability in today’s software systems should be capable of evolving during execution. Computational reflection is required to facilitate accessing and customizing runtime variability during this evolution process. However, realizing this computational reflection includes various practical complexities since the runtime variability is typically neither explicitly represented in software systems nor changeable during runtime. To address this problem, this paper proposes a software archit
APA, Harvard, Vancouver, ISO, and other styles
8

Siefke, Lennart, Volker Sommer, Björn Wudka, and Carsten Thomas. "Robotic Systems of Systems Based on a Decentralized Service-Oriented Architecture." Robotics 9, no. 4 (2020): 78. http://dx.doi.org/10.3390/robotics9040078.

Full text
Abstract:
Multi-robot systems are often static and pre-configured during the design time of their software. Emerging cooperation between unknown robots is still rare and limited. Such cooperation might be basic like sharing sensor data or complex like conjoined motion planning and acting. Robots should be able to detect other robots and their abilities during runtime. When cooperation seems to be possible and beneficial, it should be initiated autonomously. A centralized cloud control shall be avoided. Using software patterns belonging to service-oriented architectures, the robots are able to discover o
APA, Harvard, Vancouver, ISO, and other styles
9

Li, Qiuying, Minyan Lu, Tingyang Gu, and Yumei Wu. "Runtime Software Architecture-Based Reliability Prediction for Self-Adaptive Systems." Symmetry 14, no. 3 (2022): 589. http://dx.doi.org/10.3390/sym14030589.

Full text
Abstract:
Modern software systems need to autonomously adapt their behavior at runtime in order to maintain their utility in response to continuous environmental changes. Most studies on models at runtime focus on providing suitable techniques to manage the complexity of software at runtime but neglect reliability caused by adaptation activities. Therefore, adaptive behaviors may lead to a decrease in reliability, which may result in severe financial loss or life damage. Runtime software architecture (RSA) is an abstract of a running system, which describes the elements of the current system, the states
APA, Harvard, Vancouver, ISO, and other styles
10

Kruger, I. H., M. Meisinger, and M. Menarini. "Interaction-based Runtime Verification for Systems of Systems Integration." Journal of Logic and Computation 20, no. 3 (2008): 725–42. http://dx.doi.org/10.1093/logcom/exn079.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Runtime systems"

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
More sources

Books on the topic "Runtime systems"

1

Papp, Zoltan, and George Exarchakos, eds. Runtime Reconfiguration in Networked Embedded Systems. Springer Singapore, 2016. http://dx.doi.org/10.1007/978-981-10-0715-6.

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

Fumero, Juan, Athanasios Stratikopoulos, and Christos Kotselidis. Programming Heterogeneous Hardware via Managed Runtime Systems. Springer International Publishing, 2024. http://dx.doi.org/10.1007/978-3-031-49559-5.

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

Center, Goddard Space Flight, ed. AEOSS runtime manual for system analysis on Advanced Earth-Orbital Spacecraft Systems. National Aeronautics and Space Administration, Goddard Space Flight Center, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Institute for Computer Applications in Science and Engineering., ed. Runtime volume visualization for parallel CFD. Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Managed code rootkits: Hooking into runtime environments. Syngress, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Saddek, Bensalem, and Peled Doron 1962-, eds. Runtime verification: 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers. Springer, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Wisniewski, Lukasz. New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example. Springer Berlin Heidelberg, 2017. http://dx.doi.org/10.1007/978-3-662-54650-5.

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

Software, Stony Brook. Stony Brook Modula-2 language and Runtime Library: Reference. Stony Brook Software, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Lyons, Norman R. Runtime conversion and benchmarks for the FAMIS decision support system. Naval Postgraduate School, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ylies, Falcone, Finkbeiner Bernd, Havelund Klaus 1955-, et al., eds. Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Springer Berlin Heidelberg, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Runtime systems"

1

Yamagata, Yoriyuki, Cyrille Artho, Masami Hagiya, et al. "Runtime Monitoring for Concurrent Systems." In Runtime Verification. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-46982-9_24.

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

Yadegari, Babak, and Saumya Debray. "Control Dependencies in Interpretive Systems." In Runtime Verification. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-67531-2_19.

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

Geske, Maren, Malte Isberner, and Bernhard Steffen. "Rigorous Examination of Reactive Systems:." In Runtime Verification. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-23820-3_28.

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

Cassar, Ian, and Adrian Francalanza. "Runtime Adaptation for Actor Systems." In Runtime Verification. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-23820-3_3.

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

Basin, David, Matthieu Gras, Srđan Krstić, and Joshua Schneider. "Scalable Online Monitoring of Distributed Systems." In Runtime Verification. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-60508-7_11.

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

Wilcox, Cristina M., and Brian C. Williams. "Runtime Verification of Stochastic, Faulty Systems." In Runtime Verification. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16612-9_34.

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

Pike, Lee, Sebastian Niller, and Nis Wegmann. "Runtime Verification for Ultra-Critical Systems." In Runtime Verification. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-29860-8_23.

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

Bonakdarpour, Borzoo, and Sebastian Fischmeister. "Runtime Monitoring of Time-Sensitive Systems." In Runtime Verification. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-29860-8_3.

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

Forejt, Vojtěch, Marta Kwiatkowska, David Parker, Hongyang Qu, and Mateusz Ujma. "Incremental Runtime Verification of Probabilistic Systems." In Runtime Verification. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-35632-2_30.

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

Balakrishnan, Anand, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, and Georgios Fainekos. "PerceMon: Online Monitoring for Perception Systems." In Runtime Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-88494-9_18.

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

Conference papers on the topic "Runtime systems"

1

Larus, James R. "Abolish runtime systems." In the 2nd international conference. ACM Press, 2006. http://dx.doi.org/10.1145/1134760.1134761.

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

Wagle, Bibek, Mohammad Alaul Haque Monil, Kevin Huck, Allen D. Malony, Adrian Serio, and Hartmut Kaiser. "Runtime Adaptive Task Inlining on Asynchronous Multitasking Runtime Systems." In ICPP 2019: 48th International Conference on Parallel Processing. ACM, 2019. http://dx.doi.org/10.1145/3337821.3337915.

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

Kotselidis, Christos, James Clarkson, Andrey Rodchenko, Andy Nisbet, John Mawer, and Mikel Luján. "Heterogeneous Managed Runtime Systems." In VEE '17: 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. ACM, 2017. http://dx.doi.org/10.1145/3050748.3050764.

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

Hirzel, Martin. "Session details: Runtime systems." In SPLASH '14: Conference on Systems, Programming, and Applications: Software for Humanity. ACM, 2014. http://dx.doi.org/10.1145/3255709.

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

Iftode, Liviu. "Session details: Runtime systems." In PPoPP08: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. ACM, 2008. http://dx.doi.org/10.1145/3255511.

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

Zhu, Haitao, Matthew B. Dwyer, and Steve Goddard. "Predictable Runtime Monitoring." In 2009 21st Euromicro Conference on Real-Time Systems (ECRTS). IEEE, 2009. http://dx.doi.org/10.1109/ecrts.2009.23.

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

"1.3 Architecture & runtime systems." In 2014 International Conference on Field-Programmable Technology (FPT). IEEE, 2014. http://dx.doi.org/10.1109/fpt.2014.7082756.

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

Hale, Kyle C., Conor Hetland, and Peter A. Dinda. "Automatic Hybridization of Runtime Systems." In HPDC'16: The 25th International Symposium on High-Performance Parallel and Distributed Computing. ACM, 2016. http://dx.doi.org/10.1145/2907294.2907309.

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

Li, Du, and Richard R. Muntz. "Runtime dynamics in collaborative systems." In the international ACM SIGGROUP conference. ACM Press, 1999. http://dx.doi.org/10.1145/320297.320337.

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

Wilcox, Cristina, and Brian Williams. "Runtime Verification of Stochastic Systems." In AIAA Infotech@Aerospace 2010. American Institute of Aeronautics and Astronautics, 2010. http://dx.doi.org/10.2514/6.2010-3529.

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

Reports on the topic "Runtime systems"

1

Sarkar, Vivek, Zoran Budimlic, and Milind Kulkani. 2014 Runtime Systems Summit. Runtime Systems Report. Office of Scientific and Technical Information (OSTI), 2016. http://dx.doi.org/10.2172/1341724.

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

Chatterjee, Sanjay. Runtime Systems for Extreme Scale Platforms. Defense Technical Information Center, 2013. http://dx.doi.org/10.21236/ad1000607.

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

Madsen, Curtis, Tian Ma, Dipayan Mukherjee, and Gul Agha. Runtime Systems for Energy Efficiency in Advanced Computing Systems. Office of Scientific and Technical Information (OSTI), 2022. http://dx.doi.org/10.2172/1888152.

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

Beckman, Pete, Ron Brightwell, Maya Gokhale, et al. Exascale Operating Systems and Runtime Software Report. Office of Scientific and Technical Information (OSTI), 2012. http://dx.doi.org/10.2172/1471119.

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

Sterling, Thomas. A Framework for Adaptable Operating and Runtime Systems. Office of Scientific and Technical Information (OSTI), 2014. http://dx.doi.org/10.2172/1121873.

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

Schierman, John D., Michael D. DeVore, Nathan D. Richards, et al. Runtime Assurance Framework Development for Highly Adaptive Flight Control Systems. Defense Technical Information Center, 2015. http://dx.doi.org/10.21236/ad1010277.

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

Bridges, Patrick G. Framework for Adaptable Operating and Runtime Systems: Final Project Report. Office of Scientific and Technical Information (OSTI), 2012. http://dx.doi.org/10.2172/1054343.

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

Moreira, Jose. HPC Colony II: FAST_OS II: Operating Systems and Runtime Systems at Extreme Scale. Office of Scientific and Technical Information (OSTI), 2013. http://dx.doi.org/10.2172/1214793.

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

Choudhary, Alok. Active Storage with Analytics Capabilities and I/O Runtime System for Petascale Systems. Office of Scientific and Technical Information (OSTI), 2015. http://dx.doi.org/10.2172/1172904.

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

Gao, Guang, Benoit Meister, David Padua, and Andres Marquez. Final Project Report, DynAX Innovations in Programming Models, Compilers and Runtime Systems for Dynamic Adaptive Event Driven Execution Models. Office of Scientific and Technical Information (OSTI), 2015. http://dx.doi.org/10.2172/1238249.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Runtime systems' for particular source types:
Journal articles Dissertations / Theses Books
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!

To the bibliography