Search results for "ANSI-C"

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