Search results for "DSL"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Juan García-Garland, Alberto Pardo, Marcos Viera	Attribute grammars fly first-class... safer!: dealing with DSL errors in type-level programming.	IFL	2019	DBLP DOI BibTeX RDF
15	Adrian Rumpold, Bernhard Bauer	A Metamodel and Model-based Design Rule Checking DSL for Verification and Validation of Electronic Circuit Designs.	MODELSWARD	2019	DBLP DOI BibTeX RDF
15	Rodrigo Queiroz, Thorsten Berger, Krzysztof Czarnecki 0001	GeoScenario: An Open DSL for Autonomous Driving Scenario Representation.	IV	2019	DBLP DOI BibTeX RDF
15	Pierre Jeanjean, Benoît Combemale, Olivier Barais	From DSL specification to interactive computer programming environment.	SLE	2019	DBLP DOI BibTeX RDF
15	Sandra Macià, Pedro J. Martínez-Ferrer, Sergi Mateo, Vicenç Beltran 0001, Eduard Ayguadé	Assembling a High-Productivity DSL for Computational Fluid Dynamics.	PASC	2019	DBLP DOI BibTeX RDF
15	Aseem Rastogi, Nikhil Swamy, Michael Hicks 0001	Wys*: A DSL for Verified Secure Multi-party Computations.	POST	2019	DBLP DOI BibTeX RDF
15	Rick Rabiser, Jürgen Thanhofer-Pilisch, Michael Vierhauser, Paul Grünbacher, Alexander Egyed	Developing and Evolving a DSL-based Approach for Runtime Monitoring of Systems of Systems.	SE/SWM	2019	DBLP DOI BibTeX RDF
15	Jörg Fickenscher, Frank Hannig, Jürgen Teich	DSL-Based Acceleration of Automotive Environment Perception and Mapping Algorithms for Embedded CPUs, GPUs, and FPGAs.	ARCS	2019	DBLP DOI BibTeX RDF
15	Nhat-Hoa Tran, Toshiaki Aoki	Conformance Testing of Schedulers for DSL-based Model Checking.	SPIN	2019	DBLP DOI BibTeX RDF
15	Rafael Ravedutti L. Machado, André Murbach Maidl, Daniel Weingaertner	Profiling Halide DSL with CPU Performance Events for Schedule Optimization.	SBLP	2019	DBLP DOI BibTeX RDF
15	Karima Saidi, Ouassila Hioual, Abderrahim Siam	A DSL-MCDA Model for Energy Consumption-Aware in Cloud Computing.	IINTEC	2019	DBLP DOI BibTeX RDF
15	Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster	TxForest: A DSL for Concurrent Filestores.	APLAS	2019	DBLP DOI BibTeX RDF
15	Lin Zhang, Petko Bogdanov	DSL: Discriminative Subgraph Learning via Sparse Self-Representation.	SDM	2019	DBLP DOI BibTeX RDF
15	István Z. Reguly, Branden Moore, Tim Schmielau, Jacques Du Toit, Gihan R. Mudalige	Batch Solution of Small PDEs with the OPS DSL.	ISC Workshops	2019	DBLP DOI BibTeX RDF
15	François Serre, Markus Püschel	DSL-Based Modular IP Core Generators: Example FFT and Related Structures.	ARITH	2019	DBLP DOI BibTeX RDF
15	Nicolas Metayer, Andrés Paz, Ghizlane El-Boussaidi	Modelling DO-178C Assurance Needs: A Design Assurance Level-Sensitive DSL.	ISSRE Workshops	2019	DBLP DOI BibTeX RDF
15	Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, Deian Stefan	FaCT: a DSL for timing-sensitive computation.	PLDI	2019	DBLP DOI BibTeX RDF
15	Luca Franceschini	RML: runtime monitoring language: a system-agnostic DSL for runtime verification.	Programming	2019	DBLP DOI BibTeX RDF
15	Teodoro Collin, Charisee Chiw, L. Ridgway Scott, John H. Reppy, Gordon L. Kindlmann	Point Movement in a DSL for Higher-Order FEM Visualization.	IEEE VIS (Short Papers)	2019	DBLP DOI BibTeX RDF
15	S. M. Hadi Sadati, Steffen Zschaler, Christos Bergeles	A Matlab-Internal DSL for Modelling Hybrid Rigid-Continuum Robots with TMTDyn.	MoDELS (Companion)	2019	DBLP DOI BibTeX RDF
15	Charles Xu 0001, Dmitry Ilyevskiy	Isopod: An Expressive DSL for Kubernetes Configuration.	SoCC	2019	DBLP DOI BibTeX RDF
15	Renato Preigschadt de Azevedo, Maria João Varanda Pereira, Pedro Rangel Henriques	DSL Based Automatic Generation of Q&A Systems.	WorldCIST (1)	2019	DBLP DOI BibTeX RDF
15	Ihor Kandyba, Yevhen Davydenko, Valentyna Panasyuk, Alyona Shved, Mykola Fisun	ANTRL as a Development Platform for the Series DSL for the Learning Process.	IDAACS	2019	DBLP DOI BibTeX RDF
15	Akshay Agrawal, Akshay Naresh Modi, Alexandre Passos, Allen Lavoie, Ashish Agarwal, Asim Shankar, Igor Ganichev, Josh Levenberg, Mingsheng Hong, Rajat Monga, Shanqing Cai	TensorFlow Eager: A multi-stage, Python-embedded DSL for machine learning.	MLSys	2019	DBLP BibTeX RDF
15	Samir Rachid Zaim, Ahyoung Amy Kim, Colleen Kenost, Helen Zhang, Yves A. Lussier, Vignesh Subbian	DSL-TEACH: Data Science Literacy Training to Enhance Approaches for Clinical decision-making in Healthcare.	AMIA	2019	DBLP BibTeX RDF
15	Christian Berg	Typische Muster bei der DSL-Implementierung unter Verwendung von geordneten Attributgrammatiken.		2019	RDF
15	Yunming Zhang, Mengjiao Yang, Riyadh Baghdadi, Shoaib Kamil 0001, Julian Shun, Saman P. Amarasinghe	GraphIt: a high-performance graph DSL.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
15	Yin Hoe Ng, Teong Chee Chuah, Ahmadun Nijar Zainal Abidin, Nabihah Hashim, Azhari Asrokin	Multimode precoding for crosstalk mitigation in ultra-broadband DSL systems.	Int. J. Commun. Syst.	2018	DBLP DOI BibTeX RDF
15	Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi	ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
15	Nikolay Tcholtchev, Grit Dudeck, Michael Wagner 0006, Christian Hein, Arun Prakash, Tom Ritter	Enabling the Interoperability of the Modelica DSL and Matlab Simulink towards the Development of Self-Adaptive Dynamic Systems.	Int. J. Syst. Dyn. Appl.	2018	DBLP DOI BibTeX RDF
15	Rick Rabiser, Jürgen Thanhofer-Pilisch, Michael Vierhauser, Paul Grünbacher, Alexander Egyed	Developing and evolving a DSL-based approach for runtime monitoring of systems of systems.	Autom. Softw. Eng.	2018	DBLP DOI BibTeX RDF
15	Syed Mohammad Zafaruddin, Surendra Prasad	GMRES Algorithm for Large-Scale Vectoring in DSL Systems.	IEEE Signal Process. Lett.	2018	DBLP DOI BibTeX RDF
15	Ana-Maria Sutîi, Mark van den Brand, Tom Verhoeff	Exploration of modularity and reusability of domain-specific languages: an expression DSL in MetaMod.	Comput. Lang. Syst. Struct.	2018	DBLP DOI BibTeX RDF
15	Ankica Barisic, Vasco Amaral 0001, Miguel Goulão	Usability driven DSL development with USE-ME.	Comput. Lang. Syst. Struct.	2018	DBLP DOI BibTeX RDF
15	Tian Zhao, Xiaobing Huang	Design and implementation of DeepDSL: A DSL for deep learning.	Comput. Lang. Syst. Struct.	2018	DBLP DOI BibTeX RDF
15	Franco Mazzenga, Romeo Giuliano	A Worst Case Performance Analysis of Approximated Zero Forcing Vectoring for DSL Systems.	Inf.	2018	DBLP DOI BibTeX RDF
15	Amir Shaikhha, Vojin Jovanovic, Christoph Koch 0001	A Compiler-Compiler for DSL Embedding.	CoRR	2018	DBLP BibTeX RDF
15		Technical Report about Tiramisu: a Three-Layered Abstraction for Hiding Hardware Complexity from DSL Compilers.	CoRR	2018	DBLP BibTeX RDF
15	Peter-Christian Quint, Nane Kratzke	Towards a Lightweight Multi-Cloud DSL for Elastic and Transferable Cloud-native Applications.	CoRR	2018	DBLP BibTeX RDF
15	Yunming Zhang, Mengjiao Yang, Riyadh Baghdadi, Shoaib Kamil 0001, Julian Shun, Saman P. Amarasinghe	GraphIt - A High-Performance DSL for Graph Analytics.	CoRR	2018	DBLP BibTeX RDF
15	Daniel Ratiu, Markus Voelter, Domenik Pavletic	Automated testing of DSL implementations - experiences from building mbeddr.	Softw. Qual. J.	2018	DBLP DOI BibTeX RDF
15	Joong-Jae Lee, Jung-Min Park	I-Typed DMML: A Novel DSL for Direct Manipulation Interaction with Virtual Objects.	Interact. Comput.	2018	DBLP DOI BibTeX RDF
15	Chee Keong Tan, Teong Chee Chuah, Mohd Saiful Bahri	Crosstalk-aware dynamic spectrum management algorithm for green DSL systems.	Telecommun. Syst.	2018	DBLP DOI BibTeX RDF
15	Kyle Headley	A DSL embedded in Rust.	IFL	2018	DBLP DOI BibTeX RDF
15	Vladimir Kiriansky, Haoran Xu, Martin C. Rinard, Saman P. Amarasinghe	Cimple: instruction and memory level parallelism: a DSL for uncovering ILP and MLP.	PACT	2018	DBLP DOI BibTeX RDF
15	Gerald Stieglbauer, Christian Burghard, Stefan Sobernig, Robert Korosec	A Daily Dose of DSL - MDE Micro Injections in Practice.	MODELSWARD	2018	DBLP DOI BibTeX RDF
15	Endrius Ewald, Adriano Vogel, Cassiano Rista, Dalvan Griebler, Isabel Harb Manssour, Luiz Gustavo Fernandes	Parallel and Distributed Processing Support for a Geospatial Data Visualization DSL.	WSCAD	2018	DBLP DOI BibTeX RDF
15	Daco C. Harkes, Elmer van Chastelet, Eelco Visser	Migrating business logic to an incremental computing DSL: a case study.	SLE	2018	DBLP DOI BibTeX RDF
15	Benoît Ries, Alfredo Capozucca, Nicolas Guelfi	Messir: a text-first DSL-based approach for UML requirements engineering (tool demo).	SLE	2018	DBLP DOI BibTeX RDF
15	Jasper Denkers, Louis van Gool, Eelco Visser	Migrating custom DSL implementations to a language workbench (tool demo).	SLE	2018	DBLP DOI BibTeX RDF
15	Mathijs Saey, Joeri De Koster, Wolfgang De Meuter	Skitter: a DSL for distributed reactive workflows.	REBLS@SPLASH	2018	DBLP DOI BibTeX RDF
15	Valentin Clement, Sylvaine Ferrachat, Oliver Fuhrer, Xavier Lapillonne, Carlos E. Osuna, Robert Pincus, Jon S. Rood, William B. Sawyer	The CLAW DSL: Abstractions for Performance Portable Weather and Climate Models.	PASC	2018	DBLP DOI BibTeX RDF
15	Christian Heinzemann, Ralph Lange	vTSL - A Formally Verifiable DSL for Specifying Robot Tasks.	IROS	2018	DBLP DOI BibTeX RDF
15	Ildevana Poltronieri Rodrigues, Avelino Francisco Zorzo, Maicon Bernardino, Márcia de Borba Campos	Usa-DSL: usability evaluation framework for domain-specific languages.	SAC	2018	DBLP DOI BibTeX RDF
15	Tiago Carvalho, João M. P. Cardoso	An approach based on a DSL + API for programming runtime adaptivity and autotuning concerns.	SAC	2018	DBLP DOI BibTeX RDF
15	Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea Rosario Beccari, Luca Benini, Loïc Besnard, João Bispo, Radim Cmar, João M. P. Cardoso, Carlo Cavazzoni, Stefano Cherubin, Davide Gadioli, Martin Golasowski, Imane Lasri, Jan Martinovic, Gianluca Palermo, Pedro Pinto 0002, Erven Rohou, Nico Sanna, Katerina Slaninová, Emanuele Vitali	ANTAREX: A DSL-Based Approach to Adaptively Optimizing and Enforcing Extra-Functional Properties in High Performance Computing.	DSD	2018	DBLP DOI BibTeX RDF
15	Alfonso de la Vega, Pablo Sánchez 0002, Dimitrios S. Kolovos	Pinset: A DSL for Extracting Datasets from Models for Data Mining-Based Quality Analysis.	QUATIC	2018	DBLP DOI BibTeX RDF
15	Sandra Macià, Sergi Mateo, Pedro J. Martínez-Ferrer, Vicenç Beltran 0001, Daniel Mira, Eduard Ayguadé	Saiph: Towards a DSL for High-Performance Computational Fluid Dynamics.	RWDSL@CGO	2018	DBLP DOI BibTeX RDF
15	Krysta M. Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher E. Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz, Martin Roetteler	Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL.	RWDSL@CGO	2018	DBLP DOI BibTeX RDF
15	Pieter W. M. Koopman, Mart Lubbers, Rinus Plasmeijer	A Task-Based DSL for Microcomputers.	RWDSL@CGO	2018	DBLP DOI BibTeX RDF
15	Mathijs Schuts, Jozef Hooman, Paul Tielemans	Industrial Experience with the Migration of Legacy Models using a DSL.	RWDSL@CGO	2018	DBLP DOI BibTeX RDF
15	Adrian Mizzi, Joshua Ellul, Gordon J. Pace	D'Artagnan: An Embedded DSL Framework for Distributed Embedded Systems.	RWDSL@CGO	2018	DBLP DOI BibTeX RDF
15	Massimo Tisi, Zheng Cheng	CoqTL: An Internal DSL for Model Transformation in Coq.	ICMT	2018	DBLP DOI BibTeX RDF
15	Yasutaka Wada, Yuan He 0002, Thang Cao, Masaaki Kondo	A Power Management Framework with Simple DSL for Automatic Power-Performance Optimization on Power-Constrained HPC Systems.	SCFA	2018	DBLP DOI BibTeX RDF
15	Nuno Silva 0001, Paulo Maio, Alexandre Gouveia, Evaristo Figueiredo, Rui Lopes	Ontology, Rule and DSL-based Software Re-engineering: a Case Study.	JIST (Workshops & Posters)	2018	DBLP BibTeX RDF
15	Peter-Christian Quint, Nane Kratzke	Towards a Lightweight Multi-Cloud DSL for Elastic and Transferable Cloud-native Applications.	CLOSER	2018	DBLP DOI BibTeX RDF
15	François Serre, Markus Püschel	A DSL-Based FFT Hardware Generator in Scala.	FPL	2018	DBLP DOI BibTeX RDF
15	Rebecca Morgan, Georg Grossmann, Michael Schrefl, Markus Stumptner, Timothy Payne	VizDSL: A Visual DSL for Interactive Information Visualization.	CAiSE	2018	DBLP DOI BibTeX RDF
15	Jesse Chamberlin, Marcin Zalewski, Scott McMillan, Andrew Lumsdaine	PyGB: GraphBLAS DSL in Python with Dynamic Compilation Into Efficient C++.	IPDPS Workshops	2018	DBLP DOI BibTeX RDF
15	Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi	ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions.	ECOOP	2018	DBLP DOI BibTeX RDF
15	Ilya Yanok, Nathaniel Nystrom	Implementing resource-aware safe assembly for kernel probes as a dependently-typed DSL.	TyDe@ICFP	2018	DBLP DOI BibTeX RDF
15	Florian Häser, Michael Felderer, Ruth Breu	Evaluation of an Integrated Tool Environment for Experimentation in DSL Engineering.	SWQD	2018	DBLP DOI BibTeX RDF
15	Stefan Klikovits, Alban Linard, Didier Buchs	CREST - A DSL for Reactive Cyber-Physical Systems.	SAM	2018	DBLP DOI BibTeX RDF
15	Venmugil Elango, Norm Rubin, Mahesh Ravishankar, Hariharan Sandanagobalane, Vinod Grover	Diesel: DSL for linear algebra and neural net computations on GPUs.	MAPL@PLDI	2018	DBLP DOI BibTeX RDF
15	Inna Vistbakka, Mikhail Barash, Elena Troubitsyna	Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B.	ABZ	2018	DBLP DOI BibTeX RDF
15	Alfred Åkesson	DSL for end-user service composition.	Programming	2018	DBLP DOI BibTeX RDF
15	Kevin Bourgeois, Sophie Robert 0001, Sébastien Limet, Victor Essayan	GeoSkelSL: A Python High-Level DSL for Parallel Computing in Geosciences.	ICCS (3)	2018	DBLP DOI BibTeX RDF
15	Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra	A DSL for MAPE Patterns Representation in Self-adapting Systems.	ECSA	2018	DBLP DOI BibTeX RDF
15	Adrian Rutle, Jonas Backer, Kolbein Foldøy, Robin T. Bye	CommonLang: A DSL for Defining Robot Tasks.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
15	Artur Boronat	Expressive and Efficient Model Transformation with an Internal DSL of Xtend.	MoDELS	2018	DBLP DOI BibTeX RDF
15	Mohammad Behfarnia, Amir R. Forouzan, Mohammad Farzan Sabahi	A Fast Fixed Point Algorithm for Real-Time Spectrum Balancing of DSL.	IST	2018	DBLP DOI BibTeX RDF
15	Florian Galinier	A DSL for requirements in the context of a seamless approach.	ASE	2018	DBLP DOI BibTeX RDF
15	Wei Tang, Dongsheng Zou, Su Yang, Jing Shi	DSL: Automatic Liver Segmentation with Faster R-CNN and DeepLab.	ICANN (2)	2018	DBLP DOI BibTeX RDF
15	Matthias Springer, Hidehiko Masuhara	Ikra-Cpp: A C++/CUDA DSL for Object-Oriented Programming with Structure-of-Arrays Layout.	WPMVP@PPoPP	2018	DBLP DOI BibTeX RDF
15	David Méndez-Acuña, José Angel Galindo, Benoît Combemale, Arnaud Blouin, Benoît Baudry	Reverse engineering language product lines from existing DSL variants.	SPLC	2018	DBLP DOI BibTeX RDF
15	Alfred Åkesson, Mattias Nordahl, Görel Hedin, Boris Magnusson	A DSL for composing IoT systems.	Middleware (Posters)	2018	DBLP DOI BibTeX RDF
15	Jeroen Verdyck, Chris Blondia, Marc Moonen	Network Utility Maximization for Adaptive Resource Allocation in DSL Systems.	EUSIPCO	2018	DBLP DOI BibTeX RDF
15	Oszkár Semeráth, Dániel Varró	Iterative Generation of Diverse Models for Testing Specifications of DSL Tools.	FASE	2018	DBLP DOI BibTeX RDF
15	Gautham Prasad, Lutz Lampe	Feasibility of full-duplex dynamic spectrum management for PLC-DSL coexistence.	ISPLC	2018	DBLP DOI BibTeX RDF
15	Marcos Aurélio Carrero, Martin A. Musicante, Aldri Luiz dos Santos, Carmem S. Hara	SLEDS: A DSL for Data-Centric Storage on Wireless Sensor Networks.	BiDU@VLDB	2018	DBLP DOI BibTeX RDF
15	Ivan Gibbs	A Separation-Based UI Architecture with a DSL for Role Specialization.		2018	RDF
15	Teong Chee Chuah, Yin Hoe Ng, Ahmadun Nijar Zainal Abidin, Azhari Asrokin, Nabihah Hashim	Performance of linear and non-linear precoders in G.fast ultra-broadband DSL networks.	Int. J. Commun. Syst.	2017	DBLP DOI BibTeX RDF
15	Dalvan Griebler, Marco Danelutto, Massimo Torquati, Luiz Gustavo Fernandes	SPar: A DSL for High-Level and Productive Stream Parallelism.	Parallel Process. Lett.	2017	DBLP DOI BibTeX RDF
15	Todd A. Anderson 0001, Hai Liu 0012, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman	Parallelizing Julia with a Non-Invasive DSL (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
15	Mohamed Lachgar, Abdelmounaïm Abdali	Modeling and generating native code for cross-platform mobile applications using DSL.	Intell. Autom. Soft Comput.	2017	DBLP DOI BibTeX RDF
15	Hendrik Bünder	A UML-Agnostic Migration Approach From UML to DSL.	Softwaretechnik-Trends	2017	DBLP BibTeX RDF
15	Tong Bai, Chao Xu 0005, Rong Zhang 0001, Anas F. Al Rawi, Lajos Hanzo	Joint Impulsive Noise Estimation and Data Detection Conceived for LDPC-Coded DMT-Based DSL Systems.	IEEE Access	2017	DBLP DOI BibTeX RDF
15	Enrique Chavarriaga, Francisco Jurado 0001, Fernando Díez	PsiLight: a Lightweight Programming Language to Explore Multiple Program Execution and Data-binding in a Web-Client DSL Evaluation Engine.	J. Univers. Comput. Sci.	2017	DBLP BibTeX RDF
15	Hele-Mai Haav, Andres Ojamaa	Semi-automated integration of domain ontologies to DSL meta-models.	Int. J. Intell. Inf. Database Syst.	2017	DBLP DOI BibTeX RDF
15	Jing Pu, Steven Bell, Xuan Yang, Jeff Setter, Stephen Richardson, Jonathan Ragan-Kelley, Mark Horowitz	Programming Heterogeneous Systems from an Image Processing DSL.	ACM Trans. Archit. Code Optim.	2017	DBLP DOI BibTeX RDF