The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase ANSI-C (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1990-1995 (16) 1996-1997 (18) 1998-1999 (17) 2000-2001 (16) 2002-2003 (20) 2004 (17) 2005-2006 (26) 2007-2008 (24) 2009-2010 (16) 2011-2016 (16) 2017-2022 (9)
Publication types (Num. hits)
article(40) book(8) inproceedings(147)
Venues (Conferences, Journals, ...)
ACM SIGPLAN Notices(8) ASP-DAC(4) CAV(4) CC(4) DAC(4) DATE(4) TACAS(4) ACM Trans. Design Autom. Elect...(3) ASE(3) CODES+ISSS(3) CoRR(3) DSD(3) FCCM(3) FPL(3) ICSM(3) IEEE Trans. Software Eng.(3) More (+10 of total 125)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 177 occurrences of 150 keywords

Results
Found 195 publication records. Showing 195 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
74Hayato Kawashima, Katsuhiko Gondow Experience with ANSI C Markup Language for a Cross-Referencer. Search on Bibsonomy HICSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
63Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report. Search on Bibsonomy ISSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
54Lutz Prechelt, Walter F. Tichy A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF quality, productivity, controlled experiment, defects, Type checking
54Lutz Prechelt, Walter F. Tichy An Experiment to Assess the Benefits of Inter-Module Type Checking. Search on Bibsonomy IEEE METRICS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
53Yutaka Oiwa Implementation of the memory-safe full ANSI-C compiler. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF c language, memory safety
53Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav Predicate Abstraction of ANSI-C Programs Using SAT. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ANSI-C, SAT, predicate abstraction
42Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav SATABS: SAT-Based Predicate Abstraction for ANSI-C. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Edmund M. Clarke, Daniel Kroening, Flavio Lerda A Tool for Checking ANSI-C Programs. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Henry G. Baker Computing A*B (mod N) efficiently in ANSI C. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1992 DBLP  DOI  BibTeX  RDF C
42Lucas C. Cordeiro, Bernd Fischer 0002, João Marques-Silva 0001 SMT-Based Bounded Model Checking for Embedded ANSI-C Software. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Embedded ANSI-C Software, Bounded Model Checking, Satisfiability Modulo Theories
32Adrian Johnstone, Elizabeth Scott, Tim Womack Reverse Compilation for Digital Signal Processors: A Working Example. Search on Bibsonomy HICSS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF reverse compilation, VLIW architectures, DSP architectures
32Farooq Butt Porting the mcc PowerPC C/C++ Compiler into an Interactive Development Environment. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1996 DBLP  DOI  BibTeX  RDF C++
32Charles D. Norton The International Workshop on Parallel C++ (IWPC++), Kanazawa, Ishikawa Prefecture, Japan. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1996 DBLP  DOI  BibTeX  RDF C++
32Vaidyanathan Ramadurai, Sanjay Jinturkar, Mayan Moudgill, John Glossner Implementation of H.264 decoder on Sandblaster DSP. Search on Bibsonomy ICME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF H.264-AVC baseline profile decoder, Sandblaster digital signal processor, ANSI C, DSP, optimization technique, software implementation
32Massimiliano Poletto, Wilson C. Hsieh, Dawson R. Engler, M. Frans Kaashoek 'C and tcc: A Language and Compiler for Dynamic Code Generation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF ANSI C, dynamic code optimization, compilers, dynamic code generation
32Ireneusz Karkowski, Henk Corporaal Design of Heterogenous Multi-Processor Embedded Systems: Applying Functional Pipelining. Search on Bibsonomy IEEE PACT The full citation details ... 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
32Dmitry Arapov, Alexey Ya. Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Ted G. Lewis A programming environment for heterogenous distributed memory machines. Search on Bibsonomy Heterogeneous Computing Workshop The full citation details ... 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
32Guido Wirtz Modularization, re-use and testing for parallel message-passing programs. Search on Bibsonomy HICSS (2) The full citation details ... 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
32Mariam Kamkar, Patrik Krajina Dynamic slicing of distributed programs. Search on Bibsonomy ICSM The full citation details ... 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
31Adrian Johnstone, Elizabeth Scott, Tim Womack Experience Paper: Reverse Compilation of Digital Signal Processor Assembler Source to ANSI-C. Search on Bibsonomy ICSM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF reverse compilation, low to high level language translation, digital signal processing
31Arndt Lindner ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation. Search on Bibsonomy SAFECOMP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31Stephen N. Freund, Eric S. Roberts Thetis: an ANSI C programming environment designed for introductory use. Search on Bibsonomy SIGCSE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
31Christopher W. Fraser A retargetable compiler for ANSI C. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1991 DBLP  DOI  BibTeX  RDF C
22Fengbin Qi, Xianyi Zhang, Shanshan Wang, Xingquan Mao RCC: A New Programming Language for Reconfigurable Computing. Search on Bibsonomy HPCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Alex 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 FCCM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Robin 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 SC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Daniel Kroening, Edmund M. Clarke Checking consistency of C and Verilog using predicate abstraction and induction. Search on Bibsonomy ICCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Richard Kelsey, William D. Clinger, Jonathan Rees Revised5 Report on the Algorithmic Language Scheme. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SCHEME
22Markus Willems, Volker Bürsgens, Holger Keding, Thorsten Grötker, Heinrich Meyr System Level Fixed-Point Design Based on an Interpolative Approach. Search on Bibsonomy DAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
22Edmund M. Clarke, Daniel Kroening, Karen Yorav Behavioral consistency of C and verilog programs using bounded model checking. Search on Bibsonomy DAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ANSI-C, equivalence checking, verilog
20David 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 IACR Cryptol. ePrint Arch. The full citation details ... 2022 DBLP  BibTeX  RDF
20Yibin Yang 0001, David Heath, Vladimir Kolesnikov, David Devecsery EZEE: Epoch Parallel Zero Knowledge for ANSI C. Search on Bibsonomy IACR Cryptol. ePrint Arch. The full citation details ... 2022 DBLP  BibTeX  RDF
20Yibin Yang 0001, David Heath, Vladimir Kolesnikov, David Devecsery EZEE: Epoch Parallel Zero Knowledge for ANSI C. Search on Bibsonomy EuroS&P The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20David 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 SP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Andreas Tiemeyer, Tom Melham, Daniel Kroening, John O'Leary CREST: Hardware Formal Verification with ANSI-C Reference Specifications. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
20Jan Ríha, Jakub Klemsa, Martin Novotný Multiprecision ANSI C Library for Implementation of Cryptographic Algorithms on Microcontrollers. Search on Bibsonomy MECO The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
20Pascal 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 EDUCON The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
20Kevin Lano, Sobhan Yassipour Tehrani, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi Translating UML-RSDS OCL to ANSI C. Search on Bibsonomy STAF Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
20Jan Kwiatkowski, Dzanan Bajgoric Automatic Parallelization of ANSI C to CUDA C Programs. Search on Bibsonomy PPAM (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
20Niklas Büscher, David Kretzmer, Arnav Jindal, Stefan Katzenbeisser 0001 Scalable secure computation from ANSI-C. Search on Bibsonomy WIFS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
20Simon Rodriguez Perez, Ahmad Fatoum, Jörg Abke Toolchain zur ANSI-C Programmierung des Lego Mindstorms EV3 in der Hochschullehre. Search on Bibsonomy DeLFI The full citation details ... 2016 DBLP  BibTeX  RDF
20Ahmed 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 ACTEA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
20Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer 0002 Model checking LTL properties over ANSI-C programs with bounded traces. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
20Lidia Dobrescu Replacing ANSI C with other modern programming languages. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
20Martin Franz, Andreas Holzer, Stefan Katzenbeisser 0001, Christian Schallhart, Helmut Veith CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. Search on Bibsonomy CC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
20Jeff 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 ICS 25th Anniversary The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
20Mohamed 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 ISCAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
20Dong-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 Reliab. Eng. Syst. Saf. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
20Peter Bakucz Spline filtering in accordance to ISO/TS 16610: ANSI C-code for engineers. Search on Bibsonomy SACI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
20Lucas C. Cordeiro, Bernd Fischer 0002, João Marques-Silva 0001 SMT-Based Bounded Model Checking for Embedded ANSI-C Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
20Andreas Holzer, Martin Franz, Stefan Katzenbeisser 0001, Helmut Veith Secure two-party computations in ANSI C. Search on Bibsonomy CCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
20Herbert 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 IFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
20Jan Sadolewski Conversion of ST Control Programs to ANSI C for Verification Purposes. (PDF / PS) Search on Bibsonomy e Informatica Softw. Eng. J. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
20Manu Jose, Rupak Majumdar Bug-Assist: Assisting Fault Localization in ANSI-C Programs. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
20Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer 0002 Context-Bounded Model Checking of LTL Properties for ANSI-C Software. Search on Bibsonomy SEFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
20David J. Russell Introduction to Embedded Systems: Using ANSI C and the Arduino Development Environment Search on Bibsonomy 2010   DOI  RDF
20Lucas C. Cordeiro, Bernd Fischer 0002, João Marques-Silva 0001 SMT-Based Bounded Model Checking for Embedded ANSI-C Software Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
20Sumit Ahuja, Swathi T. Gurumani, Chad Spackman, Sandeep K. Shukla Hardware Coprocessor Synthesis from an ANSI C Specification. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger Loopfrog: A Static Analyzer for ANSI-C Programs. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Mathias Funk, Alexander Nyßen, Horst Lichter From UML to ANSI-C - An Eclipse-Based Code Generation Framework. Search on Bibsonomy ICSOFT (SE/MUSE/GSDCA) The full citation details ... 2008 DBLP  BibTeX  RDF
20Bernhard 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 WISES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Piotr 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 DDECS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20David J. Lau, Orion Pritchard Rapid System-on-a-Programmable-Chip Development and Hardware Acceleration Of ANSI C Functions. Search on Bibsonomy FPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Nathalie 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 ICALT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Patricio Bulic, Veselko Gustin An Extended ANSI C for Processors with a Multimedia Extension. Search on Bibsonomy Int. J. Parallel Program. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
20Edmund M. Clarke, Daniel Kroening Hardware verification using ANSI-C programs as a reference. Search on Bibsonomy ASP-DAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
20Patricio Bulic, Veselko Gustin, Ljubo Pipan An Extended ANSI C for Multimedia Processing. Search on Bibsonomy PaCT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
20Katsuhiko Gondow, Hayato Kawashima Towards ANSI C Program Slicing using XML. Search on Bibsonomy LDTA@ETAPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
20Nikolaos S. Papaspyrou Denotational semantics of ANSI C. Search on Bibsonomy Comput. Stand. Interfaces The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
20Robert Robson Using the STL - the C++ standard template library ; conforms to 1998 ANSI C++ standard (2. ed.). Search on Bibsonomy 2000   RDF
20Lawrence E. Bassham III Efficiency Testing of ANSI C Implementations of Round 2 Candidate Algorithms for the Advanced Encryption Standard. Search on Bibsonomy AES Candidate Conference The full citation details ... 2000 DBLP  BibTeX  RDF
20Gerard J. Holzmann Logic Verification of ANSI-C Code with SPIN. Search on Bibsonomy SPIN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
20Tor M. Aamodt, Paul Chow Embedded ISA support for enhanced floating-point to fixed-point ANSI-C compilation. Search on Bibsonomy CASES The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
20Maarten Boekhold, Ireneusz Karkowski, Henk Corporaal, Andrea G. M. Cilio A Programmable ANSI C Transformation Engine. Search on Bibsonomy CC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
20Maarten Boekhold, Ireneusz Karkowski, Henk Corporaal Transformatiing and Parallelizing ANSI C Programs using Pattern Recognition. Search on Bibsonomy HPCN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
20Kevin Templer, Clinton L. Jeffery A Configurable Automatic Instrumentation Tool for ANSI C. Search on Bibsonomy ASE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
20Christian H. Bischof, Lucas Roh, A. J. Mauer-Oats ADIC: An Extensible Automatic Differentiation Tool for ANSI-C. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
20Jeff 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 International Conference on Supercomputing The full citation details ... 1997 DBLP  DOI  BibTeX  RDF C
20Mohd Hanafiah Abdullah hcc - A Portable ANSI C Compiler (with a Code Generator for the PowerPCs). Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1996 DBLP  DOI  BibTeX  RDF C
20James B. Peterson, R. Brendan O'Connor, Peter M. Athanas Scheduling and partitioning ANSI-C programs onto multi-FPGA CCM architectures. Search on Bibsonomy FCCM The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
20Todd A. Proebsting Optimizing an ANSI C Interpreter with Superoperators. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF C
20Axel-Tobias Schreiner Objektorientierte Programmierung mit ANSI C. Search on Bibsonomy 1994   RDF
20Gisela Engeln-Müllges, Fritz Reutter Numerik-Algorithmen mit ANSI C-Programmen. Search on Bibsonomy 1993   RDF
20Paul S. Wang An introduction to ANSI C on UNIX. Search on Bibsonomy 1992   RDF
20C. Nash, William Haebich An accidental translator from Smalltalk to ANSI C. Search on Bibsonomy OOPS Messenger The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
20Christopher W. Fraser, David R. Hanson A Code Generation Interface for ANSI C. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
20Michael F. Banahan, Declan Brady, Mark Doran The C book - featuring the ANSI C standard (2. ed.). Search on Bibsonomy 1991   RDF
20Kenneth A. Barclay ANSI C problem-solving and programming. Search on Bibsonomy 1991   RDF
20Brian W. Kernighan, Dennis Ritchie Programmieren in C - mit dem C-Reference Manual in deutscher Sprache; ANSI C (2. Ausgabe). Search on Bibsonomy 1990   RDF
11Allen 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 GPGPU The full citation details ... 2010 DBLP  DOI  BibTeX  RDF compiler optimziation, parallelization, GPGPU, CUDA, polyhedral model, automatic translation
11Daniel Gajski, Todd M. Austin, Steve Svoboda What input-language is the best choice for high level synthesis (HLS)? Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
11Ralf Östermark Geno-mathematical identification of the multi-layer perceptron. Search on Bibsonomy Neural Comput. Appl. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Geno-mathematical programming, Backpropagation, K nearest neighbors
11Chris G. Baker, Ulrich Hetmaniuk, Richard B. Lehoucq, Heidi Thornquist Anasazi software for the numerical solution of large-scale eigenvalue problems. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF large-scale scientific computing, object-oriented programming, generic programming, numerical algorithms, Eigenvalue problems
11Swapna 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 ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF low-power, RFID, prototyping, design automation
11Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
11Jamie Cullen Evolving common LISP programs in a linear-genotype evolutionary computation system. Search on Bibsonomy GEC Summit The full citation details ... 2009 DBLP  DOI  BibTeX  RDF evolutionary meta compilation, evolutionary meta programming, artificial intelligence, genetic programming, evolutionary computation, grammatical evolution
11Ignacio 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 FIMH The full citation details ... 2009 DBLP  DOI  BibTeX  RDF cardiovascular modeling, Virtual Physiological Human, personalized simulations, open source software, Biomedical imaging
11Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Abstraction Refinement for Probabilistic Software. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
11Alex 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 ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF low-power, RFID, prototyping, Design automation
11Hossain Shahriar, Mohammad Zulkernine Mutation-Based Testing of Format String Bugs. Search on Bibsonomy HASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 195 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license