Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Hayato Kawashima, Katsuhiko Gondow |
Experience with ANSI C Markup Language for a Cross-Referencer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 324, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
63 | Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa |
Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers, pp. 133-153, 2002, Springer, 3-540-00708-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
54 | Lutz Prechelt, Walter F. Tichy |
A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(4), pp. 302-312, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
quality, productivity, controlled experiment, defects, Type checking |
54 | Lutz Prechelt, Walter F. Tichy |
An Experiment to Assess the Benefits of Inter-Module Type Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 3rd IEEE International Software Metrics Symposium (METRICS 1996), From Measurement to Empirical Results, March 25-26, 1996, Berlin, Germany, pp. 112-, 1996, IEEE Computer Society, 0-8186-7364-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
53 | Yutaka Oiwa |
Implementation of the memory-safe full ANSI-C compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 259-269, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
c language, memory safety |
53 | Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav |
Predicate Abstraction of ANSI-C Programs Using SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 25(2-3), pp. 105-127, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ANSI-C, SAT, predicate abstraction |
42 | Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav |
SATABS: SAT-Based Predicate Abstraction for ANSI-C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 570-574, 2005, Springer, 3-540-25333-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Edmund M. Clarke, Daniel Kroening, Flavio Lerda |
A Tool for Checking ANSI-C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 168-176, 2004, Springer, 3-540-21299-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Henry G. Baker |
Computing A*B (mod N) efficiently in ANSI C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 27(1), pp. 95-98, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
C |
42 | Lucas C. Cordeiro, Bernd Fischer 0002, João Marques-Silva 0001 |
SMT-Based Bounded Model Checking for Embedded ANSI-C Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, pp. 137-148, 2009, IEEE Computer Society, 978-0-7695-3891-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Embedded ANSI-C Software, Bounded Model Checking, Satisfiability Modulo Theories |
32 | Adrian Johnstone, Elizabeth Scott, Tim Womack |
Reverse Compilation for Digital Signal Processors: A Working Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, 2000, IEEE Computer Society, 0-7695-0493-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
reverse compilation, VLIW architectures, DSP architectures |
32 | Farooq Butt |
Porting the mcc PowerPC C/C++ Compiler into an Interactive Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 31(8), pp. 64-73, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
C++ |
32 | Charles D. Norton |
The International Workshop on Parallel C++ (IWPC++), Kanazawa, Ishikawa Prefecture, Japan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 31(8), pp. 28-30, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
C++ |
32 | Vaidyanathan Ramadurai, Sanjay Jinturkar, Mayan Moudgill, John Glossner |
Implementation of H.264 decoder on Sandblaster DSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2005 IEEE International Conference on Multimedia and Expo, ICME 2005, July 6-9, 2005, Amsterdam, The Netherlands, pp. 694-698, 2005, IEEE Computer Society, 0-7803-9331-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
H.264-AVC baseline profile decoder, Sandblaster digital signal processor, ANSI C, DSP, optimization technique, software implementation |
32 | Massimiliano Poletto, Wilson C. Hsieh, Dawson R. Engler, M. Frans Kaashoek |
'C and tcc: A Language and Compiler for Dynamic Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 21(2), pp. 324-369, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
ANSI C, dynamic code optimization, compilers, dynamic code generation |
32 | Ireneusz Karkowski, Henk Corporaal |
Design of Heterogenous Multi-Processor Embedded Systems: Applying Functional Pipelining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1997 Conference on Parallel Architectures and Compilation Techniques (PACT '97), San Francisco, CA, USA, October 11-15, 1997, pp. 156-165, 1997, IEEE Computer Society, 0-8186-8090-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
heterogenous multiprocessor embedded system design, functional pipelining, embedded program mapping, ANSI C program, application specific processor pipeline, frequency tracking system, two-processor system, highly optimized single core solution, architecture, multiprocessing systems, instruction level parallelism, speedup, efficient algorithm, loops |
32 | Dmitry Arapov, Alexey Ya. Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Ted G. Lewis |
A programming environment for heterogenous distributed memory machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Heterogeneous Computing Workshop ![In: 6th Heterogeneous Computing Workshop, HCW 1997, Geneva, Switzerland, April 1, 1997, pp. 32-45, 1997, IEEE Computer Society, 0-8186-7879-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
heterogenous distributed memory machines, ANSI C superset, application topology, mpC programming environment, portable parallel programs, run-time support system, command-line user interface, parallel programming, compiler, programming language, programming environment, network topology, virtual processors, mpC |
32 | Guido Wirtz |
Modularization, re-use and testing for parallel message-passing programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 299-308, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
parallel message-passing programs, program reuse, parallel program design, imperative message-passing programming language, distributed memory paradigm, graphical constructs, sequential parts, slightly restricted ANSI-C, formal specification, parallel programming, message passing, modularization, requirements, program testing, program testing, software reusability, distributed memory systems, parallel languages, sequential programming |
32 | Mariam Kamkar, Patrik Krajina |
Dynamic slicing of distributed programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995, pp. 222-, 1995, IEEE Computer Society, 0-8186-7141-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
program maintenance activities, computer supported methods, distributed dynamic dependence graph, communication dependences, distributed dynamic slicer, ANSI-C programming language, parallel MIMD computer, Parsytec GC/Powerplus, parallel programming, graph theory, software maintenance, message passing, program slicing, distributed programs, dependence analysis, program diagnostics, dynamic slicing, dynamic slice, static slice |
31 | Adrian Johnstone, Elizabeth Scott, Tim Womack |
Experience Paper: Reverse Compilation of Digital Signal Processor Assembler Source to ANSI-C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1999 International Conference on Software Maintenance, ICSM 1999, Oxford, England, UK, August 30 - September 3, 1999, pp. 316-325, 1999, IEEE Computer Society, 0-7695-0016-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
reverse compilation, low to high level language translation, digital signal processing |
31 | Arndt Lindner |
ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings, pp. 209-217, 1998, Springer, 3-540-65110-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Stephen N. Freund, Eric S. Roberts |
Thetis: an ANSI C programming environment designed for introductory use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1996, Philadelphia, Pennsylvania, USA, February 15-17, 1996, pp. 300-304, 1996, ACM, 0-89791-757-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
31 | Christopher W. Fraser |
A retargetable compiler for ANSI C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 26(10), pp. 29-43, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
C |
22 | Fengbin Qi, Xianyi Zhang, Shanshan Wang, Xingquan Mao |
RCC: A New Programming Language for Reconfigurable Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: 11th IEEE International Conference on High Performance Computing and Communications, HPCC 2009, 25-27 June 2009, Seoul, Korea, pp. 688-693, 2009, IEEE, 978-0-7695-3738-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Alex K. Jones, Raymond R. Hoare, Swapna R. Dontharaju, Shen Chih Tung, Ralph Sprang, Joshua Fazekas, James T. Cain, Marlin H. Mickle |
A Field Programmable RFID Tag and Associated Design Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 14th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2006), 24-26 April 2006, Napa, CA, USA, Proceedings, pp. 165-174, 2006, IEEE Computer Society, 0-7695-2661-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Robin J. Bruce, Richard Chamberlain, Malachy Devlin, Stephen Marshall |
Poster reception - Implementing algorithms on FPGAs using high-level languages and low-level libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, November 11-17, 2006, Tampa, FL, USA, pp. 153, 2006, ACM Press, 0-7695-2700-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Daniel Kroening, Edmund M. Clarke |
Checking consistency of C and Verilog using predicate abstraction and induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2004 International Conference on Computer-Aided Design, ICCAD 2004, San Jose, CA, USA, November 7-11, 2004, pp. 66-72, 2004, IEEE Computer Society / ACM, 0-7803-8702-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Richard Kelsey, William D. Clinger, Jonathan Rees |
Revised5 Report on the Algorithmic Language Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 33(9), pp. 26-76, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
SCHEME |
22 | Markus Willems, Volker Bürsgens, Holger Keding, Thorsten Grötker, Heinrich Meyr |
System Level Fixed-Point Design Based on an Interpolative Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 34st Conference on Design Automation, Anaheim, California, USA, Anaheim Convention Center, June 9-13, 1997., pp. 293-298, 1997, ACM Press, 0-89791-920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Edmund M. Clarke, Daniel Kroening, Karen Yorav |
Behavioral consistency of C and verilog programs using bounded model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 368-371, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
ANSI-C, equivalence checking, verilog |
20 | David Heath, Yibin Yang 0001, David Devecsery, Vladimir Kolesnikov |
Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached RAM for ANSI C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 810, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Yibin Yang 0001, David Heath, Vladimir Kolesnikov, David Devecsery |
EZEE: Epoch Parallel Zero Knowledge for ANSI C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 811, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Yibin Yang 0001, David Heath, Vladimir Kolesnikov, David Devecsery |
EZEE: Epoch Parallel Zero Knowledge for ANSI C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroS&P ![In: 7th IEEE European Symposium on Security and Privacy, EuroS&P 2022, Genoa, Italy, June 6-10, 2022, pp. 109-123, 2022, IEEE, 978-1-6654-1614-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | David Heath, Yibin Yang 0001, David Devecsery, Vladimir Kolesnikov |
Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached ORAM for ANSI C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021, pp. 1538-1556, 2021, IEEE, 978-1-7281-8935-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Tiemeyer, Tom Melham, Daniel Kroening, John O'Leary |
CREST: Hardware Formal Verification with ANSI-C Reference Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.01324, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Jan Ríha, Jakub Klemsa, Martin Novotný |
Multiprecision ANSI C Library for Implementation of Cryptographic Algorithms on Microcontrollers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MECO ![In: 8th Mediterranean Conference on Embedded Computing, MECO 2019, Budva, Montenegro, June 10-14, 2019, pp. 1-4, 2019, IEEE, 978-1-7281-1739-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Pascal Degener, Valentin Haak, Carolin Gold-Veerkamp, Joerg Abke |
Towards the Vision of an LMS Integrated, Browser-Based Simulation to Program LEGO MindStorms EV3s in ANSI-C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDUCON ![In: IEEE Global Engineering Education Conference, EDUCON 2019, Dubai, United Arab Emirates, April 8-11, 2019, pp. 89-94, 2019, IEEE, 978-1-5386-9506-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Kevin Lano, Sobhan Yassipour Tehrani, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi |
Translating UML-RSDS OCL to ANSI C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers, pp. 317-330, 2017, Springer, 978-3-319-74729-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Jan Kwiatkowski, Dzanan Bajgoric |
Automatic Parallelization of ANSI C to CUDA C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM (1) ![In: Parallel Processing and Applied Mathematics - 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I, pp. 459-470, 2017, Springer, 978-3-319-78023-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Niklas Büscher, David Kretzmer, Arnav Jindal, Stefan Katzenbeisser 0001 |
Scalable secure computation from ANSI-C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFS ![In: IEEE International Workshop on Information Forensics and Security, WIFS 2016, Abu Dhabi, United Arab Emirates, December 4-7, 2016, pp. 1-6, 2016, IEEE, 978-1-5090-1138-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | Ahmed Hamed Fatehy, Rania O. Hassan, Mohamed B. Abdelhalim, S. E.-D. Habib |
ANSI C Front-End enhancement for CUPSHOP HW/SW partitioning tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACTEA ![In: 3rd International Conference on Advances in Computational Tools for Engineering Applications, ACTEA 2016, Zouk Mosbeh, Lebanon, July 13-15, 2016, pp. 12-15, 2016, IEEE, 978-1-4673-8523-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer 0002 |
Model checking LTL properties over ANSI-C programs with bounded traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 14(1), pp. 65-81, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Lidia Dobrescu |
Replacing ANSI C with other modern programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1412.5867, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Martin Franz, Andreas Holzer, Stefan Katzenbeisser 0001, Christian Schallhart, Helmut Veith |
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction - 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings, pp. 244-249, 2014, Springer, 978-3-642-54806-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Jeff A. Bilmes, Krste Asanovic, Chee-Whye Chin, Jim Demmel |
Author retrospective for optimizing matrix multiply using PHiPAC: a portable high-performance ANSI C coding methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS 25th Anniversary ![In: ACM International Conference on Supercomputing 25th Anniversary Volume, pp. 42-44, 2014, ACM, 978-1-4503-2840-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec |
A design approach to automatically synthesize ANSI-C assertions during High-Level Synthesis of hardware accelerators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systemss, ISCAS 2014, Melbourne, Victoria, Australia, June 1-5, 2014, pp. 165-168, 2014, IEEE, 978-1-4799-3431-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee |
A systematic verification of behavioral consistency between FBD design and ANSI-C implementation using HW-CBMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 120, pp. 139-149, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Peter Bakucz |
Spline filtering in accordance to ISO/TS 16610: ANSI C-code for engineers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACI ![In: IEEE 8th International Symposium on Applied Computational Intelligence and Informatics, SACI 2013, Timisoara, Romania, May 23-25, 2013, pp. 371-374, 2013, IEEE, 978-1-4673-6397-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Lucas C. Cordeiro, Bernd Fischer 0002, João Marques-Silva 0001 |
SMT-Based Bounded Model Checking for Embedded ANSI-C Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 38(4), pp. 957-974, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Holzer, Martin Franz, Stefan Katzenbeisser 0001, Helmut Veith |
Secure two-party computations in ANSI C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012, pp. 772-783, 2012, ACM, 978-1-4503-1651-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro, Arilo Dias Neto |
Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 128-142, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Jan Sadolewski |
Conversion of ST Control Programs to ANSI C for Verification Purposes. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
e Informatica Softw. Eng. J. ![In: e Informatica Softw. Eng. J. 5(1), pp. 65-76, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Manu Jose, Rupak Majumdar |
Bug-Assist: Assisting Fault Localization in ANSI-C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings, pp. 504-509, 2011, Springer, 978-3-642-22109-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer 0002 |
Context-Bounded Model Checking of LTL Properties for ANSI-C Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, pp. 302-317, 2011, Springer, 978-3-642-24689-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | David J. Russell |
Introduction to Embedded Systems: Using ANSI C and the Arduino Development Environment ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
DOI RDF |
|
20 | Lucas C. Cordeiro, Bernd Fischer 0002, João Marques-Silva 0001 |
SMT-Based Bounded Model Checking for Embedded ANSI-C Software ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0907.2072, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
20 | Sumit Ahuja, Swathi T. Gurumani, Chad Spackman, Sandeep K. Shukla |
Hardware Coprocessor Synthesis from an ANSI C Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 26(4), pp. 58-67, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger |
Loopfrog: A Static Analyzer for ANSI-C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, pp. 668-670, 2009, IEEE Computer Society, 978-0-7695-3891-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Mathias Funk, Alexander Nyßen, Horst Lichter |
From UML to ANSI-C - An Eclipse-Based Code Generation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (SE/MUSE/GSDCA) ![In: ICSOFT 2008 - Proceedings of the Third International Conference on Software and Data Technologies, Volume SE/MUSE/GSDCA, Porto, Portugal, July 5-8, 2008, pp. 12-19, 2008, INSTICC Press, 978-989-8111-52-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Bernhard Rieder, Peter P. Puschner, Ingomar Wenzel |
Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISES ![In: International Workshop on Intelligent Solutions in Embedded Systems, WISES 2008, Regensburg, Germany, July 10-11, 2008, pp. 1-7, 2008, IEEE, 978-3-00-024989-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Piotr Dziurzanski, Wlodzimierz Bielecki, Konrad Trifunovic, M. Kleszczonek |
A System for Transforming an ANSI C Code with OpenMP Directives into a SystemC Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), Prague, Czech Republic, April 18-21, 2006, pp. 153-154, 2006, IEEE Computer Society, 1-4244-0185-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | David J. Lau, Orion Pritchard |
Rapid System-on-a-Programmable-Chip Development and Hardware Acceleration Of ANSI C Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Proceedings of the 2006 International Conference on Field Programmable Logic and Applications (FPL), Madrid, Spain, August 28-30, 2006, pp. 1-6, 2006, IEEE, 1-4244-0312-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Nathalie Rose T. Lim, Cheryl Anne G. Cordova, Christie Diane Y. Lopez, Carissa P. Recto |
ANSI C Program Slicing Tool and Text Generator for an Interactive Learning Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, ICALT 2005, Kaohsiung, Taiwan, July 5-8, 2005, pp. 193-197, 2005, IEEE Computer Society, 0-7695-2338-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Patricio Bulic, Veselko Gustin |
An Extended ANSI C for Processors with a Multimedia Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 31(2), pp. 107-136, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Edmund M. Clarke, Daniel Kroening |
Hardware verification using ANSI-C programs as a reference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2003 Asia and South Pacific Design Automation Conference, ASP-DAC '03, Kitakyushu, Japan, January 21-24, 2003, pp. 308-311, 2003, ACM, 0-7803-7660-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Patricio Bulic, Veselko Gustin, Ljubo Pipan |
An Extended ANSI C for Multimedia Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings, pp. 429-443, 2003, Springer, 3-540-40673-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Katsuhiko Gondow, Hayato Kawashima |
Towards ANSI C Program Slicing using XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LDTA@ETAPS ![In: Second Workshop on Language Descriptions, Tools and Applications, LDTA 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002, pp. 30-49, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Nikolaos S. Papaspyrou |
Denotational semantics of ANSI C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 23(3), pp. 169-185, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Robert Robson |
Using the STL - the C++ standard template library ; conforms to 1998 ANSI C++ standard (2. ed.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
20 | Lawrence E. Bassham III |
Efficiency Testing of ANSI C Implementations of Round 2 Candidate Algorithms for the Advanced Encryption Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AES Candidate Conference ![In: The Third Advanced Encryption Standard Candidate Conference, April 13-14, 2000, New York, New York, USA., pp. 136-148, 2000, National Institute of Standards and Technology,. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Gerard J. Holzmann |
Logic Verification of ANSI-C Code with SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings, pp. 131-147, 2000, Springer, 3-540-41030-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Tor M. Aamodt, Paul Chow |
Embedded ISA support for enhanced floating-point to fixed-point ANSI-C compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2000 International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2000, San Jose, California, USA, November 7-18, 2000, pp. 128-137, 2000, ACM, 1-58113-338-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Maarten Boekhold, Ireneusz Karkowski, Henk Corporaal, Andrea G. M. Cilio |
A Programmable ANSI C Transformation Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 8th International Conference, CC'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, pp. 292-295, 1999, Springer, 3-540-65717-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Maarten Boekhold, Ireneusz Karkowski, Henk Corporaal |
Transformatiing and Parallelizing ANSI C Programs using Pattern Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCN ![In: High-Performance Computing and Networking, 7th International Conference, HPCN Europe 1999, Amsterdam, The Netherlands, April 12-14, 1999, Proceedings, pp. 673-682, 1999, Springer, 3-540-65821-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Kevin Templer, Clinton L. Jeffery |
A Configurable Automatic Instrumentation Tool for ANSI C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The Thirteenth IEEE Conference on Automated Software Engineering, ASE 1998, Honolulu, Hawaii, USA, October 13-16, 1998, pp. 249-, 1998, IEEE Computer Society, 0-8186-8750-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Christian H. Bischof, Lucas Roh, A. J. Mauer-Oats |
ADIC: An Extensible Automatic Differentiation Tool for ANSI-C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 27(12), pp. 1427-1456, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Jeff A. Bilmes, Krste Asanovic, Chee-Whye Chin, James Demmel |
Optimizing Matrix Multiply Using PHiPAC: A Portable, High-Performance, ANSI C Coding Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Supercomputing ![In: Proceedings of the 11th international conference on Supercomputing, ICS 1997, Vienna, Austria, July 7-11, 1997, pp. 340-347, 1997, ACM, 0-89791-902-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
C |
20 | Mohd Hanafiah Abdullah |
hcc - A Portable ANSI C Compiler (with a Code Generator for the PowerPCs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 31(8), pp. 52-59, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
C |
20 | James B. Peterson, R. Brendan O'Connor, Peter M. Athanas |
Scheduling and partitioning ANSI-C programs onto multi-FPGA CCM architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 4th IEEE Symposium on FPGAs for Custom Computing Machines (FCCM '96), Napa Valley, CA, USA, April 17-19, 1996, pp. 178-187, 1996, IEEE, 0-8186-7548-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Todd A. Proebsting |
Optimizing an ANSI C Interpreter with Superoperators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 322-332, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C |
20 | Axel-Tobias Schreiner |
Objektorientierte Programmierung mit ANSI C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1994 |
RDF |
|
20 | Gisela Engeln-Müllges, Fritz Reutter |
Numerik-Algorithmen mit ANSI C-Programmen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1993 |
RDF |
|
20 | Paul S. Wang |
An introduction to ANSI C on UNIX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
RDF |
|
20 | C. Nash, William Haebich |
An accidental translator from Smalltalk to ANSI C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPS Messenger ![In: OOPS Messenger 2(3), pp. 12-23, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Christopher W. Fraser, David R. Hanson |
A Code Generation Interface for ANSI C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 21(9), pp. 963-988, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Michael F. Banahan, Declan Brady, Mark Doran |
The C book - featuring the ANSI C standard (2. ed.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1991 |
RDF |
|
20 | Kenneth A. Barclay |
ANSI C problem-solving and programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1991 |
RDF |
|
20 | Brian W. Kernighan, Dennis Ritchie |
Programmieren in C - mit dem C-Reference Manual in deutscher Sprache; ANSI C (2. Ausgabe). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1990 |
RDF |
|
11 | Allen Leung, Nicolas Vasilache, Benoît Meister, Muthu Manikandan Baskaran, David Wohlford, Cédric Bastoul, Richard Lethin |
A mapping path for multi-GPGPU accelerated computers from a portable high level programming abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPGPU ![In: Proceedings of 3rd Workshop on General Purpose Processing on Graphics Processing Units, GPGPU 2010, Pittsburgh, Pennsylvania, USA, March 14, 2010, pp. 51-61, 2010, ACM, 978-1-60558-935-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
compiler optimziation, parallelization, GPGPU, CUDA, polyhedral model, automatic translation |
11 | Daniel Gajski, Todd M. Austin, Steve Svoboda |
What input-language is the best choice for high level synthesis (HLS)? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 857-858, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Ralf Östermark |
Geno-mathematical identification of the multi-layer perceptron. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 18(4), pp. 331-344, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Geno-mathematical programming, Backpropagation, K nearest neighbors |
11 | Chris G. Baker, Ulrich Hetmaniuk, Richard B. Lehoucq, Heidi Thornquist |
Anasazi software for the numerical solution of large-scale eigenvalue problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 36(3), pp. 13:1-13:23, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
large-scale scientific computing, object-oriented programming, generic programming, numerical algorithms, Eigenvalue problems |
11 | Swapna R. Dontharaju, Shen Chih Tung, James T. Cain, Leonid Mats, Marlin H. Mickle, Alex K. Jones |
A design automation and power estimation flow for RFID systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 14(1), pp. 7:1-7:31, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
low-power, RFID, prototyping, design automation |
11 | Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine |
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 620-626, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Jamie Cullen |
Evolving common LISP programs in a linear-genotype evolutionary computation system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEC Summit ![In: Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC Summit 2009, Shanghai, China, June 12-14, 2009, pp. 75-80, 2009, ACM, 978-1-60558-326-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
evolutionary meta compilation, evolutionary meta programming, artificial intelligence, genetic programming, evolutionary computation, grammatical evolution |
11 | Ignacio Larrabide, Pedro Omedas, Yves Martelli, Xavier Planes, Maarten Nieber, Juan A. Moya, Constantine Butakoff, Rafael Sebastián, Oscar Camara 0001, Mathieu De Craene, Bart H. Bijnens, Alejandro F. Frangi |
GIMIAS: An Open Source Framework for Efficient Development of Research Tools and Clinical Prototypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIMH ![In: Functional Imaging and Modeling of the Heart, 5th International Conference, FIMH 2009, Nice, France, June 3-5, 2009. Proceedings, pp. 417-426, 2009, Springer, 978-3-642-01931-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
cardiovascular modeling, Virtual Physiological Human, personalized simulations, open source software, Biomedical imaging |
11 | Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Abstraction Refinement for Probabilistic Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 182-197, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Alex K. Jones, Swapna R. Dontharaju, Shen Chih Tung, Leonid Mats, Peter J. Hawrylak, Raymond R. Hoare, James T. Cain, Marlin H. Mickle |
Radio frequency identification prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 13(2), pp. 29:1-29:22, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
low-power, RFID, prototyping, Design automation |
11 | Hossain Shahriar, Mohammad Zulkernine |
Mutation-Based Testing of Format String Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, pp. 229-238, 2008, IEEE Computer Society, 978-0-7695-3482-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|