Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Massimiliano Menarini, Yan Yan 0021, William G. Griswold |
Semantics-assisted code review: an efficient toolchain and a user study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017, pp. 554-565, 2017, IEEE Computer Society, 978-1-5386-2684-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Steven Arzt, Siegfried Rasthofer, Eric Bodden |
The Soot-Based Toolchain for Analyzing Android Apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOBILESoft@ICSE ![In: 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017, pp. 13-24, 2017, IEEE, 978-1-5386-2669-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Olivier Serres, Engin Kayraklioglu, Tarek A. El-Ghazawi |
HPC-Oriented Toolchain for Hardware Simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2017 IEEE International Conference on Cluster Computing, CLUSTER 2017, Honolulu, HI, USA, September 5-8, 2017, pp. 653-654, 2017, IEEE Computer Society, 978-1-5386-2326-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, pp. 17-34, 2017, Springer, 978-3-319-66196-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Ralph Duncan |
Managing Bytecode and ISA Compatibility with an Enhanced Toolchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: 18th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2017, Taipei, Taiwan, December 18-20, 2017, pp. 414-420, 2017, IEEE Computer Society, 978-1-5386-3151-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Bilal Syed Hussain |
Model selection and testing for an automated constraint modelling toolchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Web Serv. Res. ![In: Int. J. Web Serv. Res. 13(1), pp. 40-52, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro |
Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.03011, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
19 | Gorker Alp Malazgirt, Deniz Candas, Arda Yurdakul |
Taxim: A Toolchain for Automated and Configurable Simulation for Embedded Multiprocessor Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.03341, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
19 | Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro |
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016., pp. 34-51, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PeerJ Prepr. ![In: PeerJ Prepr. 4, pp. e2222, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Emanuele Ruffaldi, Filippo Brizzi, Giacomo Dabisias, Giorgio C. Buttazzo |
SOMA: an OpenMP toolchain for multicore partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016, pp. 1231-1237, 2016, ACM, 978-1-4503-3739-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Luca Baldesi, Leonardo Maccari |
NePA TesT: network protocol and application testing toolchain for community networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WONS ![In: 12th Annual Conference on Wireless On-demand Network Systems and Services, WONS 2016, Cortina d'Ampezzo (BL), Italy, January 20-22, 2016, pp. 88-95, 2016, IEEE, 978-3-9018-8279-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCSoC ![In: 10th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, MCSOC 2016, Lyon, France, September 21-23, 2016, pp. 249-256, 2016, IEEE Computer Society, 978-1-5090-3531-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReConFig ![In: International Conference on ReConFigurable Computing and FPGAs, ReConFig 2016, Cancun, Mexico, November 30 - Dec. 2, 2016, pp. 1-7, 2016, IEEE, 978-1-5090-3707-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, pp. 497-511, 2016, 978-3-319-47168-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DeLFI ![In: DeLFI 2016 - Die 14. E-Learning Fachtagung Informatik, 11.-14. September 2016, Potsdam, pp. 319-321, 2016, GI, 978-3-88579-656-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
19 | Robert Darimont, Wei Zhao, Christophe Ponsard, Arnaud Michot |
A Modular Requirements Engineering Framework for Web-Based Toolchain Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 24th IEEE International Requirements Engineering Conference, RE 2016, Beijing, China, September 12-16, 2016, pp. 405-406, 2016, IEEE Computer Society, 978-1-5090-4121-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SafeConfig@CCS ![In: Proceedings of the 2016 ACM Workshop on Automated Decision Making for Active Cyber Defense, SafeConfig@CCS 2016, Vienna, Austria, October 24, 2016, pp. 37-43, 2016, ACM, 978-1-4503-4566-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: IEEE International Conference on Automation Science and Engineering, CASE 2016, Fort Worth, TX, USA, August 21-25, 2016, pp. 300-305, 2016, IEEE, 978-1-5090-2409-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAMA@SIGSOFT FSE ![In: Proceedings of the International Workshop on App Market Analytics, WAMA@SIGSOFT FSE, Seattle, WA, USA, November 14, 2016, pp. 22-25, 2016, ACM, 978-1-4503-4398-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society, Florence, Italy, October 23-26, 2016, pp. 5296-5301, 2016, IEEE, 978-1-5090-3474-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIE ![In: 25th IEEE International Symposium on Industrial Electronics, ISIE 2016, Santa Clara, CA, USA, June 8-10, 2016, pp. 869-875, 2016, IEEE, 978-1-5090-0873-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 35th International Conference on Computer-Aided Design, ICCAD 2016, Austin, TX, USA, November 7-10, 2016, pp. 59, 2016, ACM, 978-1-4503-4466-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 2016 Forum on Specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016, pp. 1-8, 2016, IEEE, 979-10-92279-17-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioCAS ![In: IEEE Biomedical Circuits and Systems Conference, BioCAS 2016, Shanghai, China, October 17-19, 2016, pp. 115-118, 2016, IEEE, 978-1-5090-2959-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Marco Danelutto, Massimo Torquati, Peter Kilpatrick |
A DSL Based Toolchain for Design Space Exploration in Structured Parallel Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Graph-Based Representation and Reasoning - 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings, pp. 1519-1530, 2016, Springer, 978-3-319-40984-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Graph-Based Representation and Reasoning - 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings, pp. 2297-2301, 2016, Springer, 978-3-319-40984-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Vincent Bertram, Alexander Roth 0004, Bernhard Rumpe, Michael von Wenckstern |
Extendable Toolchain for Automatic Compatibility Checks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OCL@MoDELS ![In: Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 2, 2016., pp. 49-56, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
19 | Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi |
SMACK software verification toolchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume, pp. 589-592, 2016, ACM, 978-1-4503-4205-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Mätzler, Martin Wollschlaeger |
Toolchain for semantically enriched device development of flexible profile conform field devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016, Berlin, Germany, September 6-9, 2016, pp. 1-4, 2016, IEEE, 978-1-5090-1314-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDSC ![In: Proceedings of the 10th International Conference on Distributed Smart Camera, Paris, France, September 12-15, 2016, pp. 214-215, 2016, ACM, 978-1-4503-4786-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWST ![In: Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies, IWST 2016, Prague, Czech Republic, August 23-24, 2016, pp. 21, 2016, ACM, 978-1-4503-4524-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
19 | Miroslav Sili, Elisabeth Broneder, Martin Morandell, Christopher C. Mayer |
Avatars 4 all: an avatar generation toolchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PervasiveHealth ![In: Proceedings of the 10th EAI International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2016, Cancun, Mexico, May 16-20, 2016, pp. 257-261, 2016, ACM. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
19 | Takaaki Miyajima, David B. Thomas, Hideharu Amano |
Courier: A Toolchain for Application Acceleration on Heterogeneous Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSJ Trans. Syst. LSI Des. Methodol. ![In: IPSJ Trans. Syst. LSI Des. Methodol. 8, pp. 105-115, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Takaaki Miyajima, David B. Thomas, Hideharu Amano |
A Toolchain for Dynamic Function Off-load on CPU-FPGA Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. ![In: J. Inf. Process. 23(2), pp. 153-162, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Jan Jelschen, Johannes Meier, Andreas Winter 0001 |
Sensei Applied: An Auto-Generated Toolchain for Q-MIG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 35(2), 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
19 | Ned Letcher, Rebecca Dridan, Timothy Baldwin |
gDelta: a missing link in the grammar engineering toolchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Resour. Evaluation ![In: Lang. Resour. Evaluation 49(1), pp. 51-75, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Comput. Digit. Tech. ![In: IET Comput. Digit. Tech. 9(1), pp. 82-92, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Adwait Gupte, Sudhanshu Vyas, Phillip H. Jones |
A Fault-Aware Toolchain Approach for FPGA Fault Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 20(2), pp. 32:1-32:22, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Jens Korinth, David de la Chevallerie, Andreas Koch 0001 |
ThreadPoolComposer - An Open-Source FPGA Toolchain for Software Developers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1508.06821, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015., pp. 411-418, 2015, SciTePress, 978-989-758-083-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Georg Macher, Eric Armengaud, Christian Kreiner |
Integration of Heterogeneous Tools to a Seamless Automotive Toolchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSPI ![In: Systems, Software and Services Process Improvement - 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 - October 2, 2015. Proceedings, pp. 51-62, 2015, Springer, 978-3-319-24646-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Fall ![In: IEEE 82nd Vehicular Technology Conference, VTC Fall 2015, Boston, MA, USA, September 6-9, 2015, pp. 1-5, 2015, IEEE, 978-1-4799-8091-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE ![In: ENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering, Barcelona, Spain, 29-30 April, 2015., pp. 331-336, 2015, SciTePress, 978-989-758-100-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Laurence Pierre |
Towards a toolchain for assertion-driven test sequence generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 2015 Forum on Specification and Design Languages, FDL 2015, Barcelona, Spain, September 14-16, 2015, pp. 82-89, 2015, IEEE, 978-1-4673-7735-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMSys ![In: Proceedings of the 6th ACM Multimedia Systems Conference, MMSys 2015, Portland, OR, USA, March 18-20, 2015, pp. 213-218, 2015, ACM, 978-1-4503-3351-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Alexei Colin, Alanson P. Sample, Brandon Lucia |
Energy-interference-free system and toolchain support for energy-harvesting devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: 2015 International Conference on Compilers, Architecture and Synthesis for Embedded Systems, CASES 2015, Amsterdam, The Netherlands, October 4-9, 2015, pp. 35-36, 2015, IEEE, 978-1-4673-8320-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015, pp. 302-311, 2015, IEEE Computer Society, 978-1-4673-6908-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Jonathan Kimmitt, David J. Greaves, Marcian N. Cirstea |
A toolchain for safety-critical embedded processor programming using FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 13th IEEE International Conference on Industrial Informatics, INDIN 2015, Cambridge, United Kingdom, July 22-24, 2015, pp. 848-855, 2015, IEEE, 978-1-4799-6649-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | John Witulski, Michael Leuschel |
Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014., pp. 93-105, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. ![In: J. Comput. Sci. 5(3), pp. 408-414, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Neuroinformatics ![In: Frontiers Neuroinformatics 8, pp. 85, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Engineering Secure Future Internet Services and Systems ![In: Engineering Secure Future Internet Services and Systems - Current Research, pp. 266-286, 2014, Springer, 978-3-319-07451-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Luca Gherardi, Davide Brugali |
Modeling and reusing robotic software architectures: The HyperFlex toolchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2014 IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, May 31 - June 7, 2014, pp. 6414-6420, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Timm Bostelmann, Sergei Sawitzki |
A conceptual toolchain for an application domain specific reconfigurable logic architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReConFig ![In: 2014 International Conference on ReConFigurable Computing and FPGAs, ReConFig14, Cancun, Mexico, December 8-10, 2014, pp. 1-4, 2014, IEEE, 978-1-4799-5944-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIMPAR ![In: Simulation, Modeling, and Programming for Autonomous Robots - 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings, pp. 340-351, 2014, Springer, 978-3-319-11899-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops - BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers, pp. 504-515, 2014, Springer, 978-3-319-15894-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2014, Milan, Italy, August 26-28, 2014, pp. 134-141, 2014, IEEE Computer Society, 978-1-4799-4293-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOLFHPC@SC ![In: Proceedings of the Fourth International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing, WOLFHPC '14, New Orleans, Louisiana, USA, November 16-21, 2014, pp. 1-10, 2014, IEEE Computer Society, 978-1-4799-7020-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Tilman Wekel |
Shape and topology from noisy triangulated surfaces in a multiple view reconstruction toolchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
19 | Ståle Walderhaug |
Design and evaluation of the ModelHealth toolchain for continuity of care web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 20(2), pp. 185-235, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 37(8-C), pp. 1073-1089, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UKSim ![In: 15th International Conference on Computer Modelling and Simulation, UKSim 2013, Cambridge, United Kingdom, April 10-12, 2013, pp. 374-379, 2013, IEEE, 978-1-4673-6421-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE '13, Seattle, WA, USA, June 20, 2013, pp. 9-16, 2013, ACM, 978-1-4503-2128-0. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: The 2013 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, FPGA '13, Monterey, CA, USA, February 11-13, 2013, pp. 274, 2013, ACM, 978-1-4503-1887-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Sven Gröning, Christopher Rosas, Christian Wietfeld |
COMPLeTe - A COMmunication Protocol vaLidation Toolchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 196-208, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, Luxembourg, Luxembourg, March 18-22, 2013, pp. 495-496, 2013, IEEE Computer Society, 978-1-4673-5961-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli |
A reusable modular toolchain for automated dependability evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: 7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013, pp. 298-303, 2013, ICST/ACM, 978-1-936968-48-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARCO ![In: Parallel Computing: Accelerating Computational Science and Engineering (CSE), Proceedings of the International Conference on Parallel Computing, ParCo 2013, 10-13 September 2013, Garching (near Munich), Germany, pp. 793-802, 2013, IOS Press, 978-1-61499-380-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 39th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2013, Santander, Spain, September 4-6, 2013, pp. 122-129, 2013, IEEE Computer Society, 978-0-7695-5091-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Lorenzo Saino, Cosmin Cocora, George Pavlou |
A toolchain for simplifying network simulation setup. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: 6th International ICST Conference on Simulation Tools and Techniques, SimuTools '13, Cannes, France, March 6-8, 2013, pp. 82-91, 2013, ICST/ACM, 978-1-4503-2464-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Jiaqi Zhao 0004, Jie Tao 0001, Lizhe Wang 0001, Andreas Wirooks |
A Toolchain For Profiling Virtual Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMS ![In: Proceedings of the 27th European Conference on Modelling and Simulation, ECMS 2013, Ålesund, Norway, May 27-30, 2013, pp. 497-503, 2013, European Council for Modeling and Simulation, 978-0-9564944-6-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Baobing Wang, John S. Baras |
HybridSim: A Modeling and Co-simulation Toolchain for Cyber-physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2013, Delft, The Netherlands, October 30 - November 1, 2013, pp. 33-40, 2013, IEEE Computer Society, 978-0-7695-5138-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Jan Jelschen, Andreas Winter 0001 |
A Toolchain for Metrics-based Comparison of COBOL and Migrated Java Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 32(2), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
19 | Shaolin Peng, Gregory S. Parsons, Alexander G. Dean |
Resource-Focused Toolchain for Rapid Prototyping of Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 21(2), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | David Pichardie |
Toward a Verified Software Toolchain for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
19 | Neil C. Audsley, Ian Gray, Andrea Acquaviva, Ralph Haines |
ToucHMore toolchain and system software for energy and variability customisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: 2012 IEEE International High Level Design Validation and Test Workshop, HLDVT 2012, Huntington Beach, CA, USA, November 9-10, 2012, pp. 148-155, 2012, IEEE Computer Society, 978-1-4673-2897-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Johannes Wienke, Arne Nordmann, Sebastian Wrede 0001 |
A Meta-model and Toolchain for Improved Interoperability of Robotic Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIMPAR ![In: Simulation, Modeling, and Programming for Autonomous Robots - Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings, pp. 323-334, 2012, Springer, 978-3-642-34326-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: ACM SIGCOMM 2012 Conference, SIGCOMM '12, Helsinki, Finland - August 13 - 17, 2012, pp. 277-278, 2012, ACM, 978-1-4503-1419-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Petr Homola |
A Machine Translation Toolchain for Polysynthetic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT ![In: Proceedings of the 16th Annual conference of the European Association for Machine Translation, EAMT 2012, Trento, Italy, May 28-30, 2012, pp. 65-68, 2012, European Association for Machine Translation. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
19 | Teemu Rinta-aho, Mika Karlstedt, Madhav P. Desai |
The Click2NetFPGA Toolchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference ![In: 2012 USENIX Annual Technical Conference, Boston, MA, USA, June 13-15, 2012, pp. 77-88, 2012, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
19 | Safwan Choudhury, Derek Wight, Dana Kulic |
Rapid prototyping toolchain for humanoid robotics applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Humanoids ![In: 12th IEEE-RAS International Conference on Humanoid Robots (Humanoids 2012), Osaka, Japan, November 29 - Dec. 1, 2012, pp. 817-822, 2012, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHS ![In: 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012, Erlangen, Germany, June 25-28, 2012, pp. 62-69, 2012, IEEE, 978-1-4673-1915-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC ![In: Third International Conference on Networking and Computing, ICNC 2012, Okinawa, Japan, December 5-7, 2012, pp. 175-181, 2012, IEEE Computer Society, 978-1-4673-4624-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASIP ![In: Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, DASIP 2012, Karlsruhe, Germany, October 23-25, 2012, pp. 1-2, 2012, IEEE, 978-1-4673-2089-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
19 | Andrew W. Appel |
Verified Software Toolchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings, pp. 2, 2012, Springer, 978-3-642-28890-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Doug Kwan, Jing Yu, Bhaskar Janakiraman |
Google's C/C++ toolchain for smart handheld devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-DAT ![In: Proceedings of Technical Program of 2012 VLSI Design, Automation and Test, VLSI-DAT 2012, Hsinchu, Taiwan, April 23-25, 2012, pp. 1-4, 2012, IEEE, 978-1-4577-2080-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Margarete Sackmann |
A model-driven toolchain for software parallelization ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
19 | Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella |
JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1104.1351, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
19 | Jonathan Lasalle, Fabien Peureux, Frédéric Fondement |
Development of an automated MBT toolchain from UML/SysML models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 7(4), pp. 247-256, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QoMEX ![In: Third International Workshop on Quality of Multimedia Experience, QoMEX 2011, Mechelen, Belgium, September 7-9, 2011, pp. 61-66, 2011, IEEE, 978-1-4577-1333-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Andrew W. Appel |
Verified Software Toolchain - (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, pp. 1-17, 2011, Springer, 978-3-642-19717-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings, pp. 1282-1291, 2011, IEEE, 978-1-61284-425-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella |
JavaCtx: seamless toolchain integration for context-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COP@ECOOP ![In: Proceedings of the 3rd International Workshop on Context-Oriented Programming, COP 2011, Lancaster, United Kingdom, July 25, 2011, pp. 4:1-4:6, 2011, ACM, 978-1-4503-0891-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Nathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu 0001 |
Recovering the toolchain provenance of binary code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011, pp. 100-110, 2011, ACM, 978-1-4503-0562-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings, pp. 683-698, 2011, Springer, 978-3-642-24484-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC3D ![In: International Conference on 3D Imaging, IC3D 2011, Liège, Belgium, December 7-8, 2011, pp. 1-7, 2011, IEEE, 978-1-4799-1577-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Secur. Softw. Eng. ![In: Int. J. Secur. Softw. Eng. 1(3), pp. 1-17, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Geoinformatik ![In: Geoinformatik 2010 - Die Welt im Netz: Konferenzband, Kiel, Germany, March 17-19, 2010., pp. 224-225, 2010, AKA, 978-3-89838-335-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|