Log in

Relevant bibliographies by topics / DSLs / Journal articles

To see the other types of publications on this topic, follow the link: DSLs.

Journal articles on the topic 'DSLs'

Author: Grafiati

Published: 4 June 2021

Last updated: 14 March 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'DSLs.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Cioffi, John M., Kenneth J. Kerpez, Chan Soo Hwang, and Ioannis Kanellakopoulos. "Terabit DSLs." IEEE Communications Magazine 56, no. 11 (November 2018): 152–59. http://dx.doi.org/10.1109/mcom.2018.1800597.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Jones, Will, Tony Field, and Tristan Allwood. "Deconstraining DSLs." ACM SIGPLAN Notices 47, no. 9 (October 15, 2012): 299–310. http://dx.doi.org/10.1145/2398856.2364571.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Harnoš, Patrik, and Ľubomír Dedera. "Analysis of Current Trends in the Development of DSLs and the Possibility of Using them in the Field of Information Security." Science & Military 16, no. 2 (2021): 15–27. http://dx.doi.org/10.52651/sam.a.2021.2.15-27.

Full text

Abstract:

Use of an appropriate DSL can significantly reduce development time. This is due to the fact that DSLs are limited to the use of terms relating to the explicit domain, which makes them much easier for programmers to understand and learn. Despite these and other advantages of DSLs over GPLs, programmers will only exceptionally turn to DSLs in development process. Therefore, in this article, we will look closer on what DSLs are, when it is appropriate to use them in a project and when not. In the last part of this article, we will focus on the possibilities of using DSLs in the field of information security.

APA, Harvard, Vancouver, ISO, and other styles

4

Дали, Ян, Yang Dali, Чжан Теминь, Zhang Tiemin, Ван Цзихун, Wang Jihong, У. Цзяньцин, et al. "Characteristics of double sodium layer over Haikou, China (20.0° N, 110.1° E)." Solar-Terrestrial Physics 5, no. 2 (June 28, 2019): 28–32. http://dx.doi.org/10.12737/stp-52201904.

Full text

Abstract:

We study the property of double sodium layer structures (DSLs) in the mesosphere and lower thermosphere (MLT) by a lidar at the low-latitude location of Haikou (20.0° N, 110.1° E), China. From April 2010 to December 2013, 21 DSLs were observed within a total of 377 observation days. DSLs were recorded at middle latitudes of Beijing and Wuhan, China, but were rarely observed at low latitudes. We analyze and discuss characteristics of DSLs such as time of occurrence, peak altitude, FWHM, duration time, etc. At the same time, the critical frequency foEs and the virtual height h'Es of the sporadic E layer Es were observed by an ionosonde over Danzhou (19.0° N, 109.3° E). We discuss such their characteristics as differences of time, differences of altitude compared to DSLs. We used an Nd:YAG laser pumped dye laser to generate the probing beam. The wavelength of the dye laser was set to 589 nm by a sodium fluorescence cell. The backscattered fluorescence photons from the sodium layer were collected by a telescope with the Φ1000 mm primary mirror.

APA, Harvard, Vancouver, ISO, and other styles

5

Дали, Ян, Yang Dali, Чжан Теминь, Zhang Tiemin, Ван Цзихун, Wang Jihong, У. Цзяньцин, et al. "Characteristics of double sodium layer over Haikou, China (20.0° N, 110.1° E)." Solnechno-Zemnaya Fizika 5, no. 2 (June 28, 2019): 30–34. http://dx.doi.org/10.12737/szf-52201904.

Full text

Abstract:

We study the property of double sodium layer structures (DSLs) in the mesosphere and lower thermosphere (MLT) by a lidar at the low-latitude location of Haikou (20.0° N, 110.1° E), China. From April 2010 to December 2013, 21 DSLs were observed within a total of 377 observation days. DSLs were recorded at middle latitudes of Beijing and Wuhan, China, but were rarely observed at low latitudes. We analyze and discuss characteristics of DSLs such as time of occurrence, peak altitude, FWHM, duration time, etc. At the same time, the critical frequency foEs and the virtual height h'Es of the sporadic E layer Es were observed by an ionosonde over Danzhou (19.0° N, 109.3° E). We discuss such their characteristics as differences of time, differences of altitude compared to DSLs. We used an Nd:YAG laser pumped dye laser to generate the probing beam. The wavelength of the dye laser was set to 589 nm by a sodium fluorescence cell. The backscattered fluorescence photons from the sodium layer were collected by a telescope with the Φ1000 mm primary mirror.

APA, Harvard, Vancouver, ISO, and other styles

6

Burd, Brenda J., and Richard E. Thomson. "Seasonal patterns in deep acoustic backscatter layers near vent plumes in the northeastern Pacific Ocean." FACETS 4, no. 1 (June 1, 2019): 183–209. http://dx.doi.org/10.1139/facets-2018-0027.

Full text

Abstract:

We used moored 75 kHz acoustic Doppler current profilers (ADCPs) to examine seasonal cycles in zooplankton deep scattering layers (DSLs) observed below 1300 m depth at Endeavour Ridge hydrothermal vents. DSLs are present year-round in the lower water column near vent plumes. Temporal variations suggest passive, flow-induced displacements superimposed on migratory movements. Although the strongest DSLs are shallower than the neutrally buoyant plumes (1900–2100 m), anomalies also occur at and below plume depth. Upward movement from plume depth in the main DSL is evident in late summer/fall, resulting in shallower DSLs in winter, consistent with the timing of adult diapause/reproduction in upper-ocean migratory copepods. Movement from the upper ocean to plume depth coincides with pre-adult migration to greater depths in spring. Synchronous 20–40 d cycles in DSLs may account for patchiness in space and time of above-plume zooplankton layers observed in summer during previous net-sampling surveys, and suggests lateral and vertical migratory movements to counter current drift away from plume-derived food sources. Persistent near-bottom DSLs move vertically between the spreading plume and seafloor. Historical net data suggests that these are deep, resident fauna. Unlike upper ocean fauna, they seem to be advected considerable distances from the ridge axis, where they are evident as remnant scattering layers.

APA, Harvard, Vancouver, ISO, and other styles

7

Li, Hongyu, Yi Luo, Lin Sun, Xiangdong Li, Changkun Ma, Xiaolei Wang, Ting Jiang, and Haoyang Zhu. "Modelling the artificial forest (<i>Robinia pseudoacacia</i> L.) root–soil water interactions in the Loess Plateau, China." Hydrology and Earth System Sciences 26, no. 1 (January 4, 2022): 17–34. http://dx.doi.org/10.5194/hess-26-17-2022.

Full text

Abstract:

Abstract. Plant root–soil water interactions are fundamental to vegetation–water relationships. Soil water availability and distribution impact the temporal–spatial dynamics of roots and vice versa. In the Loess Plateau (LP) of China, where semi-arid and arid climates prevail and deep loess soil dominates, drying soil layers (DSLs) have been extensively reported in artificial forestland. While the underlying mechanisms that cause DSLs remain unclear, they hypothetically involve root–soil water interactions. Although available root growth models are weak with respect to simulating the rooting depth, this study addresses the hypothesis of the involvement of root–soil water interactions in DSLs using a root growth model that simulates both the dynamic rooting depth and fine-root distribution, coupled with soil water, based on cost–benefit optimization. Evaluation of field data from an artificial black locust (Robinia pseudoacacia L.) forest site in the southern LP positively proves the model's performance. Further, a long-term simulation, forced by a 50-year climatic data series with varying precipitation, was performed to examine the DSLs. The results demonstrate that incorporating the dynamic rooting depth into the current root growth models is necessary to reproduce soil drying processes. The simulations revealed that the upper boundary of the DSLs fluctuates strongly with infiltration events, whereas the lower boundary extends successively with increasing rooting depth. Most infiltration was intercepted by the top 2.0 m layer, which was the most active zone of infiltration and root water uptake. Below this, the percentages of fine roots (5.0 %) and water uptake (6.2 %) were small but caused a persistently negative water balance and consequent DSLs. Therefore, the proposed root–water interaction approach succeeded in revealing the intrinsic properties of DSLs; their persistent extension and the lack of an opportunity for recovery from the drying state may adversely affect the implementation of artificial afforestation in this region as well as in other regions with similar climates and soils.

APA, Harvard, Vancouver, ISO, and other styles

8

Men, Bo, Xiao Song Li, and Xin Yuan Ou. "Stabilization for a Class of Discrete-Time Switched Linear Singular Systems." Key Engineering Materials 480-481 (June 2011): 1406–11. http://dx.doi.org/10.4028/www.scientific.net/kem.480-481.1406.

Full text

Abstract:

In this paper, the stabilization problem is studied by using multiple Lyapunov function techniques for a class of discrete-time switched linear singular (DSLS) systems. The existing criteria of stability for continuous-time switched singular systems are extended into DSLS systems. Then, a hybrid switching law is designed based on a partition of state space by using S-procedure method.

APA, Harvard, Vancouver, ISO, and other styles

9

Rahman, S. M. Lutfor, Eiji Nawata, and Tetsuo Sakuratani. "276 Effects of Water Stress on Super Oxide Dismutase (SOD) and Water Content of Tomato Cultivars at Different Plant Ages." HortScience 34, no. 3 (June 1999): 490A—490. http://dx.doi.org/10.21273/hortsci.34.3.490a.

Full text

Abstract:

Effects of water stress at different plant ages on SOD activities were studied in two tomato cultivars. Water stress treatment decreased the leaf water potential in all stages, but reduction of leaf water potential was more rapid and pronounced in KF than TM at all DSLs (days of seedlings). After withdrawal of water stress treatment, stressed plants of TM increased leaf water potential to the values of control level in all DSLs, but in KF, leaf water potential of stressed plants were much lower than that of control plants. Effects of water stress on relative water content (RWC) of leaves at 20 DSL showed a similar tendency to that on leaf water potential. The SOD activities in both cultivars showed significant increase by water stress treatment at all DSLs, but the increase of SOD by water stress was larger in TM than in KF. This tendency was observed at all DSLs. The results may indicate that SOD activities play an important role in drought tolerance of tomato at various plant ages and suggest a possible use of SOD activities as a criterion for tomato drought tolerance.

APA, Harvard, Vancouver, ISO, and other styles

10

Serrano, Alejandro, and Jurriaan Hage. "A compiler architecture for domain-specific type error diagnosis." Open Computer Science 9, no. 1 (February 14, 2019): 33–51. http://dx.doi.org/10.1515/comp-2019-0002.

Full text

Abstract:

Abstract Domain-specific languages (DSLs) permeate current programming practices. An important kind of DSLs includes those developed and integrated within a host language, which we call embedded or internal DSLs. Unfortunately, embedded DSLs usually fall short on domain-specific error diagnosis, that is, they do not give control to DSL authors over how errors are reported to the programmer. As a consequence, implementation details of the DSL leak through in error messages, and programmers need to understand the internals of the DSL implementation to fix their code in a productive way. This paper addresses the challenge of building a compiler with integrated support for domain-specific error diagnosis. We assume that the type system is described using a constraint-based approach, and constraint solving is specified using rewrite rules. Domain information can then be injected at constraint gathering time via type rules, during constraint solving via specialized rules and axioms, and finally at blaming and reparation time via transformations. Furthermore, we define error contexts as a way to control the order in which solving and blaming proceeds. We engineer domain-specific error diagnosis in such a way that the compiler can also reuse the techniques for improving general error diagnosis.

APA, Harvard, Vancouver, ISO, and other styles

11

Leroy, Dorian, Pierre Jeanjean, Erwan Bousse, Manuel Wimmer, and Benoit Combemale. "Runtime Monitoring for Executable DSLs." Journal of Object Technology 19, no. 2 (2020): 6:1. http://dx.doi.org/10.5381/jot.2020.19.2.a6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Bousse, Erwan, Dorian Leroy, Benoit Combemale, Manuel Wimmer, and Benoit Baudry. "Omniscient debugging for executable DSLs." Journal of Systems and Software 137 (March 2018): 261–88. http://dx.doi.org/10.1016/j.jss.2017.11.025.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Leroy, Dorian, Erwan Bousse, Manuel Wimmer, Tanja Mayerhofer, Benoit Combemale, and Wieland Schwinger. "Behavioral interfaces for executable DSLs." Software and Systems Modeling 19, no. 4 (April 23, 2020): 1015–43. http://dx.doi.org/10.1007/s10270-020-00798-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Luenam, Suriya, Poonsak Koonalinthip, and Arkaphat Kosiyatrakul. "A biomechanical comparison of different tying techniques of a double-stranded looped suture." Journal of Orthopaedic Surgery 27, no. 3 (September 1, 2019): 230949901988830. http://dx.doi.org/10.1177/2309499019888307.

Full text

Abstract:

Purpose: This study aims to assess the biomechanical performance of different tying techniques of a double-stranded looped suture (DSLS). Methods: Loop and knot security of DSLS tying techniques (nice knot (NK), modified nice knot (MNK), double-twist knot (DTK), and double-barrel knot (DBK)) were compared. The square knot of DSLS (SKD) and the square knot of single-stranded suture (SKS) had been used as references. Twenty-four loops of each configuration were created using No. 2 Fiberwire (Arthrex, Naples, Florida, USA) and tested with a material testing machine. Samples were loaded with 10 N preloads for loop security assessment. Knot security was subsequently evaluated. Twelve loops of each knot were loaded to failure. The rest were subjected to cyclic load testing and the elongation at the 50th and 1000th cycles were measured. Knot bulkiness was determined by measuring knot height before testing. Data were compared with analysis of variance and post hoc tests. Statistical significance was p < 0.05. Results: All knots showed no statistically significant difference in displacement with preload. The load-to-failure was highest in NK, followed by MNK, DTK, DBK, SKD, and SKS. The cyclic loading test at the 50th cycle and the 1000th cycle demonstrated that NK has significantly less displacement than the others except MNK. DTK provided a minimal average knot height followed by NK, SKS, DBK, MNK, and SKD. Conclusion: The different tying techniques in DSLS provided the similar loop security but different knot security and knot bulkiness. NK and MNK are biomechanically superior to the other knots, whereas DTK is the least bulky. The findings in the present study may help set the guide for the surgeons to select the tying technique of DSLS to best suit their requirement.

APA, Harvard, Vancouver, ISO, and other styles

15

Sun, Zequan, Lishuai Jiang, Jinquan Jiang, Xingyu Wu, Naser Golsanami, Wanpeng Huang, Peipeng Zhang, Zhongtao Niu, and Xiaoyi He. "Parametric Study on the Ground Control Effects of Rock Bolt Parameters under Dynamic and Static Coupling Loads." Advances in Civil Engineering 2020 (July 11, 2020): 1–12. http://dx.doi.org/10.1155/2020/5247932.

Full text

Abstract:

Dynamic and static coupling loads (DSLs) are one of the most common stress environments in underground engineering. As the depth of a roadway increases over the life of a mine, the static load of the ground stress field increase multiplies, and the cyclic operation at the working face releases a large amount of dynamic energy. Therefore, deep roadways easily induce dynamic disasters during production. In this paper, a deep roadway numerical model was built with FLAC3D to test the deep roadway under DSLs and was simulated with 16 different support designs. The ground stability in each support condition was examined and compared in terms of the ground deformation and scope of failure. The underlying support mechanism was further analyzed with numerical modeling in view of the deformation in the surrounding rock mass induced by variations in the support parameters. The results show that shortening the bolt spacing is an effective measure to control the deformation of surrounding rock whatever DSLs or static load. Under static load, the larger the anchoring length is, the more stable the surrounding rock is. Under DSLs, end grouting length (S = 600 mm) and full grouting length (S = 1800 mm) can effectively control the deformation of surrounding rocks and enhance the stability of surrounding rocks. The results contribute to the design of supports in the field of underground coal mines and provide a basis for determining the reasonable support scheme for roadways.

APA, Harvard, Vancouver, ISO, and other styles

16

Ramos-Díaz, J. Guadalupe, Isela Navarro, Josep Silva, and Gustavo Arroyo. "Defining DSL design principles for enhancing the requirements elicitation process." Acta Universitaria 22 (March 1, 2012): 126–33. http://dx.doi.org/10.15174/au.2012.352.

Full text

Abstract:

Requirements elicitation is concerned with learning and understanding the needs of users w.r.t. a new software development. Frequently the methods employed for requirements elicitation are adapted from areas like social sciences that do not include executable (prototype based on) feedback. As a consequence, it is relatively common to discover that the first release does not fit the requirements defined at the beginning of the project. Using domain-specific languages (DSLs) as an auxiliary tool for requirements elicitation is a commonly well accepted idea. Unfortunately, there are few works in the literature devoted to the definition of design principles for DSLs to be experienced in the frameworks for DSL developing such as ANTLR, Ruby, and Curry. We propose design principles for the DSL development (regardless of paradigm) which are sufficient to model the domain in a requirements phase. Further more we enunciate a new profile for the requirements analyst and a set of elicitation steps. The use of DSLs not only giveus an immediate feedback with the stake holders; it also allows us to produce part of the real code.

APA, Harvard, Vancouver, ISO, and other styles

17

HAGE, JURRIAAN. "Bookreview JFP: Domain-Specific Languages by Martin Fowler The Addison Wesley Signature Series." Journal of Functional Programming 22, no. 3 (May 2012): 375–77. http://dx.doi.org/10.1017/s0956796812000123.

Full text

Abstract:

My main reason for wanting to read this book was to find out what a well-known publicist from the world of OO would have to say about the state of the art of domain specific languages (DSLs), in particular when it comes to type error feedback, functional programming, and the combination. As most readers will be aware, languages like Scheme and Haskell are very well suited to embed DSLs in: Scheme can be considered a core language to which new language facilities can be easily added by means of hygienic syntax macro's (Abelson et al. 1998), and there are so many papers on embedded DSLs in Haskell (Hudak, 1998), that any realistic selection would aggravate more people than I would please. Great was my disappointment when I read on page XXV that these topics were not discussed at all in the book. Although I can imagine that Fowler does not feel comfortable writing about subjects he is not sufficiently at home with, the question does arise whether the title of this book is sufficiently covered by its contents.

APA, Harvard, Vancouver, ISO, and other styles

18

Rompf, Tiark, Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Hassan Chafi, Martin Odersky, and Kunle Olukotun. "Building-Blocks for Performance Oriented DSLs." Electronic Proceedings in Theoretical Computer Science 66 (September 1, 2011): 93–117. http://dx.doi.org/10.4204/eptcs.66.5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Reiche, Oliver, Christof Kobylko, Frank Hannig, and Jürgen Teich. "Auto-vectorization for image processing DSLs." ACM SIGPLAN Notices 52, no. 5 (September 14, 2017): 21–30. http://dx.doi.org/10.1145/3140582.3081039.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Svensson, Bo Joel, Mary Sheeran, and Ryan R. Newton. "Design exploration through code-generating DSLs." Communications of the ACM 57, no. 6 (June 2014): 56–63. http://dx.doi.org/10.1145/2605685.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Svensson, Bo Joel, Mary Sheeran, and Ryan Newton. "Design Exploration through Code-generating DSLs." Queue 12, no. 4 (April 2014): 40–52. http://dx.doi.org/10.1145/2611429.2626374.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Cartey, Luke, Rune Lyngsø, and Oege de Moor. "Synthesising graphics card programs from DSLs." ACM SIGPLAN Notices 47, no. 6 (August 6, 2012): 121–32. http://dx.doi.org/10.1145/2345156.2254080.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Hickey, Patrick C., Lee Pike, Trevor Elliott, James Bielman, and John Launchbury. "Building embedded systems with embedded DSLs." ACM SIGPLAN Notices 49, no. 9 (November 26, 2014): 3–9. http://dx.doi.org/10.1145/2692915.2628146.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

JACKSON, ETHAN K. "A Module System for Domain-Specific Languages." Theory and Practice of Logic Programming 14, no. 4-5 (July 2014): 771–85. http://dx.doi.org/10.1017/s1471068414000337.

Full text

Abstract:

AbstractDomain-specific languages(DSLs) are routinely created to simplify difficult or specialized programming tasks. They expose useful abstractions and design patterns in the form of language constructs, provide static semantics to eagerly detect misuse of these constructs, and dynamic semantics to completely define how language constructs interact. However, implementing and composing DSLs is a non-trivial task, and there is a lack of tools and techniques.We address this problem by presenting a complete module system over LP for DSL construction, reuse, and composition. LP is already useful for DSL design, because it supports executable language specifications using notations familiar to language designers. We extend LP with a module system that is simple (with a few concepts), succinct (for key DSL specification scenarios), and composable (on the level of languages, compilers, and programs). These design choices reflect our use of LP for industrial DSL design. Our module system has been implemented in theformulalanguage, and was used to build key Windows 8 device drivers via DSLs. Though we present our module system as it actually appears in ourformulalanguage, our emphasis is on concepts adaptable to other LP languages.

APA, Harvard, Vancouver, ISO, and other styles

25

Maier, Patrick, Robert Stewart, and Phil Trinder. "The HdpH DSLs for scalable reliable computation." ACM SIGPLAN Notices 49, no. 12 (May 11, 2015): 65–76. http://dx.doi.org/10.1145/2775050.2633363.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Cazzola, Walter, and Edoardo Vacchi. "Language components for modular DSLs using traits." Computer Languages, Systems & Structures 45 (April 2016): 16–34. http://dx.doi.org/10.1016/j.cl.2015.12.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Syriani, Eugene, Daniel Riegelhaupt, Bruno Barroca, and Istvan David. "Generation of Custom Textual Model Editors." Modelling 2, no. 4 (November 6, 2021): 609–25. http://dx.doi.org/10.3390/modelling2040032.

Full text

Abstract:

Textual editors are omnipresent in all software tools. Editors provide basic features, such as copy-pasting and searching, or more advanced features, such as error checking and text completion. Current technologies in model-driven engineering can automatically generate textual editors to manipulate domain-specific languages (DSLs). However, the customization and addition of new features to these editors is often limited to changing the internal structure and behavior. In this paper, we explore a new generation of self-descriptive textual editors for DSLs, allowing full configuration of their structure and behavior in a convenient formalism, rather than in source code. We demonstrate the feasibility of the approach by providing a prototype implementation and applying it in two domain-specific modeling scenarios, including one in architecture modeling.

APA, Harvard, Vancouver, ISO, and other styles

28

Pereira, Maria, Marjan Mernik, Cruz da, and Pedro Henriques. "Program comprehension for domain-specific languages." Computer Science and Information Systems 5, no. 2 (2008): 1–17. http://dx.doi.org/10.2298/csis0802001p.

Full text

Abstract:

In the past, we have been looking for program comprehension tools that are able to interconnect operational and behavioral views, aiming at aiding the software analyst to relate problem and program domains in order to reach a full understanding of software systems. In this paper we are concerned with Program Comprehension issues applied to Domain Specific Languages (DSLs). We are now willing to understand how techniques and tools for the comprehension of traditional programming languages fit in the understanding of DSLs. Being the language tailored for the description of problems in a specific domain, we believe that specific visualizations (at a higher abstraction level, closer to the problem level) could and should be defined to enhance the comprehension of the descriptions in that particular domain. .

APA, Harvard, Vancouver, ISO, and other styles

29

Mittal, Archak, Eunhye Kim, Hani S. Mahmassani, and Zihan Hong. "Predictive Dynamic Speed Limit in a Connected Environment for a Weather Affected Traffic Network: A Case Study of Chicago." Transportation Research Record: Journal of the Transportation Research Board 2672, no. 19 (August 23, 2018): 13–24. http://dx.doi.org/10.1177/0361198118791668.

Full text

Abstract:

Dynamic speed limits (DSLs) are used to improve safety and mobility on freeways in unfavorable traffic conditions due to recurring congestion, roadworks, incidents, or adverse weather. The evaluation of in-field deployment reveals that the effectiveness of DSLs can be hampered by low compliance rates or lack of inherent capacity. With the emergence of vehicle-to-vehicle (V2V) or vehicle-to-infrastructure (V2I) communication, it is believed that the operation of DSLs will be able to take advantage of vehicle connectivity. In this paper, the effectiveness of the predictive DSL operation in a connected environment is investigated on the weather affected traffic network of Chicago city under different operational conditions. For the sensitivity test, different market penetration rates of connected vehicles are tested in microsimulation. Microscopic models are used to simulate information exchange by V2V or V2I communication. However, such an application over a large network with mixed traffic can be computationally expensive. A mesoscopic or macroscopic tool is needed that can scale and be computationally economical at the network level. This study integrates the microscopic aspect of V2V communication and the macroscopic for dynamic traffic assignment at a network level. The evaluation of effectiveness at network level is conducted by the Traffic Estimation and Prediction System (TREPS), which is a mesoscopic simulator. The results show, depending on the strategy applied, meaningful increases in both throughput and prevailing speed.

APA, Harvard, Vancouver, ISO, and other styles

30

Jácome-Guerrero, Santiago P., Elizabeth Salazar-Jácome, Wilson E. Sánchez-Ocaña, Rolando X. Salazar-Paredes, and Juan M. Ferreira. "Software development environments and tools in MDE." KnE Engineering 1, no. 2 (January 30, 2018): 1. http://dx.doi.org/10.18502/keg.v1i2.1483.

Full text

Abstract:

Abstract. Model-Driven Engineering (MDE) is the notion that we can construct a model of a system that we can then transform into the real thing. The development of software in MDE using Domain-Specific Languages (DSLs) has two phases. First, the development of artifacts such as DSLs and transformation mechanisms by the modeling experts. Second, people non-technical experts (domain expert or end user) using the artifacts created develop applications simply because of the high level of abstraction allowed by technology. Several factors are considered to limit the use of MDE. One of them, is the lack of knowledge the tools and the development activities with MDE. To support the MDE initiative, the present work makes a description of the theoretical foundations of MDE, also describes the main activities to build several MDE artifacts with some of the tools most known in this technology.

APA, Harvard, Vancouver, ISO, and other styles

31

Senisterra, Guillermo A., Hamed Ghanei, Galina Khutoreskaya, Elena Dobrovetsky, Aled M. Edwards, Gilbert G. Privé, and Masoud Vedadi. "Assessing the Stability of Membrane Proteins to Detect Ligand Binding Using Differential Static Light Scattering." Journal of Biomolecular Screening 15, no. 3 (February 11, 2010): 314–20. http://dx.doi.org/10.1177/1087057109357117.

Full text

Abstract:

Protein stabilization upon ligand binding has frequently been used to identify ligands for soluble proteins. Methods such as differential scanning fluorimetry (DSF) and differential static light scattering (DSLS) have been employed in the 384-well format and have been useful in identifying ligands that promote crystallization and 3D structure determination of proteins. However, finding a generic method that is applicable to membrane proteins has been a challenge as the high hydrophobicity of membrane proteins and the presence of detergents essential for their solubilization interfere with fluorescence-based detections. Here the authors used MsbA (an adenosine triphosphate binding cassette transporter), CorA (a Mg++ channel), and CpxA (a histidine kinase) as model proteins and show that DSLS is not sensitive to the presence of detergents or protein hydrophobicity and can be used to monitor thermodenaturation of membrane proteins, assess their stability, and detect ligand binding in a 384-well format.

APA, Harvard, Vancouver, ISO, and other styles

32

Khakpour, Alireza, Ricardo Colomo-Palacios, Antonio Martini, and Mary Sánchez-Gordón. "The Use of Domain-Specific Languages for Visual Analytics: A Systematic Literature Review." Technologies 11, no. 2 (March 2, 2023): 37. http://dx.doi.org/10.3390/technologies11020037.

Full text

Abstract:

Visual Analytics (VA) is a multidisciplinary field that requires various skills including but not limited to data analytics, visualizations, and the corresponding domain knowledge. Recently, many studies proposed creating and using Domain-Specific Languages (DSLs) for VA in order to abstract complexities and assist designers in developing better VAs for different data domains. However, development methods and types of DSLs vary for different applications and objectives. In this study, we conducted a systematic literature review to overview DSL methods and their intended applications for VA systems. Moreover, the review outlines the benefits and limitations of each of these methods. The aim is to provide decision support for both the research and development communities to choose the most compatible approach for their application. We think the communication of this research delivers a broad figure of previous relevant research and assists with the transfer and adaptation of the results to other domains.

APA, Harvard, Vancouver, ISO, and other styles

33

Leißa, Roland, Klaas Boesche, Sebastian Hack, Richard Membarth, and Philipp Slusallek. "Shallow embedding of DSLs via online partial evaluation." ACM SIGPLAN Notices 51, no. 3 (May 11, 2016): 11–20. http://dx.doi.org/10.1145/2936314.2814208.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Jovanovic, Vojin, Amir Shaikhha, Sandro Stucki, Vladimir Nikolaev, Christoph Koch, and Martin Odersky. "Yin-yang: concealing the deep embedding of DSLs." ACM SIGPLAN Notices 50, no. 3 (May 12, 2015): 73–82. http://dx.doi.org/10.1145/2775053.2658771.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Le Moulec, Gwendal, Arnaud Blouin, Valérie Gouranton, and Bruno Arnaldi. "Automatic production of end user documentation for DSLs." Computer Languages, Systems & Structures 54 (December 2018): 337–57. http://dx.doi.org/10.1016/j.cl.2018.07.006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Hinkel, Georg, and Erik Burger. "Change propagation and bidirectionality in internal transformation DSLs." Software & Systems Modeling 18, no. 1 (August 21, 2017): 249–78. http://dx.doi.org/10.1007/s10270-017-0617-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Sun, Yaozhu, Utkarsh Dhandhania, and Bruno C. d. S. Oliveira. "Compositional embeddings of domain-specific languages." Proceedings of the ACM on Programming Languages 6, OOPSLA2 (October 31, 2022): 175–203. http://dx.doi.org/10.1145/3563294.

Full text

Abstract:

A common approach to defining domain-specific languages (DSLs) is via a direct embedding into a host language. There are several well-known techniques to do such embeddings, including shallow and deep embeddings. However, such embeddings come with various trade-offs in existing programming languages. Owing to such trade-offs, many embedded DSLs end up using a mix of approaches in practice, requiring a substantial amount of code, as well as some advanced coding techniques. In this paper, we show that the recently proposed Compositional Programming paradigm and the CP language provide improved support for embedded DSLs. In CP we obtain a new form of embedding, which we call a compositional embedding, that has most of the advantages of both shallow and deep embeddings. On the one hand, compositional embeddings enable various forms of linguistic reuse that are characteristic of shallow embeddings, including the ability to reuse host-language optimizations in the DSL and add new DSL constructs easily. On the other hand, similarly to deep embeddings, compositional embeddings support definitions by pattern matching or dynamic dispatching (including dependent interpretations, transformations, and optimizations) over the abstract syntax of the DSL and have the ability to add new interpretations. We illustrate an instance of compositional embeddings with a DSL for document authoring called ExT. The DSL is highly flexible and extensible, allowing users to create various non-trivial extensions easily. For instance, ExT supports various extensions that enable the production of wiki-like documents, LaTeX documents, vector graphics or charts. The viability of compositional embeddings for ExT is evaluated with three applications.

APA, Harvard, Vancouver, ISO, and other styles

38

Khorram, Faezeh, Erwan Bousse, Jean-Marie Mottu, and Gerson Sunyé. "Adapting TDL to Provide Testing Support for Executable DSLs." Journal of Object Technology 20, no. 3 (2021): 6:1. http://dx.doi.org/10.5381/jot.2021.20.3.a6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Kiselyov, Oleg. "Implementing Explicit and Finding Implicit Sharing in Embedded DSLs." Electronic Proceedings in Theoretical Computer Science 66 (September 1, 2011): 210–25. http://dx.doi.org/10.4204/eptcs.66.11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Erdweg, Sebastian, Stefan Fehrenbach, and Klaus Ostermann. "Evolution of Software Systems with Extensible Languages and DSLs." IEEE Software 31, no. 5 (September 2014): 68–75. http://dx.doi.org/10.1109/ms.2014.99.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Scherr, Maximilian, and Shigeru Chiba. "Almost first-class language embedding: taming staged embedded DSLs." ACM SIGPLAN Notices 51, no. 3 (May 11, 2016): 21–30. http://dx.doi.org/10.1145/2936314.2814217.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Tikhonova, Ulyana. "Reusable specification templates for defining dynamic semantics of DSLs." Software & Systems Modeling 18, no. 1 (March 21, 2017): 691–720. http://dx.doi.org/10.1007/s10270-017-0590-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Djeddai, Selma, Martin Strecker, and Mohamed Mezghiche. "Integrating a Formal Development for DSLs into Meta-Modeling." Journal on Data Semantics 3, no. 3 (December 11, 2013): 143–55. http://dx.doi.org/10.1007/s13740-013-0030-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Kabanov, Jevgeni, Michael Hunger, and Rein Raudjärv. "On designing safe and flexible embedded DSLs with Java 5." Science of Computer Programming 76, no. 11 (November 2011): 970–91. http://dx.doi.org/10.1016/j.scico.2010.04.005.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Zhu, Yan, Yongqing Bai, Jie Xiong, Tianliang Zhao, Jiaping Xu, Yue Zhou, Kai Meng, Chengzhen Meng, Xiaoyun Sun, and Weiyang Hu. "Mitigation Effect of Dense “Water Network” on Heavy PM2.5 Pollution: A Case Model of the Twain-Hu Basin, Central China." Toxics 11, no. 2 (February 10, 2023): 169. http://dx.doi.org/10.3390/toxics11020169.

Full text

Abstract:

The influence of the underlying surface on the atmospheric environment over rivers and lakes is not fully understood. To improve our understanding, this study targeted the Twain-Hu Basin (THB) in central China, with a unique underlying surface comprising a dense “water network” over rivers and lakes. In this study, the Weather Research and Forecasting Model with Chemistry (WRF-Chem) was used to simulate the impact of this dense “water network” on a wintertime heavy PM2.5 pollution event in the THB. On this basis, the regulating effects of density and area of the lake groups, with centralized big lakes (CBLs) and discrete small lakes (DSLs), on PM2.5 concentrations over the underlying surface of the dense “water network” in the THB were clarified, and the relative contributions of thermal factors and water vapor factors in the atmospheric boundary layer to the variation of PM2.5 concentrations were evaluated. The results show that the underlying surface of dense “water networks” in the THB generally decreases the PM2.5 concentrations, but the influences of different lake-group types are not uniform in spatial distribution. The CBLs can reduce the PM2.5 concentrations over the lake and its surroundings by 4.90–17.68% during the day and night. The ability of DSLs in reducing PM2.5 pollution is relatively weak, with the reversed contribution between −5.63% and 1.56%. Thermal factors and water vapor–related factors are the key meteorological drivers affecting the variation of PM2.5 concentrations over the underlying surface of dense “water networks”. The warming and humidification effects of such underlying surfaces contribute positively and negatively to the “purification” of air pollution, respectively. The relative contributions of thermal factors and water vapor–related factors are 52.48% and 43.91% for CBLs and 65.96% and 27.31% for DSLs, respectively. The “purification” effect of the underlying surface with a dense “water network” in the THB on regional air pollution highlights the importance of environmental protection of inland rivers and lakes in regional environmental governance. In further studies on the atmospheric environment, long-term studies are necessary, including fine measurements in terms of meteorology and the environment and more comprehensive simulations under different scenarios.

APA, Harvard, Vancouver, ISO, and other styles

46

Cambronero, José, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, and Ashish Tiwari. "FlashFill++: Scaling Programming by Example by Cutting to the Chase." Proceedings of the ACM on Programming Languages 7, POPL (January 9, 2023): 952–81. http://dx.doi.org/10.1145/3571226.

Full text

Abstract:

Programming-by-Examples (PBE) involves synthesizing an "intended program" from a small set of user-provided input-output examples. A key PBE strategy has been to restrict the search to a carefully designed small domain-specific language (DSL) with "effectively-invertible" (EI) operators at the top and "effectively-enumerable" (EE) operators at the bottom. This facilitates an effective combination of top-down synthesis strategy (which backpropagates outputs over various paths in the DSL using inverse functions) with a bottom-up synthesis strategy (which propagates inputs over various paths in the DSL). We address the problem of scaling synthesis to large DSLs with several non-EI/EE operators. This is motivated by the need to support a richer class of transformations and the need for readable code generation. We propose a novel solution strategy that relies on propagating fewer values and over fewer paths. Our first key idea is that of "cut functions" that prune the set of values being propagated by using knowledge of the sub-DSL on the other side. Cuts can be designed to preserve completeness of synthesis; however, DSL designers may use incomplete cuts to have finer control over the kind of programs synthesized. In either case, cuts make search feasible for non-EI/EE operators and efficient for deep DSLs. Our second key idea is that of "guarded DSLs" that allow a precedence on DSL operators, which dynamically controls exploration of various paths in the DSL. This makes search efficient over grammars with large fanouts without losing recall. It also makes ranking simpler yet more effective in learning an intended program from very few examples. Both cuts and precedence provide a mechanism to the DSL designer to restrict search to a reasonable, and possibly incomplete, space of programs. Using cuts and gDSLs, we have built FlashFill++, an industrial-strength PBE engine for performing rich string transformations, including datetime and number manipulations. The FlashFill++ gDSL is designed to enable readable code generation in different target languages including Excel's formula language, PowerFx, and Python. We show FlashFill++ is more expressive, more performant, and generates better quality code than comparable existing PBE systems. FlashFill++ is being deployed in several mass-market products ranging from spreadsheet software to notebooks and business intelligence applications, each with millions of users.

APA, Harvard, Vancouver, ISO, and other styles

47

Buzdin, Dmitry, and Oksana Nikiforova. "Transformation of UML class diagram to internal java domain-specific language." Applied Computer Systems 13, no. 1 (November 8, 2012): 61–67. http://dx.doi.org/10.2478/v10312-012-0008-0.

Full text

Abstract:

Abstract - the article addresses the existing problems found in the area of Domain-Specific Languages (DSLs). Being a widely adopted programming technique, DSL grammar creation process still lacks desirable traceability and automation. The paper proposes a sequential model transformation process based on Model-Driven Architecture concepts as one of the potential solutions to stated problem. One of the main results of the research work is the implementation of prototype of the full-cycle model transformation chain starting from the UML domainmodel and ending with internal Java-based DSL grammar implementation.

APA, Harvard, Vancouver, ISO, and other styles

48

Mara, Michael, Felix Heide, Michael Zollhöfer, Matthias Nießner, and Pat Hanrahan. "Thallo – Scheduling for High-Performance Large-Scale Non-Linear Least-Squares Solvers." ACM Transactions on Graphics 40, no. 5 (October 31, 2021): 1–14. http://dx.doi.org/10.1145/3453986.

Full text

Abstract:

Large-scale optimization problems at the core of many graphics, vision, and imaging applications are often implemented by hand in tedious and error-prone processes in order to achieve high performance (in particular on GPUs), despite recent developments in libraries and DSLs. At the same time, these hand-crafted solver implementations reveal that the key for high performance is a problem-specific schedule that enables efficient usage of the underlying hardware. In this work, we incorporate this insight into Thallo, a domain-specific language for large-scale non-linear least squares optimization problems. We observe various code reorganizations performed by implementers of high-performance solvers in the literature, and then define a set of basic operations that span these scheduling choices, thereby defining a large scheduling space. Users can either specify code transformations in a scheduling language or use an autoscheduler. Thallo takes as input a compact, shader-like representation of an energy function and a (potentially auto-generated) schedule, translating the combination into high-performance GPU solvers. Since Thallo can generate solvers from a large scheduling space, it can handle a large set of large-scale non-linear and non-smooth problems with various degrees of non-locality and compute-to-memory ratios, including diverse applications such as bundle adjustment, face blendshape fitting, and spatially-varying Poisson deconvolution, as seen in Figure 1. Abstracting schedules from the optimization, we outperform state-of-the-art GPU-based optimization DSLs by an average of 16× across all applications introduced in this work, and even some published hand-written GPU solvers by 30%+.

APA, Harvard, Vancouver, ISO, and other styles

49

Juhnke, Katharina, Alexander Nikic, and Matthias Tichy. "Clustering Natural Language Test Case Instructions as Input for Deriving Automotive Testing DSLs." Journal of Object Technology 20, no. 3 (2021): 5:1. http://dx.doi.org/10.5381/jot.2021.20.3.a5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Ahmed, A., F. P. van der Meer, and L. J. Sluys. "A geometrically nonlinear discontinuous solid-like shell element (DSLS) for thin shell structures." Computer Methods in Applied Mechanics and Engineering 201-204 (January 2012): 191–207. http://dx.doi.org/10.1016/j.cma.2011.10.008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!