Searched for: +
(61 - 80 of 99)

Pages

List view
Grid view
document
Ho-Huu, V. (author), Hartjes, S. (author), Geijselaers, L.H. (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
Broekens, K.A. (author), Klop, Wimar (author), Moens, Thijs (author), Eschen, M. (author), Castro do Amaral, G. (author), Silverstri, Fabrizio (author), Visser, Martijn (author), Kaffa, Lauren (author), Saathof, R. (author)
For the next generation of very high throughput communication satellites, free-space optical (FSO) communication between ground stations and geostationary telecommunication satellites is a potential solution to overcome the limitations of RF links. To mitigate atmospheric turbulence effects, TNO proposes Adaptive Optics (AO) to apply uplink...
conference paper 2023
document
Peeters, P. (author), Heredia Gomez, M. (author), van Damme, M. (author), Visser, P.J. (author)
Within the frame work of the realisation of the ‘Sigmaplan’ for the river Schelde in Flanders (Belgium), a large-scale dike breaching experiment following overflow was held at Lillo (Antwerp) in 2012. The outcomes of the breach test serve to unveil the impact of a chosen breach growth model, to set application limits, to come up with guidelines...
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
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
Visser, Eelco (author), Wachsmuth, G.H. (author), Tolmach, Andrew (author), Neron, P.J.M. (author), Vergu, V.A. (author), Passalaqua Martins, A. (author), Konat, G.D.P. (author)
The realization of a language design requires multiple artifacts that redundantly encode the same information. This entails significant effort for language implementors, and often results in late detection of errors in language definitions. In this paper we present a proof-of-concept language designer's workbench that supports generation of IDEs...
conference paper 2014
document
Vergu, V.A. (author), Neron, P.J.M. (author), Visser, Eelco (author)
The formal semantics of a programming language and its implementation are typically separately defined, with the risk of divergence such that properties of the formal semantics are not properties of the implementation. In this paper, we present DynSem, a domain-specific language for the specification of the dynamic semantics of programming...
conference paper 2015
document
Van Der Lippe, Tim (author), Smith, Thomas (author), Pelsmaeker, Daniël (author), Visser, Eelco (author)
In this paper, we report on our experience in teaching a course on concepts of programming languages at TU Delft based on Krishnamurthi's PAPL book with the definitional interpreter approach using Scala as meta-language and using the WebLab learning management system. In particular, we discuss our experience with encoding of definitional...
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
Harkes, D.C. (author), Groenewegen, D.M. (author), Visser, Eelco (author)
Derived values are values calculated from base values. They can be expressed in object-oriented languages by means of getters calculating the derived value, and in relational or logic databases by means of (materialized) views. However, switching to a different calculation strategy (for example caching) in object-oriented programming requires...
conference paper 2016
document
van Antwerpen, H. (author), Neron, P.J.M. (author), Tolmach, Andrew (author), Visser, Eelco (author), Wachsmuth, G.H. (author)
In previous work, we introduced scope graphs as a formalism for describing program binding structure and performing name resolution in an AST-independent way. In this paper, we show how to use scope graphs to build static semantic analyzers. We use constraints extracted from the AST to specify facts about binding, typing, and initialization. We...
conference paper 2016
document
Middelburg, L.M. (author), Ghaderi, M. (author), Bossche, A. (author), Bastemeijer, J. (author), de Graaf, G. (author), Wolffenbuttel, R.F. (author), Soltis, Rick (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
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
Herrema, Floris Friso (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
Raemaekers, S.B.A. (author), van Deursen, A. (author), Visser, J. (author)
Backward compatibility is a major concern for any library developer. In this paper, we evaluate how stable a set of frequently used third-party libraries is in terms of method removals, implementation change, the ratio of change in old methods to change in new ones and the percentage of new methods in each snapshot. We provide a motivating...
conference paper 2012
document
Erdweg, S.T. (author), Vergu, V.A. (author), Mezini, Mira (author), Visser, Eelco (author)
A key problem in metaprogramming and specifically in generative programming is to guarantee that generated code is well-formed with respect to the context-free and context-sensitive constraints of the target language. We propose typesmart constructors as a dynamic approach to enforcing the well-formedness of generated code. A typesmart...
conference paper 2014
document
Vergu, V.A. (author), Haisma, M.A. (author), Visser, Eelco (author)
Grace is a dynamic object oriented programming language<br/>designed to aid programming education. We present a formal<br/>model of and give an operational semantics for its object<br/>model and name resolution algorithm. Our main contributions <br/>are a systematic model of Grace’s name resolution using<br/>scope graphs, relating linguistic...
conference paper 2017
document
Visser, Eelco (author)
Effectively applying linguistic abstraction to emerging domains of computation requires the ability to rapidly develop software languages. However, a software language is a complex software system in its own right and can take significant effort to design and implement. We are currently investigating a radical separation of concerns in language...
conference paper 2014
document
Bouwers, E.M. (author), van Deursen, A. (author), Visser, J (author)
conference paper 2014
document
Huijgens, H.K.M. (author), Spadini, D. (author), Stevens, Dick (author), Visser, Niels (author), van Deursen, A. (author)
Background: During the period of one year, ING developed an approach for software analytics within an environment of a large number of software engineering teams working in a Continuous Delivery as a Service setting. Goal: Our objective is to examine what factors helped and hindered the implementation of software analytics in such an environment...
conference paper 2018
Searched for: +
(61 - 80 of 99)

Pages

List view
Grid view