Searched for: collection%3Air
(1 - 20 of 58)

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
ten Veen, Nick (author), Harkes, D.C. (author), Visser, Eelco (author)
Modern web applications are interactive. Reactive programming languages and libraries are the state-of-the-art approach for declaratively specifying these interactive applications. However, programs written with these approaches contain error-prone boilerplate code for efficiency reasons. In this paper we present PixieDust, a declarative user...
conference paper 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
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
March, G. (author), Visser, T. (author), Doornbos, E.N. (author), Iorfida, E. (author), van den IJssel, J.A.A. (author), Visser, P.N.A.M. (author)
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
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
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
Herrema, Herrema Floris (author), Treve, V (author), Desart, B (author), Curran, R. (author), Visser, H.G. (author)
Accidents on the runway triggered the development and implementation of mitigation strategies. Therefore, the airline industry is moving toward proactive risk management, which aims to identify and predict risk percursors and to mitigate risks before accidents occur. For certain predictions Machine Learning techniques can be used. Although many...
conference paper 2017
document
Vergu, V.A. (author), Visser, Eelco (author)
Grace is a dynamic object oriented programming language
designed to aid programming education. We present a formal
model of and give an operational semantics for its object
model and name resolution algorithm. Our main contributions
are a systematic model of Grace’s name resolution using
scope graphs, relating linguistic...
conference paper 2017
document
Harkes, D.C. (author), Visser, Eelco (author)
Derived values are values calculated from base values. They can be expressed with views in relational databases, or with expressions in incremental or reactive programming. However, relational views do not provide multiplicity bounds, and incremental and reactive programming require significant boilerplate code in order to encode bidirectional...
conference paper 2017
document
March, G. (author), Doornbos, E.N. (author), Visser, P.N.A.M. (author)
Since 2000, accelerometers on board of the CHAMP, GRACE, GOCE and Swarm satellites have provided highresolution thermosphere density data, improving knowledge on atmospheric dynamics and coupling processes in the thermosphere-ionosphere layer. Most of the research has focused on relative changes in density. Scale differences between datasets and...
conference paper 2017
document
Visser, T. (author), Doornbos, E.N. (author), de Visser, C.C. (author), Visser, P.N.A.M. (author)
Because of the highly accurate accelerometers, the GOCE mission has proven to be a unique source of thermosphere neutral density and cross-wind data. In the current methods, in which only the horizontal linear accelerations are used, the vertical winds cannot be obtained. In the algorithm proposed in this paper, angular accelerations derived...
conference paper 2017
document
Jiang, Bo (author), Ghaderi, M. (author), Bossche, A. (author), Visser, Jaco (author), Wolfenbuttel, R.F. (author)
Thermal impedance spectroscopy has been investigated as a non-destructive technique to determine the composition of ternary mixtures of biofuels. The principle of the thermal conductivity detector has been extended for measuring both the thermal conductivity and the thermal capacity of biofuel in the range between 1 to 100 Hz, using an AC...
conference paper 2017
document
Middelburg, L.M. (author), Ghaderi, M. (author), Bossche, A. (author), Bastemeijer, J. (author), de Graaf, G. (author), Wolfenbuttel, R.F. (author), Soltis, R.E. (author), Visser, Jaco (author)
A capacitive probe is generally used in a flex-fuel engine for measuring the ethanol content in biofuel. However, the water content in biofuel of high ethanol content cannot be disregarded or considered constant and the full composition measurement of ethanol, gasoline and water in biofuel is required. Electrical impedance spectroscopy with a...
conference paper 2017
document
de Souza Amorim, L.E. (author), Erdweg, S.T. (author), Wachsmuth, G.H. (author), Visser, Eelco (author)
Principled syntactic code completion enables developers to change source code by inserting code templates, thus increasing developer efficiency and supporting language exploration. However, existing code completion systems are ad-hoc and neither complete nor sound. They are not complete and only provide few code templates for selected...
conference paper 2016
document
Poulsen, C.B. (author), Neron, P.J.M. (author), Tolmach, Andrew (author), Visser, Eelco (author)
Semantic specifications do not make a systematic connection between the names and scopes in the static structure of a program and memory layout, and access during its execution. In this paper we introduce a systematic approach to the alignment of names in static semantics and memory in dynamic semantics, building on the scope graph framework...
conference paper 2016
document
Prasanth, V. (author), Scheele, Natalia (author), Visser, Erwin (author), Shekhar, A. (author), Chandra Mouli, G.R. (author), Bauer, P. (author), Silvester, S. (author)
This paper deals with a green energy highway in the Netherlands. Here, the development of electric mobility and self-driving cars is introduced. The ideas of wireless power integration with green energy technologies - solar and wind is considered. In case of wind energy, conventional turbines and bladeless vortex are considered as options....
conference paper 2016
document
Konat, G.D.P. (author), Erdweg, S.T. (author), Visser, Eelco (author)
It is common practice to bootstrap compilers of programming languages. By using the compiled language to implement the compiler, compiler developers can code in their own high-level language and gain a large-scale test case. In this paper, we investigate bootstrapping of compiler-compilers as they occur in language workbenches. Language...
conference paper 2016
document
Visser, T. (author), de Visser, C.C. (author), van Kampen, E. (author)
In recent research efforts the multivariate simplex spline has shown great promise in system identification applications. It has high approximation power, while its linearity in the parameters allows for computationally efficient estimation of the coefficients. In this paper the multivariate simplotope spline is derived from this spline, and...
conference paper 2016
Searched for: collection%3Air
(1 - 20 of 58)

Pages