|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 65 occurrences of 63 keywords
|
|
|
|
|
Results
Found 342 publication records. Showing 342 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 19 | Kesha Hietala |
A Verified Software Toolchain for Quantum Programming.  |
|
2022 |
RDF |
|
| 19 | Karl Cronburg, Samuel Z. Guyer |
Permchecker: a toolchain for debugging memory managers with typestate. |
Proc. ACM Program. Lang.  |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Qiang Hu, Alan David Hutson, Song Liu, Martin Morgan, Qian Liu |
Bioconductor toolchain for reproducible bioinformatics pipelines using Rcwl and RcwlPipelines. |
Bioinform. |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Adam Wieckowski, Christian Lehmann, Benjamin Bross, Detlev Marpe, Thibaud Biatek, Mickaël Raulet, Jean Le Feuvre |
A Complete End-To-End Open Source Toolchain for the Versatile Video Coding (VVC) Standard. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 19 | Sohil Lal Shrestha, Christoph Csallner |
SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 19 | Lokesh Siddhu, Rajesh Kedia, Shailja Pandey, Martin Rapp, Anuj Pathania, Jörg Henkel, Preeti Ranjan Panda |
CoMeT: An Integrated Interval Thermal Simulation Toolchain for 2D, 2.5D, and 3D Processor-Memory Systems. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 19 | Michele Colledanchise, Giuseppe Cicala, Daniele E. Domenichelli, Lorenzo Natale, Armando Tacchella |
A Toolchain to Design, Execute, and Monitor Robots Behaviors. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 19 | Huu-Khoi Bui, Ying-Dar Lin, Ren-Hung Hwang, Po-Ching Lin, Van-Linh Nguyen, Yuan-Cheng Lai |
CREME: A toolchain of automatic dataset collection for machine learning in intrusion detection. |
J. Netw. Comput. Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Zhengjie Li, Jiabao Gao, Jinmei Lai |
HBDCA: A Toolchain for High-Accuracy BRAM-Defined CNN Accelerator on FPGA with Flexible Structure. |
IEICE Trans. Inf. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Luiz Carlos Pereira da Silva, Paulo C. M. Meira, João G. I. Cypriano, Hader A. D. Azzini, Athila Q. Santos |
Software toolchain to enhance the management and integration of a sustainable campus model. |
Energy Inform. |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Manar Abdelatty, Mohamed Gaber, Mohamed Shalan |
Fault: Open-Source EDA's Missing DFT Toolchain. |
IEEE Des. Test |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Jacopo Soldani, Giuseppe Muntoni, Davide Neri, Antonio Brogi |
The μTOSCA toolchain: Mining, analyzing, and refactoring microservice-based architectures. |
Softw. Pract. Exp. |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Borce Stojkovski, Gabriele Lenzini |
A workflow and toolchain proposal for analyzing users' perceptions in cyber threat intelligence sharing platforms. |
CSR |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Tristan Benoit, Jean-Yves Marion, Sébastien Bardin |
Binary level toolchain provenance identification with graph neural networks. |
SANER |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Florian Fricke |
A Novel Top to Bottom Toolchain For Generating Virtual Coarse-Grained Reconfigurable Arrays. |
FPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Wanli Wang, Jun Wu, Haoqi Ren, Zhifeng Zhang |
DSP Assembler Auto-Generation Technique and ToolChain Integration. |
ICCT |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Adam Wieckowski, Christian Lehmann, Benjamin Bross, Detlev Marpe, Thibaud Biatek, Mickaël Raulet, Jean Le Feuvre |
A Complete End to End Open Source Toolchain for the Versatile Video Coding (VVC) Standard. |
ACM Multimedia |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Federico Montori, Ivan D. Zyrianoff, Lorenzo Gigli, Riccardo Venanzi, Simone Sindaco, Cristiano Aguzzi, Federica Zonzini, Matteo Zauli, Nicola Testoni, Enrico Alessi, Marco Di Felice, Luciano Bononi, Paolo Bellavista, Luca De Marchi, Tullio Salmon Cinotti |
A Toolchain Architecture for Condition Monitoring Using the Eclipse Arrowhead Framework. |
IECON |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Nobuko Yoshida, Fangyi Zhou 0002, Francisco Ferreira 0001 |
Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types. |
FCT |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Sebastian Gallenmüller, Dominik Scholz, Henning Stubbe, Georg Carle |
The pos framework: a methodology and toolchain for reproducible network experiments. |
CoNEXT |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Theodore Maikantis, Theodore Chaikalis, Apostolos Ampatzoglou, Alexander Chatzigeorgiou |
SmartCLIDE: Shortening the Toolchain of SOA-based Cloud Software Development by Automating Service Creation, Composition, Testing, and Deployment. |
PCI |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Timothy Woods, Sean Furman, Christopher Maracchion, Andrew L. Drozd, Fred Frantz, Jonathan D. Ashdown |
All-domain Spectrum Command and Control via Hierarchical Dynamic Spectrum Sharing with Implemented Dynamic Spectrum Access Toolchain. |
MILCOM |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Sohil Lal Shrestha, Christoph Csallner |
SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain. |
EASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 19 | Tomoaki Kawada |
Development Toolchain and Platform for Writing MCU-Based Embedded System Software. |
|
2021 |
RDF |
|
| 19 | Fearghal O'Donncha, Roman Iakymchuk, Albert Akhriev, Philipp Gschwandtner, Peter Thoman, Thomas Heller, Xavier Aguilar, Kiril Dichev, Charles Gillan, Stefano Markidis, Erwin Laure, Emanuele Ragnoli, Vassilis Vassiliadis, Michael A. Johnston, Herbert Jordan, Thomas Fahringer |
AllScale toolchain pilot applications: PDE based solvers using a parallel development environment. |
Comput. Phys. Commun. |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Carlos Osuna, Tobias Wicky, Fabian Thuering, Torsten Hoefler, Oliver Fuhrer |
Dawn: a High-level Domain-Specific Language Compiler Toolchain for Weather and Climate Applications. |
Supercomput. Front. Innov. |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Shiming Li, Shasha Guo, Limeng Zhang, Ziyang Kang, Shiying Wang, Wei Shi, Lei Wang 0011, Weixia Xu |
SNEAP: A Fast and Efficient Toolchain for Mapping Large-Scale Spiking Neural Network onto NoC-based Neuromorphic Platform. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 19 | David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon |
A Model based Toolchain for the Cosimulation of Cyber-physical Systems with FMI. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud |
CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination. |
ICRA |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Matthew O'Kelly, Hongrui Zheng, Achin Jain, Joseph Auckley, Kim Luong, Rahul Mangharam |
TUNERCAR: A Superoptimization Toolchain for Autonomous Racing. |
ICRA |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Maximilian Jarofka, Stephan Schweig, Niko Maas, Dieter Schramm |
Toolchain Development for Automated Scene Reconstruction using Artificial Neural Network Object Detection and Photogrammetry for the Application in Driving Simulators. |
SIMULTECH |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Mickaël Trezzy |
A toolchain for model-based development of a robot application: student research abstract. |
SAC |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Géza Kulcsár, Kadosa Koltai, Szvetlin Tanyi, Bálint Péceli, Ákos Horváth 0001, Zoltán Micskei, Pál Varga |
From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain. |
NOMS |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Michael Leonard, Simone Campanoni |
Introducing the pseudorandom value generator selection in the compilation toolchain. |
CGO |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Sarbani Das, Koushik Maharatna |
An automated toolchain for quantitative characterisation of structural connectome from MRI based on non-anatomical cortical parcellation. |
EMBC |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Matthias Sedlmeier, Martin Gogolla |
A Toolchain Transforming Descriptive Domain-Specific Models into Executable Browser-Based Applications. |
ER Forum/Posters/Demos |
2020 |
DBLP BibTeX RDF |
|
| 19 | Simone Economo, Sara Royuela, Eduard Ayguadé, Vicenç Beltran 0001 |
A Toolchain to Verify the Parallelization of OmpSs-2 Applications. |
Euro-Par |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper |
DeepHLS: A complete toolchain for automatic synthesis of deep neural networks to FPGA. |
ICECS |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Michael Wurster, Uwe Breitenbücher, Lukas Harzenetter, Frank Leymann, Jacopo Soldani |
TOSCA Lightning: An Integrated Toolchain for Transforming TOSCA Light into Production-Ready Deployment Technologies. |
CAiSE Forum |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Brian Homerding, John R. Tramm |
Evaluating the Performance of the hipSYCL Toolchain for HPC Kernels on NVIDIA V100 GPUs. |
IWOCL |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Anup K. Kalia, Jin Xiao, Chen Lin, Saurabh Sinha, John J. Rofrano, Maja Vukovic, Debasish Banerjee |
Mono2Micro: an AI-based toolchain for evolving monolithic enterprise applications to a microservice architecture. |
ESEC/SIGSOFT FSE |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Géza Kulcsár, Marek S. Tatara, Federico Montori |
Toolchain Modeling: Comprehensive Engineering Plans for Industry 4.0. |
IECON |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Alberto García Ortiz, Rafael Zamacola, Alfonso Rodríguez 0002, Andrés Otero, Eduardo de la Torre |
Automated Toolchain for Enhanced Productivity in Reconfigurable Multi-accelerator Systems. |
ARC |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Jun Yin, Jun Han 0003, Xiaodong Zhang |
An Optimization Toolchain Design of Deep Learning Deployment Based on Heterogeneous Computing Platform. |
WCSP |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Shiming Li, Shasha Guo, Limeng Zhang, Ziyang Kang, Shiying Wang, Wei Shi, Lei Wang 0011, Weixia Xu |
SNEAP: A Fast and Efficient Toolchain for Mapping Large-Scale Spiking Neural Network onto NoC-based Neuromorphic Platform. |
ACM Great Lakes Symposium on VLSI |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Jihyeok Park, Jihee Park, Seungmin An, Sukyoung Ryu |
JISET: JavaScript IR-based Semantics Extraction Toolchain. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Omar Javed, Joshua Heneage Dawes, Marta Han, Giovanni Franzoni, Andreas Pfeiffer, Giles Reger, Walter Binder |
PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Yier Jin |
CAD for Security: A Full Reverse Engineering Toolchain from Layout to RTL. |
VLSI-DAT |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Partha P. Biswas, Yuan Li, Heng Chuan Tan, Daisuke Mashima, Binbin Chen 0001 |
An Attack-Trace Generating Toolchain for Cybersecurity Study of IEC61850 based Substations. |
SmartGridComm |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Moritz Schappler, Tim-David Job, Tobias Ortmaier |
A Maple Toolchain for Rigid Body Dynamics of Serial, Hybrid and Parallel Robots. |
MC |
2020 |
DBLP DOI BibTeX RDF |
|
| 19 | Jean-Philippe Pellet, Gabriel Parriaux, Nora Anna Escherle |
A Markdown-based Open Toolchain for Writing, Processing, and Publishing Bebras Tasks (short paper). |
ISSEP (CEURWS Volume) |
2020 |
DBLP BibTeX RDF |
|
| 19 | Tamás Balla, Csaba Biró, Gábor Kusper |
The BWConverter Toolchain: An Incomplete Way to Convert SAT Problems into Directed Graphs. |
ICAI |
2020 |
DBLP BibTeX RDF |
|
| 19 | Anuj Pathania, Jörg Henkel |
HotSniper: Sniper-Based Toolchain for Many-Core Thermal Simulations in Open Systems. |
IEEE Embed. Syst. Lett. |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Jakob Jordan, Philipp Weidel, Abigail Morrison |
A Closed-Loop Toolchain for Neural Network Simulations of Learning Autonomous Agents. |
Frontiers Comput. Neurosci. |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Huaxia Li, Minjie Zou, Georg Hogrefe, Daria Ryashentseva, Michael Sollfrank, Gennadiy D. Koltun, Birgit Vogel-Heuser |
Application of a multi-disciplinary design approach in a mechatronic engineering toolchain. |
Autom. |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Ahmad Alzahrani 0001, Ronald F. DeMara |
Leveraging design diversity to counteract process variation: theory, method, and FPGA toolchain to increase yield and resilience in-situ. |
IET Comput. Digit. Tech. |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Antonio Capizzi, Salvatore Distefano, Manuel Mazzara, Luiz Jonata Pires de Araujo, Muhammad Ahmad, Evgeny Bobrov |
Anomaly Detection in DevOps Toolchain. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 19 | Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud |
CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 19 | Sean Kauffman, Sebastian Fischmeister |
The Effects of Toolchain Configuration on the WCET of SCADE Generated Software: Dataset. |
|
2019 |
DOI RDF |
|
| 19 | Philippe Merle, Adja Ndeye Sylla, Meryem Ouzzif, Frédéric Klamm, Karine Guillouard |
A Lightweight Toolchain to Validate, Visualize, Analyze, and Deploy ETSI NFV TopologiesBehaviors. |
NetSoft |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Wanli Chang 0001, Shuai Zhao 0004, Ran Wei, Andy J. Wellings, Alan Burns 0001 |
From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper). |
LCTES |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Azam Hosseini, Behnam Ghavimi, Dagmar Kern, Philipp Mayr 0001 |
EXCITE - A Toolchain to Extract, Match and Publish Open Literature References. |
JCDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Antonio Capizzi, Salvatore Distefano, Luiz Jonata Pires de Araujo, Manuel Mazzara, Muhammad Ahmad, Evgeny Bobrov |
Anomaly Detection in DevOps Toolchain. |
DEVOPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Michael Atighetchi, Borislava I. Simidchieva, Katarzyna Olejnik |
Security Requirements Analysis - A Vision for an Automated Toolchain. |
QRS Companion |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Remo Schweizer, Stephan Neuhaus |
Downright: A Framework and Toolchain for Privilege Handling. |
SecDev |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Saranya Natarajan, Mitra Nasri, David Broman, Björn B. Brandenburg, Geoffrey Nelissen |
From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C. |
RTSS |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Matina Maria Trompouki, Leonidas Kosmidis |
BRASIL: A High-Integrity GPGPU Toolchain for Automotive Systems. |
ICCD |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Alberto Oliveri, Roberto Raiteri, Matteo Lodi, Marco Storace |
A Toolchain for Open-Loop Compensation of Hysteresis and Creep in Atomic Force Microscopes. |
ISCAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Gabor Karsai |
A CPS toolchain for learning-based systems: demo abstract. |
ICCPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Adina Aniculaesei, Andreas Vorwald, Andreas Rausch |
Using the SCADE Toolchain to Generate Requirements-Based Test Cases for an Adaptive Cruise Control System. |
MoDELS (Companion) |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Johann Mortara, Xhevahire Tërnava, Philippe Collet |
symfinder: a toolchain for the identification and visualization of object-oriented variability implementations. |
SPLC (B) |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Damir Nesic, Jad El-khoury, Jonas Westman, Mattias Nyberg |
Building a Web-Based Federated Toolchain: Lessons Learned From a Four-Year Industrial Project. |
iiWAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Sten Grüner, Andreas Burger, Hadil Abukwaik, Sascha El-Sharkawy, Klaus Schmid, Tewfik Ziadi, Anton Paule, Felix Suda, Alexander Viehl |
Demonstration of a Toolchain for Feature Extraction, Analysis and Visualization on an Industrial Case Study. |
INDIN |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Gianluca Bardaro, Andrea Semprebon, Agnese Chiatti, Matteo Matteucci |
From Models to Software Through Automatic Transformations: An AADL to ROS End-to-End Toolchain. |
IRC |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | Christoph Nytsch-Geusen, Jörg Rädler, Matthis Thorade, Carles Ribas Tugores |
BIM2Modelica - An open source toolchain for generating and simulating thermal multi-zone building models by using structured data from BIM models. |
Modelica |
2019 |
DBLP DOI BibTeX RDF |
|
| 19 | José Fragoso Santos, Petar Maksimovic, Daiva Naudziuniene, Thomas Wood 0001, Philippa Gardner |
JaVerT: JavaScript verification toolchain. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
| 19 | Ke Yu, Chao Dong, Liang Lin, Chen Change Loy |
Crafting a Toolchain for Image Restoration by Deep Reinforcement Learning. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 19 | Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay |
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java. |
Sci. Comput. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
| 19 | Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle |
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates. |
ACC |
2018 |
DBLP DOI BibTeX RDF |
|
| 19 | Freek van den Berg, Jozef Hooman, Boudewijn R. Haverkort |
A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements. |
MMB |
2018 |
DBLP DOI BibTeX RDF |
|
| 19 | Jean-Christophe Le Lann, Théotime Bollengier, Mohamad Najem, Loïc Lagadec |
An Integrated Toolchain for Overlay-centric System-on-chip. |
ReCoSoC |
2018 |
DBLP DOI BibTeX RDF |
|
| 19 | Ke Yu, Chao Dong, Liang Lin, Chen Change Loy |
Crafting a Toolchain for Image Restoration by Deep Reinforcement Learning. |
CVPR |
2018 |
DBLP BibTeX RDF |
|
| 19 | Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, Michael von Wenckstern |
Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc. |
MoDELS |
2018 |
DBLP DOI BibTeX RDF |
|
| 19 | Mojdeh Golagha, Abu Mohammed Raisuddin, Lennart Mittag, Dominik Hellhake, Alexander Pretschner |
Aletheia: a failure diagnosis toolchain. |
ICSE (Companion Volume) |
2018 |
DBLP DOI BibTeX RDF |
|
| 19 | Sushain Cherivirala, Shardul Chiplunkar, Jonathan North Washington, Kevin Unhammer |
Apertium's Web Toolchain for Low-Resource Language Technology. |
LoResMT@AMTA |
2018 |
DBLP BibTeX RDF |
|
| 19 | Haven Blake Skinner |
Pyrope: A Latency-Insensitive Digital Architecture Toolchain. |
|
2018 |
RDF |
|
| 19 | Alix Trieu |
Verifying Constant-Time Implementations in a Verified Compilation Toolchain. (Vérification d'implémentations constant-time dans une chaîne de compilation vérifiée). |
|
2018 |
RDF |
|
| 19 | Timm Felden, Felix Krause 0004 |
Evolution of a Program Analysis Toolchain. |
Softwaretechnik-Trends |
2017 |
DBLP BibTeX RDF |
|
| 19 | Martin Krupicka, Kantharuban Sivalingam, Lee Huntington, Alexander A. Auer, Frank Neese |
A toolchain for the automatic generation of computer codes for correlated wavefunction calculations. |
J. Comput. Chem. |
2017 |
DBLP DOI BibTeX RDF |
|
| 19 | Florian Lugou, Ludovic Apvrille, Aurélien Francillon |
SMASHUP: a toolchain for unified verification of hardware/software co-designs. |
J. Cryptogr. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
| 19 | Ramakrishna Nittala, Andrea Acquaviva, Enrico Macii |
A Software Toolchain for Variability Awareness on Heterogenous Multicore Platforms. |
IEEE Trans. Emerg. Top. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
| 19 | Stefan Marksteiner, Harald Lernbeiß, Bernhard Jandl-Scherf |
An Iterative and Toolchain-Based Approach to Automate Scanning and Mapping Computer Networks. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 19 | Mingshuai Chen, Xiao Han 0003, Tao Tang 0004, Shuling Wang, Mengfei Yang, Naijun Zhan, Hengjun Zhao, Liang Zou |
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems. |
Provably Correct Systems |
2017 |
DBLP DOI BibTeX RDF |
|
| 19 | Volkmar Sieh, Robert Burlacu, Timo Hönig, Heiko Janker, Phillip Raffeck, Peter Wägemann, Wolfgang Schröder-Preikschat |
An End-to-End Toolchain: From Automated Cost Modeling to Static WCET and WCEC Analysis. |
ISORC |
2017 |
DBLP DOI BibTeX RDF |
|
| 19 | Liang He 0005, Zijian Wan, Leah Findlater, Jon E. Froehlich |
TacTILE: A Preliminary Toolchain for Creating Accessible Graphics with 3D-Printed Overlays and Auditory Annotations. |
ASSETS |
2017 |
DBLP DOI BibTeX RDF |
|
| 19 | Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso |
The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access. |
BPM (Demos) |
2017 |
DBLP BibTeX RDF |
|
| 19 | Jack Wadden, Samira Manabi Khan, Kevin Skadron |
Automata-to-Routing: An Open-Source Toolchain for Design-Space Exploration of Spatial Automata Processing Architectures. |
FCCM |
2017 |
DBLP DOI BibTeX RDF |
|
| 19 | Ljiljana Simic, Janne Riihijärvi, Amulya Venkatesh, Petri Mähönen |
Demo abstract: An open source toolchain for planning and visualizing highly directional mm-wave cellular networks in the 5G era. |
INFOCOM Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
| 19 | Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer |
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 19 | Simon Barner, Alexander Diewald, Jörn Migge, Ali Syed, Gerhard Fohler, Madeleine Faugère, Daniel Gracia Pérez |
DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 342 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license