Search results for "toolchain"

Hits ?▲	Authors	Title	Venue	Year	Link
19	Massimiliano Menarini, Yan Yan 0021, William G. Griswold	Semantics-assisted code review: an efficient toolchain and a user study.	ASE	2017	DBLP DOI BibTeX RDF
19	Steven Arzt, Siegfried Rasthofer, Eric Bodden	The Soot-Based Toolchain for Analyzing Android Apps.	MOBILESoft@ICSE	2017	DBLP DOI BibTeX RDF
19	Olivier Serres, Engin Kayraklioglu, Tarek A. El-Ghazawi	HPC-Oriented Toolchain for Hardware Simulators.	CLUSTER	2017	DBLP DOI BibTeX RDF
19	Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu	Focused Certification of an Industrial Compilation and Static Verification Toolchain.	SEFM	2017	DBLP DOI BibTeX RDF
19	Ralph Duncan	Managing Bytecode and ISA Compatibility with an Enhanced Toolchain.	PDCAT	2017	DBLP DOI BibTeX RDF
19	Bilal Syed Hussain	Model selection and testing for an automated constraint modelling toolchain.		2017	RDF
19	Peter Herrmann, Jan Olaf Blech, Fenglin Han, Heinz W. Schmidt	A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems.	Int. J. Web Serv. Res.	2016	DBLP DOI BibTeX RDF
19	Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro	Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.	CoRR	2016	DBLP BibTeX RDF
19	Gorker Alp Malazgirt, Deniz Candas, Arda Yurdakul	Taxim: A Toolchain for Automated and Configurable Simulation for Embedded Multiprocessor Design.	CoRR	2016	DBLP BibTeX RDF
19	Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro	Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems.	PROLE	2016	DBLP DOI BibTeX RDF
19	Jean-Michel Follin, Maïté Fahrasmane, Elisabeth Simonetto	An open-source based toolchain for the georeferencing of old cadastral maps.	PeerJ Prepr.	2016	DBLP DOI BibTeX RDF
19	Emanuele Ruffaldi, Filippo Brizzi, Giacomo Dabisias, Giorgio C. Buttazzo	SOMA: an OpenMP toolchain for multicore partitioning.	SAC	2016	DBLP DOI BibTeX RDF
19	Luca Baldesi, Leonardo Maccari	NePA TesT: network protocol and application testing toolchain for community networks.	WONS	2016	DBLP BibTeX RDF
19	Loïc Cudennec, Safae Dahmani, Guy Gogniat, Cédric Maignan, Martha Johanna Sepúlveda	Network Contention-Aware Method to Evaluate Data Coherency Protocols within a Compilation Toolchain.	MCSoC	2016	DBLP DOI BibTeX RDF
19	Steffen Vaas, Marc Reichenbach, Ulrich Margull, Dietmar Fey	The R2-D2 toolchain - Automated porting of safety-critical applications to FPGAs.	ReConFig	2016	DBLP DOI BibTeX RDF
19	Cristina Chesta, Ferruccio Damiani, Liudmila Dobriakova, Marco Guernieri, Simone Martini 0003, Michael Nieke, Vítor Rodrigues, Sven Schuster	A Toolchain for Delta-Oriented Modeling of Software Product Lines.	ISoLA (2)	2016	DBLP DOI BibTeX RDF
19	Simon Rodriguez Perez, Ahmad Fatoum, Jörg Abke	Toolchain zur ANSI-C Programmierung des Lego Mindstorms EV3 in der Hochschullehre.	DeLFI	2016	DBLP BibTeX RDF
19	Robert Darimont, Wei Zhao, Christophe Ponsard, Arnaud Michot	A Modular Requirements Engineering Framework for Web-Based Toolchain Integration.	RE	2016	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.	SafeConfig@CCS	2016	DBLP DOI BibTeX RDF
19	Kento Tsukada, Kenji Sawada, Seiichi Shin	A toolchain on model checking SPIN via Kalman Decomposition for control system software.	CASE	2016	DBLP DOI BibTeX RDF
19	Vitalii Avdiienko, Konstantin Kuznetsov 0001, Paolo Calciati, Juan Carlos Caiza Román, Alessandra Gorla, Andreas Zeller	CALAPPA: a toolchain for mining Android applications.	WAMA@SIGSOFT FSE	2016	DBLP DOI BibTeX RDF
19	Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muñiz, Petur Olsen, Thomas Pedersen, Jirí Srba, Arne Skou	Toolchain for user-centered intelligent floor heating control.	IECON	2016	DBLP DOI BibTeX RDF
19	Felipe R. Franco, Joao H. Neme, Max M. Santos, Joao N. H. da Rosa, Inacio M. Dal Fabbro	Workflow and toolchain for developing the automotive software according AUTOSAR standard at a Virtual-ECU.	ISIE	2016	DBLP DOI BibTeX RDF
19	Leonidas Kosmidis, Roberto Vargas, David Morales, Eduardo Quiñones, Jaume Abella 0001, Francisco J. Cazorla	TASA: toolchain-agnostic static software randomisation for critical real-time systems.	ICCAD	2016	DBLP DOI BibTeX RDF
19	Ramakrishna Venkata Nittala, Francesco Barchi, Gianvito Urgese, Andrea Acquaviva	Toolchain integration of runtime variability and aging awareness in multicore platforms.	FDL	2016	DBLP DOI BibTeX RDF
19	Christian Leibold, Jonas Wilkening, Cornelia Blume, Holger Blume	A toolchain for the 3D-visualization of bioartificial vascular grafts based on ultrasound images.	BioCAS	2016	DBLP DOI BibTeX RDF
19	Marco Danelutto, Massimo Torquati, Peter Kilpatrick	A DSL Based Toolchain for Design Space Exploration in Structured Parallel Programming.	ICCS	2016	DBLP DOI BibTeX RDF
19	Loïc Cudennec, Safae Dahmani, Guy Gogniat, Cédric Maignan, Martha Johanna Sepúlveda	A Fast Evaluation Approach of Data Consistency Protocols within a Compilation Toolchain.	ICCS	2016	DBLP DOI BibTeX RDF
19	Vincent Bertram, Alexander Roth 0004, Bernhard Rumpe, Michael von Wenckstern	Extendable Toolchain for Automatic Compatibility Checks.	OCL@MoDELS	2016	DBLP BibTeX RDF
19	Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi	SMACK software verification toolchain.	ICSE (Companion Volume)	2016	DBLP DOI BibTeX RDF
19	Stefan Mätzler, Martin Wollschlaeger	Toolchain for semantically enriched device development of flexible profile conform field devices.	ETFA	2016	DBLP DOI BibTeX RDF
19	Sébastien Caux, Edouard Hendrickx, François Berry, Maxime Pelcat, Jocelyn Sérot	Demo GPStudio: a toolchain for FPGA-based Smart Cameras: Demo Paper.	ICDSC	2016	DBLP DOI BibTeX RDF
19	Tim Felgentreff, Tobias Pape, Patrick Rein, Robert Hirschfeld	How to Build a High-Performance VM for Squeak/Smalltalk in Your Spare Time: An Experience Report of Using the RPython Toolchain.	IWST	2016	DBLP BibTeX RDF
19	Miroslav Sili, Elisabeth Broneder, Martin Morandell, Christopher C. Mayer	Avatars 4 all: an avatar generation toolchain.	PervasiveHealth	2016	DBLP BibTeX RDF
19	Takaaki Miyajima, David B. Thomas, Hideharu Amano	Courier: A Toolchain for Application Acceleration on Heterogeneous Platforms.	IPSJ Trans. Syst. LSI Des. Methodol.	2015	DBLP DOI BibTeX RDF
19	Takaaki Miyajima, David B. Thomas, Hideharu Amano	A Toolchain for Dynamic Function Off-load on CPU-FPGA Platforms.	J. Inf. Process.	2015	DBLP DOI BibTeX RDF
19	Jan Jelschen, Johannes Meier, Andreas Winter 0001	Sensei Applied: An Auto-Generated Toolchain for Q-MIG.	Softwaretechnik-Trends	2015	DBLP BibTeX RDF
19	Ned Letcher, Rebecca Dridan, Timothy Baldwin	gDelta: a missing link in the grammar engineering toolchain.	Lang. Resour. Evaluation	2015	DBLP DOI BibTeX RDF
19	Ian Gray, Gary Plumbridge, Neil C. Audsley	Toolchain-based approach to handling variability in embedded multiprocessor system on chips.	IET Comput. Digit. Tech.	2015	DBLP DOI BibTeX RDF
19	Adwait Gupte, Sudhanshu Vyas, Phillip H. Jones	A Fault-Aware Toolchain Approach for FPGA Fault Tolerance.	ACM Trans. Design Autom. Electr. Syst.	2015	DBLP DOI BibTeX RDF
19	Jens Korinth, David de la Chevallerie, Andreas Koch 0001	ThreadPoolComposer - An Open-Source FPGA Toolchain for Software Developers.	CoRR	2015	DBLP BibTeX RDF
19	Said Daoudagh, Donia El Kateb, Francesca Lonetti, Eda Marchetti, Tejeddine Mouelhi	A Toolchain for Model-based Design and Testing of Access Control Systems.	MODELSWARD	2015	DBLP DOI BibTeX RDF
19	Georg Macher, Eric Armengaud, Christian Kreiner	Integration of Heterogeneous Tools to a Seamless Automotive Toolchain.	EuroSPI	2015	DBLP DOI BibTeX RDF
19	Andreas Jahn 0002, Sian Lun Lau, Klaus David, Bernhard Sick	A Toolchain for Context Recognition: Automating the Investigation of a Multitude of Parameter Sets.	VTC Fall	2015	DBLP DOI BibTeX RDF
19	Jan Olaf Blech, Peter Herrmann, Ian D. Peake, Heinz W. Schmidt	Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems.	ENASE	2015	DBLP DOI BibTeX RDF
19	Laurence Pierre	Towards a toolchain for assertion-driven test sequence generation.	FDL	2015	DBLP DOI BibTeX RDF
19	Christian Kreuzberger, Daniel Posch, Hermann Hellwagner	A scalable video coding dataset and toolchain for dynamic adaptive streaming over HTTP.	MMSys	2015	DBLP DOI BibTeX RDF
19	Alexei Colin, Alanson P. Sample, Brandon Lucia	Energy-interference-free system and toolchain support for energy-harvesting devices.	CASES	2015	DBLP DOI BibTeX RDF
19	Aymen Ketata, Carlos Moreno 0002, Sebastian Fischmeister, Jia Hui Liang, Krzysztof Czarnecki 0001	Performance prediction upon toolchain migration in model-based software.	MoDELS	2015	DBLP DOI BibTeX RDF
19	Jonathan Kimmitt, David J. Greaves, Marcian N. Cirstea	A toolchain for safety-critical embedded processor programming using FPGAs.	INDIN	2015	DBLP DOI BibTeX RDF
19	John Witulski, Michael Leuschel	Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB.	F-IDE	2014	DBLP DOI BibTeX RDF
19	Lena Rogovchenko-Buffoni, Andrea Tundis, Muhammed Zoheb Hossain, Mattias Nyberg, Peter Fritzson	An integrated toolchain for model based functional safety analysis.	J. Comput. Sci.	2014	DBLP DOI BibTeX RDF
19	Dylan Richard Muir, Björn Kampa	FocusStack and StimServer: A new open source MATLAB toolchain for visual stimulation and analysis of two-photon calcium neuronal imaging data.	Frontiers Neuroinformatics	2014	DBLP DOI BibTeX RDF
19	Antonia Bertolino, Marianne Busch, Said Daoudagh, Francesca Lonetti, Eda Marchetti	A Toolchain for Designing and Testing Access Control Policies.	Engineering Secure Future Internet Services and Systems	2014	DBLP DOI BibTeX RDF
19	Luca Gherardi, Davide Brugali	Modeling and reusing robotic software architectures: The HyperFlex toolchain.	ICRA	2014	DBLP DOI BibTeX RDF
19	Timm Bostelmann, Sergei Sawitzki	A conceptual toolchain for an application domain specific reconfigurable logic architecture.	ReConFig	2014	DBLP DOI BibTeX RDF
19	Francisco J. Ortiz, Diego Alonso, Francisca Rosique, Francisco Sánchez-Ledesma, Juan Angel Pastor	A Component-Based Meta-Model and Framework in the Model Driven Toolchain C-Forge.	SIMPAR	2014	DBLP DOI BibTeX RDF
19	Krzysztof Kluza, Krzysztof Kaczor, Grzegorz J. Nalepa	Integration of Business Processes with Visual Decision Modeling. Presentation of the HaDEs Toolchain.	Business Process Management Workshops	2014	DBLP DOI BibTeX RDF
19	Fabrizio Spada, Alberto Scolari, Gianluca C. Durelli, Riccardo Cattaneo, Marco D. Santambrogio, Donatella Sciuto, Dionisios N. Pnevmatikatos, Georgi Gaydadjiev, Oliver Pell, Andreas Brokalakis, Wayne Luk, Dirk Stroobandt, Danilo Pau	FPGA-Based Design Using the FASTER Toolchain: The Case of STM Spear Development Board.	ISPA	2014	DBLP DOI BibTeX RDF
19	Patrick S. McCormick, Christine Sweeney, Nick Moss, Dean Prichard, Samuel K. Gutierrez, Kei Davis, Jamaludin Mohd-Yusof	Exploring the construction of a domain-aware toolchain for high-performance computing.	WOLFHPC@SC	2014	DBLP DOI BibTeX RDF
19	Tilman Wekel	Shape and topology from noisy triangulated surfaces in a multiple view reconstruction toolchain.		2014	RDF
19	Ståle Walderhaug	Design and evaluation of the ModelHealth toolchain for continuity of care web services.	Autom. Softw. Eng.	2013	DBLP DOI BibTeX RDF
19	João M. P. Cardoso, Tiago Carvalho, José Gabriel F. Coutinho, Ricardo Nobre, Razvan Nane, Pedro C. Diniz, Zlatko Petrov, Wayne Luk, Koen Bertels	Controlling a complete hardware synthesis toolchain with LARA aspects.	Microprocess. Microsystems	2013	DBLP DOI BibTeX RDF
19	Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia	A Toolchain for UML-based Modeling and Simulation of Networked Embedded Systems.	UKSim	2013	DBLP DOI BibTeX RDF
19	Aibek Sarimbekov, Andreas Sewe, Stephen Kell, Yudi Zheng, Walter Binder, Lubomír Bulej, Danilo Ansaloni	A comprehensive toolchain for workload characterization across JVM languages.	PASTE	2013	DBLP DOI BibTeX RDF
19	Bruno da Silva 0001, An Braeken, Erik H. D'Hollander, Abdellah Touhafi, Jan G. Cornelis, Jan Lemeire	Performance and toolchain of a combined GPU/FPGA desktop (abstract only).	FPGA	2013	DBLP DOI BibTeX RDF
19	Sven Gröning, Christopher Rosas, Christian Wietfeld	COMPLeTe - A COMmunication Protocol vaLidation Toolchain.	SPIN	2013	DBLP DOI BibTeX RDF
19	Antonia Bertolino, Marianne Busch, Said Daoudagh, Nora Koch, Francesca Lonetti, Eda Marchetti	A Toolchain for Designing and Testing XACML Policies.	ICST	2013	DBLP DOI BibTeX RDF
19	Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli	A reusable modular toolchain for automated dependability evaluation.	VALUETOOLS	2013	DBLP DOI BibTeX RDF
19	Robert Dietrich, Frank Winkler, Thomas William, Jonas Stolle, Robert Henschel, Donald K. Berry	A Case Study: Holistic Performance Analysis on Heterogeneous Architectures using the Vampir Toolchain.	PARCO	2013	DBLP DOI BibTeX RDF
19	Peter H. Dalsgaard, Thibaut Le Guilly, Daniel Middelhede, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou	A Toolchain for Home Automation Controller Development.	EUROMICRO-SEAA	2013	DBLP DOI BibTeX RDF
19	Lorenzo Saino, Cosmin Cocora, George Pavlou	A toolchain for simplifying network simulation setup.	SimuTools	2013	DBLP DOI BibTeX RDF
19	Jiaqi Zhao 0004, Jie Tao 0001, Lizhe Wang 0001, Andreas Wirooks	A Toolchain For Profiling Virtual Machines.	ECMS	2013	DBLP DOI BibTeX RDF
19	Baobing Wang, John S. Baras	HybridSim: A Modeling and Co-simulation Toolchain for Cyber-physical Systems.	DS-RT	2013	DBLP DOI BibTeX RDF
19	Jan Jelschen, Andreas Winter 0001	A Toolchain for Metrics-based Comparison of COBOL and Migrated Java Systems.	Softwaretechnik-Trends	2012	DBLP BibTeX RDF
19	Shaolin Peng, Gregory S. Parsons, Alexander G. Dean	Resource-Focused Toolchain for Rapid Prototyping of Embedded Systems.	J. Circuits Syst. Comput.	2012	DBLP DOI BibTeX RDF
19	David Pichardie	Toward a Verified Software Toolchain for Java.		2012	RDF
19	Neil C. Audsley, Ian Gray, Andrea Acquaviva, Ralph Haines	ToucHMore toolchain and system software for energy and variability customisation.	HLDVT	2012	DBLP DOI BibTeX RDF
19	Johannes Wienke, Arne Nordmann, Sebastian Wrede 0001	A Meta-model and Toolchain for Improved Interoperability of Robotic Frameworks.	SIMPAR	2012	DBLP DOI BibTeX RDF
19	Xi Zhang 0001, Junaid Ansari, Petri Mähönen	Demo: runtime MAC reconfiguration using a meta-compiler assisted toolchain.	SIGCOMM	2012	DBLP DOI BibTeX RDF
19	Petr Homola	A Machine Translation Toolchain for Polysynthetic Languages.	EAMT	2012	DBLP BibTeX RDF
19	Teemu Rinta-aho, Mika Karlstedt, Madhav P. Desai	The Click2NetFPGA Toolchain.	USENIX Annual Technical Conference	2012	DBLP BibTeX RDF
19	Safwan Choudhury, Derek Wight, Dana Kulic	Rapid prototyping toolchain for humanoid robotics applications.	Humanoids	2012	DBLP DOI BibTeX RDF
19	Ali Azarian, João Canas Ferreira, Stephan Werner 0002, Zlatko Petrov, João M. P. Cardoso, Michael Hübner 0001	Analysis of error detection schemes: Toolchain support and hardware/software implications.	AHS	2012	DBLP DOI BibTeX RDF
19	Takaaki Miyajima, David B. Thomas, Hideharu Amano	A Domain Specific Language and Toolchain for OpenCV Runtime Binary Acceleration Using GPU.	ICNC	2012	DBLP DOI BibTeX RDF
19	Julien Heulot, Karol Desnos, Jean-François Nezan, Maxime Pelcat, Mickaël Raulet, Hervé Yviquel, P.-L. Lagalaye, Jean-Christophe Le Lann	An experimental toolchain based on high-level dataflow models of computation for heterogeneous MPSoC.	DASIP	2012	DBLP BibTeX RDF
19	Andrew W. Appel	Verified Software Toolchain.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
19	Doug Kwan, Jing Yu, Bhaskar Janakiraman	Google's C/C++ toolchain for smart handheld devices.	VLSI-DAT	2012	DBLP DOI BibTeX RDF
19	Margarete Sackmann	A model-driven toolchain for software parallelization		2012	RDF
19	Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella	JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming	CoRR	2011	DBLP BibTeX RDF
19	Jonathan Lasalle, Fabien Peureux, Frédéric Fondement	Development of an automated MBT toolchain from UML/SysML models.	Innov. Syst. Softw. Eng.	2011	DBLP DOI BibTeX RDF
19	Nicolas Staelens, Iñigo Sedano, Marcus Barkowsky, Lucjan Janowski, Kjell Brunnström, Patrick Le Callet	Standardized toolchain and model development for video quality assessment - The mission of the Joint Effort Group in VQEG.	QoMEX	2011	DBLP DOI BibTeX RDF
19	Andrew W. Appel	Verified Software Toolchain - (Invited Talk).	ESOP	2011	DBLP DOI BibTeX RDF
19	Fuat Keceli, Alexandros Tzannes, George C. Caragea, Rajeev Barua, Uzi Vishkin	Toolchain for Programming, Simulating and Studying the XMT Many-Core Architecture.	IPDPS Workshops	2011	DBLP DOI BibTeX RDF
19	Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella	JavaCtx: seamless toolchain integration for context-oriented programming.	COP@ECOOP	2011	DBLP DOI BibTeX RDF
19	Nathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu 0001	Recovering the toolchain provenance of binary code.	ISSTA	2011	DBLP DOI BibTeX RDF
19	Adam C. Jensen, Betty H. C. Cheng, Heather Goldsby, Edward C. Nelson	A Toolchain for the Detection of Structural and Behavioral Latent System Properties.	MoDELS	2011	DBLP DOI BibTeX RDF
19	Felix Klose, Christian Lipski, Kai Ruhl, Benjamin Meyer 0002, Marcus A. Magnor	A toolchain for capturing and rendering stereo and multi-view datasets.	IC3D	2011	DBLP DOI BibTeX RDF
19	Sergey Bratus, James Oakley, Ashwin Ramaswamy, Sean W. Smith, Michael E. Locasto	Katana: Towards Patching as a Runtime Part of the Compiler-Linker-Loader Toolchain.	Int. J. Secur. Softw. Eng.	2010	DBLP DOI BibTeX RDF
19	Gerrit Hoven, Gerhard Juen, Ulrich Kaiser, Andreas Steffens	CityGML-Toolchain - Performante Visualisierung großer 3D-Stadtmodelle im Internet zur Einbindung in 3 D-Fachanwendungen.	Geoinformatik	2010	DBLP BibTeX RDF