Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Hayato Kawashima, Katsuhiko Gondow |
Experience with ANSI C Markup Language for a Cross-Referencer. |
HICSS |
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. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
54 | Lutz Prechelt, Walter F. Tichy |
A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking. |
IEEE Trans. Software Eng. |
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. |
IEEE METRICS |
1996 |
DBLP DOI BibTeX RDF |
|
53 | Yutaka Oiwa |
Implementation of the memory-safe full ANSI-C compiler. |
PLDI |
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. |
Formal Methods Syst. Des. |
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. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Edmund M. Clarke, Daniel Kroening, Flavio Lerda |
A Tool for Checking ANSI-C Programs. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Henry G. Baker |
Computing A*B (mod N) efficiently in ANSI C. |
ACM SIGPLAN Notices |
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. |
ASE |
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. |
HICSS |
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. |
ACM SIGPLAN Notices |
1996 |
DBLP DOI BibTeX RDF |
C++ |
32 | Charles D. Norton |
The International Workshop on Parallel C++ (IWPC++), Kanazawa, Ishikawa Prefecture, Japan. |
ACM SIGPLAN Notices |
1996 |
DBLP DOI BibTeX RDF |
C++ |
32 | Vaidyanathan Ramadurai, Sanjay Jinturkar, Mayan Moudgill, John Glossner |
Implementation of H.264 decoder on Sandblaster DSP. |
ICME |
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. |
ACM Trans. Program. Lang. Syst. |
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. |
IEEE PACT |
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. |
Heterogeneous Computing Workshop |
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. |
HICSS (2) |
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. |
ICSM |
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. |
ICSM |
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. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Stephen N. Freund, Eric S. Roberts |
Thetis: an ANSI C programming environment designed for introductory use. |
SIGCSE |
1996 |
DBLP DOI BibTeX RDF |
|
31 | Christopher W. Fraser |
A retargetable compiler for ANSI C. |
ACM SIGPLAN Notices |
1991 |
DBLP DOI BibTeX RDF |
C |
22 | Fengbin Qi, Xianyi Zhang, Shanshan Wang, Xingquan Mao |
RCC: A New Programming Language for Reconfigurable Computing. |
HPCC |
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. |
FCCM |
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. |
SC |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Daniel Kroening, Edmund M. Clarke |
Checking consistency of C and Verilog using predicate abstraction and induction. |
ICCAD |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Richard Kelsey, William D. Clinger, Jonathan Rees |
Revised5 Report on the Algorithmic Language Scheme. |
ACM SIGPLAN Notices |
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. |
DAC |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Edmund M. Clarke, Daniel Kroening, Karen Yorav |
Behavioral consistency of C and verilog programs using bounded model checking. |
DAC |
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. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
20 | Yibin Yang 0001, David Heath, Vladimir Kolesnikov, David Devecsery |
EZEE: Epoch Parallel Zero Knowledge for ANSI C. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
20 | Yibin Yang 0001, David Heath, Vladimir Kolesnikov, David Devecsery |
EZEE: Epoch Parallel Zero Knowledge for ANSI C. |
EuroS&P |
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. |
SP |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Tiemeyer, Tom Melham, Daniel Kroening, John O'Leary |
CREST: Hardware Formal Verification with ANSI-C Reference Specifications. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
20 | Jan Ríha, Jakub Klemsa, Martin Novotný |
Multiprecision ANSI C Library for Implementation of Cryptographic Algorithms on Microcontrollers. |
MECO |
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. |
EDUCON |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Kevin Lano, Sobhan Yassipour Tehrani, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi |
Translating UML-RSDS OCL to ANSI C. |
STAF Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Jan Kwiatkowski, Dzanan Bajgoric |
Automatic Parallelization of ANSI C to CUDA C Programs. |
PPAM (1) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Niklas Büscher, David Kretzmer, Arnav Jindal, Stefan Katzenbeisser 0001 |
Scalable secure computation from ANSI-C. |
WIFS |
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. |
DeLFI |
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. |
ACTEA |
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. |
Softw. Syst. Model. |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Lidia Dobrescu |
Replacing ANSI C with other modern programming languages. |
CoRR |
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. |
CC |
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. |
ICS 25th Anniversary |
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. |
ISCAS |
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. |
Reliab. Eng. Syst. Saf. |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Peter Bakucz |
Spline filtering in accordance to ISO/TS 16610: ANSI C-code for engineers. |
SACI |
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. |
IEEE Trans. Software Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Holzer, Martin Franz, Stefan Katzenbeisser 0001, Helmut Veith |
Secure two-party computations in ANSI C. |
CCS |
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. |
IFM |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Jan Sadolewski |
Conversion of ST Control Programs to ANSI C for Verification Purposes. (PDF / PS) |
e Informatica Softw. Eng. J. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Manu Jose, Rupak Majumdar |
Bug-Assist: Assisting Fault Localization in ANSI-C Programs. |
CAV |
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. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
20 | David J. Russell |
Introduction to Embedded Systems: Using ANSI C and the Arduino Development Environment |
|
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 |
CoRR |
2009 |
DBLP BibTeX RDF |
|
20 | Sumit Ahuja, Swathi T. Gurumani, Chad Spackman, Sandeep K. Shukla |
Hardware Coprocessor Synthesis from an ANSI C Specification. |
IEEE Des. Test Comput. |
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. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Mathias Funk, Alexander Nyßen, Horst Lichter |
From UML to ANSI-C - An Eclipse-Based Code Generation Framework. |
ICSOFT (SE/MUSE/GSDCA) |
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. |
WISES |
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. |
DDECS |
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. |
FPL |
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. |
ICALT |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Patricio Bulic, Veselko Gustin |
An Extended ANSI C for Processors with a Multimedia Extension. |
Int. J. Parallel Program. |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Edmund M. Clarke, Daniel Kroening |
Hardware verification using ANSI-C programs as a reference. |
ASP-DAC |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Patricio Bulic, Veselko Gustin, Ljubo Pipan |
An Extended ANSI C for Multimedia Processing. |
PaCT |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Katsuhiko Gondow, Hayato Kawashima |
Towards ANSI C Program Slicing using XML. |
LDTA@ETAPS |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Nikolaos S. Papaspyrou |
Denotational semantics of ANSI C. |
Comput. Stand. Interfaces |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Robert Robson |
Using the STL - the C++ standard template library ; conforms to 1998 ANSI C++ standard (2. ed.). |
|
2000 |
RDF |
|
20 | Lawrence E. Bassham III |
Efficiency Testing of ANSI C Implementations of Round 2 Candidate Algorithms for the Advanced Encryption Standard. |
AES Candidate Conference |
2000 |
DBLP BibTeX RDF |
|
20 | Gerard J. Holzmann |
Logic Verification of ANSI-C Code with SPIN. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Tor M. Aamodt, Paul Chow |
Embedded ISA support for enhanced floating-point to fixed-point ANSI-C compilation. |
CASES |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Maarten Boekhold, Ireneusz Karkowski, Henk Corporaal, Andrea G. M. Cilio |
A Programmable ANSI C Transformation Engine. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Maarten Boekhold, Ireneusz Karkowski, Henk Corporaal |
Transformatiing and Parallelizing ANSI C Programs using Pattern Recognition. |
HPCN |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Kevin Templer, Clinton L. Jeffery |
A Configurable Automatic Instrumentation Tool for ANSI C. |
ASE |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Christian H. Bischof, Lucas Roh, A. J. Mauer-Oats |
ADIC: An Extensible Automatic Differentiation Tool for ANSI-C. |
Softw. Pract. Exp. |
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. |
International Conference on Supercomputing |
1997 |
DBLP DOI BibTeX RDF |
C |
20 | Mohd Hanafiah Abdullah |
hcc - A Portable ANSI C Compiler (with a Code Generator for the PowerPCs). |
ACM SIGPLAN Notices |
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. |
FCCM |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Todd A. Proebsting |
Optimizing an ANSI C Interpreter with Superoperators. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
C |
20 | Axel-Tobias Schreiner |
Objektorientierte Programmierung mit ANSI C. |
|
1994 |
RDF |
|
20 | Gisela Engeln-Müllges, Fritz Reutter |
Numerik-Algorithmen mit ANSI C-Programmen. |
|
1993 |
RDF |
|
20 | Paul S. Wang |
An introduction to ANSI C on UNIX. |
|
1992 |
RDF |
|
20 | C. Nash, William Haebich |
An accidental translator from Smalltalk to ANSI C. |
OOPS Messenger |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Christopher W. Fraser, David R. Hanson |
A Code Generation Interface for ANSI C. |
Softw. Pract. Exp. |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Michael F. Banahan, Declan Brady, Mark Doran |
The C book - featuring the ANSI C standard (2. ed.). |
|
1991 |
RDF |
|
20 | Kenneth A. Barclay |
ANSI C problem-solving and programming. |
|
1991 |
RDF |
|
20 | Brian W. Kernighan, Dennis Ritchie |
Programmieren in C - mit dem C-Reference Manual in deutscher Sprache; ANSI C (2. Ausgabe). |
|
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. |
GPGPU |
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)? |
DAC |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Ralf Östermark |
Geno-mathematical identification of the multi-layer perceptron. |
Neural Comput. Appl. |
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. |
ACM Trans. Math. Softw. |
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. |
ACM Trans. Design Autom. Electr. Syst. |
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. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Jamie Cullen |
Evolving common LISP programs in a linear-genotype evolutionary computation system. |
GEC Summit |
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. |
FIMH |
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. |
VMCAI |
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. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
low-power, RFID, prototyping, Design automation |
11 | Hossain Shahriar, Mohammad Zulkernine |
Mutation-Based Testing of Format String Bugs. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|