Results 31 to 40 of about 10,065,028 (360)
Strategic programming meets adaptive programming [PDF]
Proceedings of the 2nd international conference on Aspect-oriented software development, 2003 Strategic programming is a generic programming idiom for processing compound data such as terms or object structures. At the heart of the approach is the separation of two concerns: basic dataprocessing computations vs. traversal schemes. Actual traversals are composed by passing the former as arguments to the latter.
Lämmel, R., Visser, E., Visser, J.
openaire +2 more sources
A nonvolatile analog programmable voltage source using the VIPMOS EEPROM structure [PDF]
, 1993 A programmable voltage source using the vertical injection punchthrough based MOS (VIPMOS) EEPROM structure is presented. The circuit operates at a single 5-V supply and the output voltage is continuously available even during programming.
Hoen, Klaas +4 more
core +2 more sources
MODELLING OF TURBULENT WAKE FOR TWO WIND TURBINES
Научный вестник МГТУ ГА, 2018 The construction of several large wind farms (The Ulyanovsk region, the Republic of Adygea, the Kaliningrad region, the North of the Russian Federation) is planned on the territory of the Russian Federation in 2018–2020.
A. S. Kryuchkova, S. V. Strijhak
doaj +1 more source
Special Type Routing Problems in Plane Graphs
Mathematics, 2022 We considered routing problems for plane graphs to solve control problems of cutting machines in the industry. According to the cutting plan, we form its homeomorphic image in the form of a plane graph G.
Tatiana Makarovskikh, Anatoly Panyukov
doaj +1 more source
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability [PDF]
, 2018 Embedded software is growing fast in size and complexity, leading to intimate mixture of complex architectures and complex control. Consequently, software specification requires modeling both structures and behaviour of systems.
Antkiewicz, Michal +5 more
core +2 more sources
Program Synthesis for Program Analysis [PDF]
ACM Transactions on Programming Languages and Systems, 2018 In this article, we propose a unified framework for designing static analysers based on program synthesis . For this purpose, we identify a fragment of second-order logic with restricted quantification that is expressive enough to model numerous static analysis problems (e.g., safety proving,
Cristina David +3 more
openaire +4 more sources
An investigation of edge F-index on fuzzy graphs and application in molecular chemistry
Complex & Intelligent Systems, 2022 The molecular descriptors are a useful tool in the spectral graph, molecular chemistry and several fields of chemistry and mathematics. The edge F-index is proposed for fuzzy graphs (FGs) here. Bounds of this index are calculated for FGs. The FG has been
Sk Rabiul Islam, Madhumangal Pal
doaj +1 more source
Static analysis of function calls in Erlang [PDF]
e-Informatica Software Engineering Journal, 2013 Functions and their relations can affect numerous properties and metrics of a functional program. To identify and represent the functions and their calling connections, software analysers commonly apply semantic function analysis, which derives the ...
Dániel Horpácsi, Judit Kőszegi
doaj +1 more source
Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality [PDF]
, 2019 Context: Embedded Domain-Specific Languages (EDSLs) are a common and widely used approach to DSLs in various languages, including Haskell and Scala. There are two main implementation techniques for EDSLs: shallow embeddings and deep embeddings.
Oliveira, Bruno, Zhang, Weixin
core +2 more sources
Stochastic Integer Programming by Dynamic Programming [PDF]
Statistica Neerlandica, 1985 AbstractStochastic integer programming is a suitable tool for modeling hierarchical decision situations with combinatorial features. In continuation of our work on the design and analysis of heuristics for such problems, we now try to find optimal solutions.
B.J. Lageweg +4 more
openaire +5 more sources