Searched for: faculty%3A%22Electrical%255C%252BEngineering%252C%255C%252BMathematics%255C%252Band%255C%252BComputer%255C%252BScience%22
(1 - 20 of 444)
- document
-
Timmermans, R.A. (author)De faculteit Elektro-Wiskunde-Informatica (EWI) van de Technische Universiteit Delft bezit een unieke Elektrotechnisch Erfgoed collectie; in de kelders van de EWI- laagbouw bevinden zich zo’n 50.000 objecten, die een uiterst interessant beeld geven van de ontwikkelingen binnen het brede vakgebied van de elektrotechniek over de voorbije honderd...report 2022
- document
-
Astudillo, R. (author), Van Gijzen, M.B. (author)Discretization of (linearized) convection-diffusion-reaction problems yields a large and sparse non symmetric linear system of equations, Ax = b. (1) In this work, we compare the computational behavior of the Induced Dimension Reduction method (IDR(s)) [10], with other short-recurrences Krylov methods, specifically the Bi-Conjugate Gradient...report 2016
- document
-
Hermans, F. (author), Aivaloglou, E. (author)Recently, block-based programming languages like Alice, Scratch and Blockly have become popular tools for programming education. There is substantial research showing that block-based languages are suitable for early programming education. But can block-based programs be smelly too? And does that matter to learners? In this paper we explore the...report 2016
- document
-
Van Zwieten, J.S.B. (author), Sanderse, B. (author), Hendrix, M.H.V. (author), Vuik, C. (author), Henkes, R.A.W.M. (author)One-dimensional models for multiphase flow in pipelines are commonly discretised using first-order Finite Volume (FV) schemes, often combined with implicit time-integration methods. While robust, these methods introduce much numerical diffusion depending on the number of grid points. In this paper we propose a high-order, space-time...report 2015
- document
- Sonneveld, P. (author) report 2015
- document
-
Dintzner, N. (author), Van Deursen, A. (author), Pinzger, M. (author)Evolving a large scale, highly variable systems is a challenging task. For such a system, evolution operations often require to update consistently both their implementation and its feature model. In this context, the evolution of the feature model closely follows the evolution of the system. The purpose of this work is to show that fine-grained...report 2015
- document
-
Hermans, F. (author), Aivaloglou, E. (author), Jansen, B. (author)Spreadsheets are used heavily in many business domains around the world. They are easy to use and as such enable end-user programmers to and build and maintain all sorts of reports and analyses. In addition to using spreadsheets for modeling and calculation, spreadsheets are often also used for creating reports and dashboards: combining data...report 2015
- document
-
Coelho, R. (author), Almeida, L. (author), Gousios, G. (author), Van Deursen, A. (author)This paper reports on a study mining the exception stack traces included in 159,048 issues reported on Android projects hosted in GitHub (482 projects) and Google Code (157 projects). The goal of this study is to investigate whether stack trace information can reveal bug hazards related to exception handling code that may lead to a decrease in...report 2015
- document
-
Van Antwerpen, H. (author), Néron, P. (author), Tolmach, A. (author), Visser, E. (author), Wachsmuth, G. (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...report 2015
- document
-
Van Antwerpen, H. (author), Néron, P. (author), Tolmach, A. (author), Visser, E. (author), Wachsmuth, G. (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...report 2015
- document
-
Qiu, Y. (author), Van Gijzen, M.B. (author), Van Wingerden, J.W. (author), Verhaegen, M.H.G. (author), Vuik, C. (author)In this manuscript, we study preconditioning techniques for optimal in-domain control of the Navier-Stokes equation, where the control only acts on a few parts of the domain. Optimization and linearization of the optimal in-domain control problem results in a generalized linear saddle-point system. The Schur complement for the generalized saddle...report 2015
- document
-
Dintzner, N. (author)Despite a global recognition of the problem, and massive investment from researchers and practitioners, the evolution of complex software systems is still a major challenge for today’s architects and developers. In the context of product lines, or highly configurable systems, variability in the implementation and design makes many of the pre...report 2015
- document
-
Qiu, Y. (author), van Gijzen, M.B. (author), van Wingerden, J.W. (author), Verhaegen, M. (author), Vuik, C. (author)Multilevel sequentially semiseparable (MSSS) matrices form a class of structured matrices that have low-rank off-diagonal structure, which allows the matrix-matrix operations to be performed in linear computational complexity. MSSS preconditioners are computed by replacing the Schur complements in the block LU factorization of the global linear...report 2015
- document
-
Vergu, V. (author), Neron, P. (author), Visser, E. (author)The formal definition the 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...report 2015
- document
-
Voelter, M. (author), Van Deursen, A. (author), Kolb, B. (author), Eberle, S. (author)We report on an industrial case study on developing the embedded software for a smart meter using the C programming language and domain-specific extensions of C such as components, physical units, state machines, registers and interrupts. We find that the extensions help significantly with managing the complexity of the software. They improve...report 2015
- document
-
Zhao, J. (author), Vollebregt, E.A.H. (author), Oosterlee, C.W. (author)In this paper we extend the range of applicability of the boundary element method (BEM) for concentrated elastic contact problems by computing the influence coefficients (ICs) numerically. These ICs represent the Green's function of the problem, i.e. the surface deformation due to unit loads. For the half-space they are analytically available....report 2015
- document
-
Van Antwerpen, H. (author), Neron, P. (author), Tolmach, A. (author), Visser, E. (author), Wachsmuth, G. (author)We extend and combine two existing declarative formalisms, the scope graphs of Neron et al. and type constraint systems, to build a language-independent theory that can describe both name and type resolution for realistic languages with complex scope and typing rules. Unlike conventional static semantics presentations, our approach maintains a...report 2015
- document
-
Panichella, S. (author), Panichella, A. (author), Beller, M. (author), Zaidman, A.E. (author), Gall, H. (author)Automated test generation tools have been widely investigated with the goal of reducing the cost of testing activities. However, generated tests have been shown not to help developers in detecting and finding more bugs even though they reach higher structural coverage compared to manual testing. The main reason is that generated tests are...report 2015
- document
-
Astudillo, R. (author), Van Gijzen, M.B. (author)This paper discusses the solution of large-scale linear matrix equations using the Induced Dimension reduction method (IDR(s)). IDR(s) was originally presented to solve system of linear equations, and is based on the IDR(s) theorem. We generalize the IDR(s) theorem to solve linear problems in any finite-dimensional space. This generalization...report 2015
- document
-
Morales-España, G. (author), Davidson, M. (author), Ramírez-Elizondo, L. (author), De Weerdt, M.M. (author)This document is an online companion for the paper "Robust Unit Commitment with Dispatchable Wind: An LP Reformulation of the Second-stage".report 2015
Searched for: faculty%3A%22Electrical%255C%252BEngineering%252C%255C%252BMathematics%255C%252Band%255C%252BComputer%255C%252BScience%22
(1 - 20 of 444)