Searched for:
(21 - 40 of 451)

Pages

document
Van der Bent, Eduard (author), Hage, Jurriaan (author), Visser, Joost (author), Gousios, Giorgos (author)
Puppet is a declarative language for configuration management that has rapidly gained popularity in recent years. Numerous organizations now rely on Puppet code for deploying their software systems onto cloud infrastructures. In this paper we provide a definition of code quality for Puppet code and an automated technique for measuring and rating...
conference paper 2018
document
Ho Huu, V. (author), Hartjes, S. (author), Visser, H.G. (author), Curran, R. (author)
The multi-objective evolutionary algorithm based on decomposition (MOEA/D) has been recognized as a promising method for solving multi-objective optimization problems (MOPs), receiving a lot of attention from researchers in recent years. However, its performance in handling MOPs with complicated Pareto fronts (PFs) is still limited,...
journal article 2018
document
Poulsen, C.B. (author), Rouvoet, A.J. (author), Tolmach, Andrew (author), Krebbers, R.J. (author), Visser, Eelco (author)
A definitional interpreter defines the semantics of an object language in terms of the (well-known) semantics of a host language, enabling understanding and validation of the semantics through execution. Combining a definitional interpreter with a separate type system requires a separate type safety proof. An alternative approach, at least for...
journal article 2018
document
Visser, Mirjam (author), Schoormans, J.P.L. (author), Vogtländer, J.G. (author)
Although most people claim to prefer a more sustainable product, only a limited number of ‘green buyers’ act on their words at the moment of purchase. To find out how to get mainstream buyers to buy more sustainable products, we used data on 950 Western European buyers of 32 different vacuum cleaner models. The issue was why three out of four...
journal article 2018
document
van Antwerpen, H. (author), Poulsen, C.B. (author), Rouvoet, A.J. (author), Visser, Eelco (author)
Scope graphs are a promising generic framework to model the binding structures of programming languages, bridging formalization and implementation, supporting the definition of type checkers and the automation of type safety proofs. However, previous work on scope graphs has been limited to simple, nominal type systems. In this paper, we show...
journal article 2018
document
Dirkx, D. (author), Prochazka, Ivan (author), Bauer, Sven (author), Visser, P.N.A.M. (author), Noomen, R. (author), Gurvits, L. (author), Vermeersen, L.L.A. (author)
At present, tracking data for planetary missions largely consists of radio observables: range-rate (Doppler), range and angular position (VLBI/Δ DOR). Future planetary missions may use Interplanetary Laser Ranging (ILR) as a tracking observable. Two-way ILR will provide range data that are about 2 orders of magnitude more accurate than radio...
journal article 2018
document
Meeusen, M. (author), Visser, P. (author), Fernández Macía, L. (author), Hubin, A. (author), Terryn, H.A. (author), Mol, J.M.C. (author)
In this work, the study of the time-dependent behaviour of lithium carbonate based inhibitor technology for the active corrosion protection of aluminium alloy 2024-T3 is presented. Odd random phase electrochemical impedance spectroscopy (ORP-EIS) is selected as the electrochemical tool to study the corrosion protective properties of a model...
journal article 2018
document
Visser, T. (author), Doornbos, E.N. (author), de Visser, C.C. (author), Visser, P.N.A.M. (author), Fritsche, Bent (author)
journal article 2018
document
Visser, P. (author), Gonzalez Garcia, Y. (author), Mol, J.M.C. (author), Terryn, H.A. (author)
This study focuses on the elucidation of the formation mechanism of passive layers on AA2024-T3 during the exposure to alkaline lithium carbonate solutions in the presence of sodium chloride. Under controlled conditions, in an electrochemical cell, a protective layer was generated comprising an amorphous inner layer and a crystalline outer...
journal article 2018
document
Ho Huu, V. (author), Hartjes, S. (author), Visser, H.G. (author), Curran, R. (author)
Recently, a multi-objective evolutionary algorithm based on decomposition (MOEA/D) has emerged as a potential method for solving multi-objective optimization problems (MOPs) and attracted much attention from researchers. In MOEA/D, the MOPs are decomposed into a number of scalar optimization sub-problems, and these sub-problems are optimized...
conference paper 2018
document
Hartjes, S. (author), Visser, H.G. (author)
This paper discusses the development of a software suite that aims to optimize helicopter trajectories with respect to the noise impact on the ground. The software suite has been developed around an advanced gradient-based optimization algorithm based on optimal control theory. The helicopter trajectories are modeled using an eight-degree-of...
journal article 2018
document
Geertsma, R.D. (author), Visser, K. (author), Negenborn, R.R. (author)
Shipping urgently needs to reduce its impact on the environment, both due to CO<sub>2</sub>, NO<sub>x</sub> and particulate matter (PM) emissions and due to underwater noise. On the other hand, multifunction ships such as offshore support vessels, anchor handling and towing vessels, naval vessels and wind farm construction and support vessels...
journal article 2018
document
Denkers, J. (author), van Gool, Louis (author), Visser, Eelco (author)
We present a tool architecture that supports migrating custom domain-specific language (DSL) implementations to a language workbench. We demonstrate an implementation of this architecture for models in the domains of defining component interfaces (IDL) and modeling system behavior (OIL) which are developed and used at a digital printer...
conference paper 2018
document
Harkes, D.C. (author), van Chastelet, E. (author), Visser, Eelco (author)
To provide empirical evidence to what extent migration of business logic to an incremental computing language (ICL) is useful, we report on a case study on a learning management system. Our contribution is to analyze a real-life project, how migrating business logic to an ICL affects information system validatability, performance, and...
conference paper 2018
document
de Souza Amorim, L.E. (author), Erdweg, S.T. (author), Steindorfer, M.J. (author), Visser, Eelco (author)
In layout-sensitive languages, the indentation of an expression or statement can influence how a program is parsed. While some of these languages (e.g., Haskell and Python) have been widely adopted, there is little support for software language engineers in building tools for layout-sensitive languages. As a result, parsers, pretty-printers,...
conference paper 2018
document
Homulle, Harald (author), Visser, Stefan (author), Patra, B (author), Charbon, E.E.E. (author)
journal article 2018
document
Hartjes, S. (author), van Hellenberg Hubar, Marco (author), Visser, H.G. (author)
In this paper a tool is developed that optimizes the trajectories of multiple airliners that seek to join in formation to minimize overall fuel consumption or direct operating cost. The developed optimization framework relies on optimal control theory to solve the multiple-phase optimization problem associated to flight formation assembly. A...
journal article 2018
document
Visser, T. (author), March, G. (author)
other 2018
document
March, G. (author), Doornbos, E.N. (author), Visser, P.N.A.M. (author)
other 2018
document
Konat, G.D.P. (author), Erdweg, S.T. (author), Visser, Eelco (author)
Incremental build systems are essential for fast, reproducible software builds. Incremental build systems enable short feedback cycles when they capture dependencies precisely and selectively execute build tasks efficiently. A much overlooked feature of build systems is the expressiveness of the scripting language, which directly influences the...
conference paper 2018
Searched for:
(21 - 40 of 451)

Pages