Searched for: subject:"Software"
(1 - 20 of 197)

Pages

document
van Gulijk, C. (author), Zaitseva, E. (author)
Computational intelligence is rapidly becoming an essential part of reliability engineering. This book offers a wide spectrum of viewpoints on the merger of technologies. Leading scientists share their insights and progress on reliability engineering techniques, suitable mathematical methods, and practical applications. Thought-provoking ideas...
book 2021
document
van Gulijk, C. (author)
This work puts Computational Intelligence in Reliability Engineering in perspective within the larger framework of digitalization and business. The approach is to consider RECI solutions as business solutions in a wider enterprise architecture environment. Using that as a starting point four key components are discussed for successful...
bookPart 2021
document
van Neer, P. (author), Volker, A. (author), Berkhoff, A. (author), Schrama, T. (author), Akkerman, H. (author), van Breemen, A. (author), Peeters, L. (author), van der Steen, J.L. (author), Gelinck, G.H. (author)
Ultrasound based mid-air haptic feedback devices can produce tactile sensations at any time and position without restricting human motion. This is useful for augmented and virtual reality, feedback buttons and virtual user interfaces. The haptic feedback mechanism is caused by acoustic radiation force and streaming. Typical solutions to induce...
conference paper 2020
document
Sioutas, S. (author), Stuijk, S. (author), Basten, T. (author), Corporaal, H. (author), Somers, L. (author)
The Halide DSL and compiler have enabled high-performance code generation for image processing pipelines targeting heterogeneous architectures through the separation of algorithmic description and optimization schedule. However, automatic schedule generation is currently only possible for multi-core CPU architectures. As a result, expert...
conference paper 2020
document
Lathouwers, S. (author), Everts, M.H. (author), Huisman, M. (author)
String sanitizers are widely used functions for preventing injection attacks such as SQL injections and cross-site scripting (XSS). It is therefore crucial that the implementations of such string sanitizers are correct. We present a novel approach to reason about a sanitizer's correctness by automatically generating a model of the implementation...
conference paper 2020
document
Donati, F. (author), Aguilar-Hernandez, G.A. (author), Sigüenza-Sánchez, C.P. (author), de Koning, A. (author), Rodrigues, J.F.D. (author), Tukker, A. (author)
A circular economy is an industrial system that is restorative or regenerative by intention or design. During the last decade, the circular economy became an attractive paradigm to increase global welfare while minimizing the environmental impacts of economic activities. Although several studies concerning the potential benefits and drawbacks of...
article 2020
document
Bijlsma, T. (author), Buriachevskyi, A. (author), Frigerio, A. (author), Fu, Y. (author), Goossens, K. (author), Ors, A.O. (author), Van Der Perk, P.J. (author), Terechko, A. (author), Vermeulen, B. (author)
Autonomous vehicles use cyber-physical systems to provide comfort and safety to passengers. Design of safety mechanisms for such systems is hindered by the growing quantity and complexity of SoCs (System-on-a-Chip) and software stacks required for autonomous operation. Our study tackles two challenges: (1) fault handling in an autonomous driving...
conference paper 2020
document
de Vries, A. (author), Wieland, F. (author)
Om incidenten in hun wijk te melden kunnen burgers in de toekomst BART! gebruiken, een digitaal meldingsplatform waarmee je buren, gemeente en politie op de hoogte brengt. De techniek achter BART! (Burger Alert Real Time) is getest in een proeftuin in Den Haag. Nu is het zaak om het systeem ook bij andere gemeenten te gaan beproeven.
article 2020
document
Piattini, M. (author), Peterssen, G. (author), Pérez-Castillo, R. (author), Hevia, J.L. (author), Serrano, M.A. (author), Hernández, G. (author), García Rodríguez de Guzmán, I. (author), Paradela, C.A. (author), Polo, M. (author), Murina, E. (author), Jiménez, L. (author), Marqueño, J.C. (author), Gallego, R. (author), Tura, J. (author), Phillipson, F. (author), Murillo, J.M. (author)
This paper presents the Talavera Manifesto for quantum software engineering and programming. This manifesto collects some principles and commitments about the quantum software engineering and programming field, as well as some calls for action. This is the result of the discussion and different viewpoints of academia and industry practitioners...
conference paper 2020
document
Schoen, E.D. (author), Wopereis, S. (author)
BACKGROUND: Parallel intervention studies involving volunteers usually require a procedure to allocate the subjects to study-arms. Statistical models to evaluate the different outcomes of the study-arms will include study-arm as a factor along with any covariate that might affect the results. To ensure that the effects of the covariates are...
article 2020
document
Rangnau, T. (author), van Buijtenen, R. (author), Fransen, F. (author), Turkmen, F. (author)
Continuous Integration (CI) and Continuous Delivery (CD) have become a well-known practice in DevOps to ensure fast delivery of new features. This is achieved by automatically testing and releasing new software versions, e.g. multiple times per day. However, classical security management techniques cannot keep up with this quick Software...
conference paper 2020
document
Marko, N. (author), Vasenev, A. (author), Striecks, C. (author)
In the past several years, autonomous driving turned out tobe a target for many technical players. Automated driving requires newand advanced mechanisms to provide safe functionality and the increased communication makes automated vehicles more vulnerable to attacks. Security is already well-established in some domains, such as the IT sector,...
conference paper 2020
document
Cobos Mendez, R. (author), Oliveira Filho, J. (author), Dresscher, D. (author), Broenink, J. (author)
conference paper 2020
document
Chau, K.W. (author), Tang, J.M. (author), Oosterlee, C.W. (author)
article 2020
document
Jonk, R. (author), Voeten, J. (author), Geilen, M. (author), Basten, T. (author), Schiffelers, R. (author)
We introduce a technique to verify temporal properties expressed in MTL on Interval Message Sequence Charts (IMSC), a model based on UML2.0 MSC that captures the timed execution of component-based software systems. We accomplish this by encoding the IMSC and the property of interest in a constraint satisfaction problem, which is then solved with...
conference paper 2020
document
Wetzels, F. (author), van den Berg, J.L. (author), Bosman, J.W. (author), van der Mei, R. (author)
In service function chaining, data flows from a particular application or user travel along a pre-defined sequence of network functions. Appropriate service function chaining resource allocation is required to comply with the service level required by the application. In this paper, we introduce a dynamic priority assignment for flows that...
conference paper 2019
document
Nieuwenhuizen, R.P.J. (author), Dijk, J. (author), Schutte, K. (author)
Long-range imaging with visible or infrared observation systems is typically hampered by atmospheric turbulence. Software-based turbulence mitigation methods aim to stabilize and sharpen such recorded image sequences based on the image data only. Although successful restoration has been achieved on static scenes in the past, a significant...
article 2019
document
Eichstädt, S. (author), van der Waaij, B.D. (author), Ludwig, B. (author), Langius, E. (author)
Transparency of changes, automated testing of new developments against documented criteria, combination of developments from different sources and automated publication of validated results are key aspects of modern collaborative software engineering. Various infrastructures, guidelines and tools are available for continuous integration (CI) and...
conference paper 2019
document
Medina, R. (author), Valencia, J. (author), Stuijk, S. (author), Goswami, D. (author), Basten, T. (author)
Pipelined image-based control uses parallel instances of its image-processing algorithm in a pipelined fashion to improve the quality of control. A performance-oriented control design improves the controller settling time with each additional processing resource, which creates a resources-performance trade-off. In real-life applications, it is...
article 2019
document
Thomas, E.D.R. (author), Gabriel, A. (author), Niamut, O.A. (author), Dijkstra-Soudarissane, S.S. (author)
The current state of the art of video coding lacks specific tools to efficiently deal with ultra-high resolutions such as 8K video both at a hardware and software level. At the same time, the increase in video resolutions combined with a larger variety in display resolutions results in a need for spatial scalability at low computational...
conference paper 2019
Searched for: subject:"Software"
(1 - 20 of 197)

Pages