Search results for "C code"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	John Viega, J. T. Bloch, Y. Kohno, Gary McGraw	ITS4: A Static Vulnerability Scanner for C and C++ Code.	ACSAC	2000	DBLP DOI BibTeX RDF	ITS4, static vulnerability scanner, C++ code, security-critical source code, real-time feedback, e-commerce software, software tools, security of data, software packages, software package, C language, software vulnerabilities, C++ language, C code
3	Giuliano Antoniol, Roberto Fiutem, Ettore Merlo, Paolo Tonella	Application and user interface migration from BASIC to Visual C++. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	BASIC PC legacy code reengineering, automatic migration, BASIC character oriented user interface, event driven C code compilation, event driven C++ code compilation, abstract graphical objects, call-backs, code translation, graphical user interfaces, software maintenance, software maintenance, visual languages, visual languages, translator, program compilers, program compilers, object-oriented languages, object-oriented languages, systems re-engineering, systems re-engineering, C language, C language, graphical systems, program interpreters, program interpreters, user interface migration, BASIC, BASIC, BASIC, GUI builder, application migration, Visual C++
2	Bastian Schlich, Stefan Kowalewski	Model checking C source code for embedded systems.	STTT	2009	DBLP DOI BibTeX RDF	Model checking, Embedded systems, Microcontroller, Assembly code, C code
2	Alexandru Telea, Lucian Voinea	An interactive reverse engineering environment for large-scale C++ code.	SOFTVIS	2008	DBLP DOI BibTeX RDF
2	Marius Nita, Dan Grossman	Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts.	CC	2008	DBLP DOI BibTeX RDF
2	Zhaoqing Wang, Harry H. Cheng	Portable C/C++ Code for Portable XML Data.	IEEE Software	2006	DBLP DOI BibTeX RDF	Ch, C/C++ Interpreter, Portable Code, Portable Data, XML
2	Hyeyoung Hwang, Taewook Oh, Hyunuk Jung, Soonhoi Ha	Conversion of reference C code to dataflow model: H.264 encoder case study.	ASP-DAC	2006	DBLP DOI BibTeX RDF
2	Jianguo Zhou, Yifeng Chen	Generating C Code from LOGS Specifications.	ICTAC	2005	DBLP DOI BibTeX RDF
2	Yosef Rauchwerger, Finn Kristoffersen, Yair Lahav	Cinderella SLIPPER: An SDL to C-Code Generator.	SDL Forum	2005	DBLP DOI BibTeX RDF
2	E. Dillon, Christophe Meudec	Automatic Test Data Generation from Embedded C Code.	SAFECOMP	2004	DBLP DOI BibTeX RDF
2	Paolo Tonella, Alessandra Potrich	Reverse Engineering of the Interaction Diagrams from C++ Code.	ICSM	2003	DBLP DOI BibTeX RDF
2	Fergus Henderson, Zoltan Somogyi	Compiling Mercury to High-Level C Code.	CC	2002	DBLP DOI BibTeX RDF	programming language implementation, GNU C, logic programming, C, compilation techniques, Mercury
2	Nevin Heintze, Olivier Tardieu	Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second.	PLDI	2001	DBLP DOI BibTeX RDF	C, ML
2	Richard Fanta, Václav Rajlich	Restructuring Legacy C Code into C++. (PDF / PS)	ICSM	1999	DBLP DOI BibTeX RDF
2	M. Taschwer, Dominik Rauner-Reithmayer, Roland Mittermeir	Generating Objects from C Code - Features of the CORET Tool-Set.	CSMR	1999	DBLP DOI BibTeX RDF	Re-engineering tool, C++, C, software evolution, software restructuring
2	Bernd Grahlmann	The State of PEP.	AMAST	1998	DBLP DOI BibTeX RDF	C code generation, Simulation, Verification, Parallel programs, Petri nets, SDL, PEP, 3D visualisation
2	Stefan Fischer, Jacek Wytrebowicz, Stanislaw Budkowski	Hardware/Software Co-Design of Communication Protocols.	EUROMICRO	1996	DBLP DOI BibTeX RDF	high performance distributed systems, system design techniques, standardized formal language Estelle, VHDL code, video-on-demand example, multimedia systems, multimedia systems, communication protocols, hardware/software codesign, C code
2	Paul C. Grabow, L. Liu	Automatic Generation of C++ Code from an ESCRO2 Specification. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	ESCRO2, design, real-time, C++, specification, implementation, control system
2	Matthew F. Parkinson, Sri Parameswaran	Profiling in the ASP codesign environment.	ISSS	1995	DBLP DOI BibTeX RDF	Automated Synthesis and Partitioning system, Hardware/Software Codesign project, codesign environment, hardware/software codesign methodology, high-level profiling tools, virtual machines, software tools, C, computer architecture, profiling, systems analysis, circuit CAD, workstation, ASP, C code, dedicated hardware, execution profiling
2	Doran Wilde, Sanjay V. Rajopadhye	The naive execution of affine recurrence equations.	ASAP	1995	DBLP DOI BibTeX RDF	algorithmic languages, regular arrays, ALPHA language, computer aided design methodology, regular array architectures, algorithmic specification, imperative sequential language C, applicative caching, 1-dimensional storage, formal specification, circuit CAD, hardware description languages, nested loops, polyhedron, transformational approach, C-code, affine recurrence equations
2	M. J. van der Westhuizen, R. G. Harley, D. C. Levy, D. R. Woodward	Using EDIF for software generation.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	EDIF, parallel microprocessors, codesign methods, hardware development tools, real-time parallel C code, FPGA, parallel programming, simulated annealing, simulated annealing, software tools, software tool, logic CAD, circuit CAD, C language, scheduling theory, software generation, development systems
2	Stephan Dreiseitl, Dongming Wang	Automatic Generation of C++ Code for Neural Network Simulation.	IWANN	1993	DBLP DOI BibTeX RDF
2	Bernd Amann, Vassilis Christophides, Michel Scholl	HyperPATH/O2: Integrating Hypermedia Systems with Object-Oriented Database Systems.	DEXA	1993	DBLP DOI BibTeX RDF	C++ code reusability, object oriented database, hypermedia, hypertext, persistence, system integration
1	Mohammed Fadle Abdulla	Manual and Fast C Code Optimization	CoRR	2012	DBLP BibTeX RDF
1	C. Ferreira, S. Monteiro, J. Monteiro	Automatic Generation of C-code or PLD Circuits under SFC Graphical Environment	CoRR	2012	DBLP BibTeX RDF
1	Jelena Trajkovic, Samar Abdi, Gabriela Nicolescu, Daniel D. Gajski	Automated Generation of Custom Processor Core from C Code.	J. Electrical and Computer Engineering	2012	DBLP DOI BibTeX RDF
1	Bharti Chimdyalwar	Survey of array out of bound access checkers for C code.	ISEC	2012	DBLP DOI BibTeX RDF
1	Felix Engel, Rainer Leupers, Gerd Ascheid, Max Ferger, Marcel Beemster	Enhanced structural analysis for C code reconstruction from IR code.	SCOPES	2011	DBLP DOI BibTeX RDF
1	Jörg Liebig, Christian Kästner, Sven Apel	Analyzing the discipline of preprocessor annotations in 30 million lines of C code.	AOSD	2011	DBLP DOI BibTeX RDF
1	George Chatzieleftheriou, Panagiotis Katsaros	Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities.	COMPSAC Workshops	2011	DBLP DOI BibTeX RDF
1	Marek Paska	An approach to generating C code with proven LTL-based properties.	EUROCON	2011	DBLP DOI BibTeX RDF
1	Christian Kästner, Paolo G. Giarrusso, Klaus Ostermann	Partial preprocessing C code for variability analysis.	VaMoS	2011	DBLP DOI BibTeX RDF
1	I. I. Gontchar, M. V. Chushnyakova	A C-code for the double folding interaction potential of two spherical nuclei.	Computer Physics Communications	2010	DBLP DOI BibTeX RDF
1	Gengbiao Chen, Zhuo Wang, Ruoyu Zhang, Kan Zhou, Shiqiu Huang, Kangqi Ni, Zhengwei Qi, Kai Chen 0006, Haibing Guan	A Refined Decompiler to Generate C Code with High Readability.	WCRE	2010	DBLP DOI BibTeX RDF
1	Hongtao Yu, Jingling Xue, Wei Huo, Xiaobing Feng 0002, Zhaoqing Zhang	Level by level: making flow- and context-sensitive pointer analysis scalable for millions of lines of code.	CGO	2010	DBLP DOI BibTeX RDF	pointer analysis, alias analysis
1	Colin J. Ihrig, Rami G. Melhem, Alex K. Jones	Automated modeling and emulation of interconnect designs for many-core chip multiprocessors.	DAC	2010	DBLP DOI BibTeX RDF	simulation, interconnection network, emulation, multi-core, many-core
1	Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty	Timing analysis of esterel programs on general-purpose multiprocessors.	DAC	2010	DBLP DOI BibTeX RDF	multiprocessor, timing analysis, synchronous language, esterel
1	Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux	Use of formal methods for building qualified code generator for safer automotive systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	software engineering, formal verification, certification, automatic code generator, automotive systems
1	Rachid Guerraoui, Nikola Knezevic, Vivien Quéma, Marko Vukolic	The next 700 BFT protocols.	EuroSys	2010	DBLP DOI BibTeX RDF	performance, modularity, byzantine failures
1	Claus Traulsen, Reinhard von Hanxleden	Reactive parallel processing for synchronous dataflow.	SAC	2010	DBLP DOI BibTeX RDF	Scade, reactive processors, synchronous languages, parallel execution, synchronous dataflow, Lustre
1	Anna Derezinska, Romuald Pilitowski	Realization of UML Class and State Machine Models in the C# Code Generation and Execution Framework.	Informatica (Slovenia)	2009	DBLP BibTeX RDF
1	Alexandru Telea, Heorhiy Byelas, Lucian Voinea	A Framework for Reverse Engineering Large C++ Code Bases.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Syrine Tlili, Mourad Debbabi	Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Type and effect analysis, C language, Type safety, Memory safety
1	Boutheina Chetali, Quang Huy Nguyen 0002	An automated testing experiment for layered embedded C code.	STTT	2009	DBLP DOI BibTeX RDF
1	Alexandru Telea, H. Hoogendorp, Ozan Ersoy, Dennie Reniers	Extraction and visualization of call dependencies for large C/C++ code bases: A comparative study.	VISSOFT	2009	DBLP DOI BibTeX RDF
1	Ilona Bluemke, Joanna Fugas	A Tool Supporting C code Parallelization.	SCSS	2009	DBLP DOI BibTeX RDF
1	Yoann Padioleau	Parsing C/C++ Code without Pre-processing.	CC	2009	DBLP DOI BibTeX RDF
1	Samar Abdi, Gunar Schirner, Ines Viskic, Hansu Cho, Yonghyun Hwang, Lochi Yu, Daniel Gajski	Hardware-dependent software synthesis for many-core embedded systems.	ASP-DAC	2009	DBLP DOI BibTeX RDF
1	Jianjiang Ceng, Weihua Sheng, Jerónimo Castrillón, Anastasia Stulova, Rainer Leupers, Gerd Ascheid, Heinrich Meyr	A high-level virtual platform for early MPSoC software development.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	simulation, parallel programming, software, embedded, MPSoC, system level design, virtual platform
1	Praveen Raghavan, Francky Catthoor	SARA: StreAm register allocation.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	stream register, low power, register allocation, spatial locality
1	Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abhik Roychoudhury	Context-sensitive timing analysis of Esterel programs.	DAC	2009	DBLP DOI BibTeX RDF	worst-case execution time (WCET) analysis, Esterel, synchronous programming
1	Reinhard von Hanxleden	SyncCharts in C: a proposal for light-weight, deterministic concurrency.	EMSOFT	2009	DBLP DOI BibTeX RDF	SyncCharts, reactive processing, statecharts, multi-threading, model-based design, esterel, synchronous programming
1	Peter Yiannacouras, J. Gregory Steffan, Jonathan Rose	Soft vector processors vs FPGA custom hardware: measuring and reducing the gap.	FPGA	2009	DBLP DOI BibTeX RDF	eembc, soft, viram, fpga, adaptable, vector, data parallel, processor, simd
1	William B. Langdon	Evo_indent interactive evolution of GNU indent options.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	(1+3)-es, chromosome reordering, customised interface, personalised software, prettyprint, sbse, user driven fitness, evolutionary algorithms, refactoring, mutation, comprehension, understandability
1	Gerwin Klein, Philip Derrin, Kevin Elphinstone	Experience report: seL4: formally verifying a high-performance microkernel.	ICFP	2009	DBLP DOI BibTeX RDF	seL4, haskell, microkernel, Isabelle/HOL
1	Alexandros Papakonstantinou, Karthik Gururaj, John A. Stratton, Deming Chen, Jason Cong, Wen-mei W. Hwu	High-performance CUDA kernel execution on FPGAs.	ICS	2009	DBLP DOI BibTeX RDF	cuda programming model, fpga, high level synthesis, high performance computing, gpu, coarse grained parallelism
1	Indranil Saha, Kuntal Chakraborty, Suman Roy, B. VishnuVardhan Reddy, Venkatappaiah Kurapati, Vishesh Sharma	An approach to reverse engineering of C programs to simulink models with conformance testing.	ISEC	2009	DBLP DOI BibTeX RDF	reverse engineering, c, conformance testing, simulink
1	Wenlin Peng, Xiaohu Yang, Feng Zhu	Automation technique of software internationalization and localization based on lexical analysis.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	software internationalization, suspicious code, C++, unicode, lexical analysis
1	Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben Liblit	Automatic generation of library bindings using static analysis.	PLDI	2009	DBLP DOI BibTeX RDF	ffi, multi-language code reuse, static library analysis, bindings, dataflow analysis, foreign function interfaces
1	Aaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, Timothy W. Simpson	Verified programming in Guru.	PLPV	2009	DBLP DOI BibTeX RDF	dependently typed programming, language-based verification, operational type theory
1	Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer	Unifying type checking and property checking for low-level code.	POPL	2009	DBLP DOI BibTeX RDF	assertion checking, low-level code, decision procedure, type checking, smt solver, property checking
1	Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	Formal verification of practical MPI programs.	PPOPP	2009	DBLP DOI BibTeX RDF	dynamic partial order reduction, model checking, message passing interface, distributed programming, mpi
1	Anthony Allevato, Stephen H. Edwards, Manuel A. Pérez-Quiñones	Dereferee: exploring pointer mismanagement in student code.	SIGCSE	2009	DBLP DOI BibTeX RDF	null dereference, pointer checking, smart pointer, tdd, test-first coding, test-driven development, memory leak, dynamic memory management, programming assignment, dangling pointer
1	Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood	seL4: formal verification of an OS kernel.	SOSP	2009	DBLP DOI BibTeX RDF	l4, sel4, microkernel, isabelle/hol
1	Tibor Farkas, Carsten Neumann, Andreas Hinnerichs	An Integrative Approach for Embedded Software Design with UML and Simulink.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Ge Nong, Sen Zhang, Wai Hong Chan	Linear Suffix Array Construction by Almost Pure Induced-Sorting.	DCC	2009	DBLP DOI BibTeX RDF
1	Muhammad Rashid, Bernard Pottier	Application Capturing and Performance Estimation in an Holistic Design Environment.	ECBS	2009	DBLP DOI BibTeX RDF
1	Xiaoning Ding, Song Jiang, Xiaodong Zhang	BP-Wrapper: A System Framework Making Any Replacement Algorithms (Almost) Lock Contention Free.	ICDE	2009	DBLP DOI BibTeX RDF
1	Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm	Analysis and Code Model Extraction for C/C++ Source Code.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte	VCC: Contract-based modular verification of concurrent C.	ICSE Companion	2009	DBLP DOI BibTeX RDF
1	Sihyung Lee, Tina Wong, Hyong S. Kim	Netpiler: detection of ineffective router configurations.	IEEE Journal on Selected Areas in Communications	2009	DBLP DOI BibTeX RDF
1	Joseph Sifakis	Component-Based Construction of Heterogeneous Real-Time Systems in Bip.	Petri Nets	2009	DBLP DOI BibTeX RDF
1	Michael Ryabtsev, Ofer Strichman	Translation Validation: From Simulink to C.	CAV	2009	DBLP DOI BibTeX RDF
1	Florian Wörsdörfer, Florian Stock, Eduardo Bayro-Corrochano, Dietmar Hildenbrand	Optimizations and Performance of a Robotics Grasping Algorithm Described in Geometric Algebra.	CIARP	2009	DBLP DOI BibTeX RDF	Robot Grasping, Runtime Performance, CUDA, Conformal Geometric Algebra
1	Steven Burrows, Alexandra L. Uitdenbogerd, Andrew Turpin	Application of Information Retrieval Techniques for Source Code Authorship Attribution.	DASFAA	2009	DBLP DOI BibTeX RDF	Adversarial information retrieval, source code, authorship attribution
1	Klaus Wolfmaier, Rudolf Ramler, Gabor Guta, Heinz Dobler	Observable Runtime Behavior for Defects Indicated by Automated Static Analysis.	EUROCAST	2009	DBLP DOI BibTeX RDF	Automated Static Analysis, Defect Classification
1	Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai	Integrated Formal Approach for Qualified Critical Embedded Code Generator.	FMICS	2009	DBLP DOI BibTeX RDF	formal verification, automatic code generator, qualification, Coq proof assistant
1	Dirk Leinenbach, Thomas Santen	Verifying the Microsoft Hyper-V Hypervisor with VCC.	FM	2009	DBLP DOI BibTeX RDF
1	Boyana Norris, Albert Hartono, Elizabeth R. Jessup, Jeremy G. Siek	Generating Empirically Optimized Composed Matrix Kernels from MATLAB Prototypes.	ICCS	2009	DBLP DOI BibTeX RDF	empirical performance tuning, code generation, MATLAB
1	Nassima Izerrouken, Marc Pantel, Xavier Thirioux	Machine-Checked Sequencer for Critical Embedded Code Generator.	ICFEM	2009	DBLP DOI BibTeX RDF	block sequencing, software engineering, formal verification, automatic code generator, Coq proof assistant
1	Bogdan Pasaniuc, Justin Kennedy, Ion I. Mandoiu	Imputation-Based Local Ancestry Inference in Admixed Populations.	ISBRA	2009	DBLP DOI BibTeX RDF
1	Felienne Hermans, Martin Pinzger, Arie van Deursen	Domain-Specific Languages in Practice: A User Study on the Success Factors.	MoDELS	2009	DBLP DOI BibTeX RDF
1	Anna Derezinska, Romuald Pilitowski	Interpretation of History Pseudostates in Orthogonal States of UML State Machines.	NGITS	2009	DBLP DOI BibTeX RDF	UML state machines, orthogonal regions, semantic variation points, UML code execution, statecharts, history
1	Ganesh Gopalakrishnan, Robert M. Kirby	Practical Formal Verification of MPI and Thread Programs.	PVM/MPI	2009	DBLP DOI BibTeX RDF
1	Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta	Runtime Verification of C Memory Safety.	RV	2009	DBLP DOI BibTeX RDF
1	Daniel Grest, Thomas Petersen, Volker Krüger	A Comparison of Iterative 2D-3D Pose Estimation Methods for Real-Time Applications.	SCIA	2009	DBLP DOI BibTeX RDF
1	Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp	Automatic Bug Detection in Microcontroller Software by Static Program Analysis.	SOFSEM	2009	DBLP DOI BibTeX RDF
1	Rafal Kolanski, Gerwin Klein	Types, Maps and Separation Logic.	TPHOLs	2009	DBLP DOI BibTeX RDF
1	Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David Cock, Michael Norrish	Mind the Gap.	TPHOLs	2009	DBLP DOI BibTeX RDF
1	William S. Evans, Christopher W. Fraser, Fei Ma	Clone detection via structural abstraction.	Software Quality Journal	2009	DBLP DOI BibTeX RDF	Refactoring, Clone detection, Procedural abstraction
1	Alexandru Telea, Heorhiy Byelas, Lucian Voinea	Architecting an open system for querying large C and C++ code bases.	South African Computer Journal	2008	DBLP BibTeX RDF
1	S. Nath	A Monte Carlo C-code for calculating transmission efficiency of recoil separators and viewing residue trajectories.	Computer Physics Communications	2008	DBLP DOI BibTeX RDF
1	Cristina Cifuentes	Parfait - A Scalable Bug Checker for C Code.	SCAM	2008	DBLP DOI BibTeX RDF
1	Anna Derezinska, Romuald Pilitowski	Correctness issues of UML class and state machine models in the C# code generation and execution framework.	IMCSIT	2008	DBLP DOI BibTeX RDF
1	Jelena Trajkovic, Daniel D. Gajski	Custom Processor Core Construction from C Code.	SASP	2008	DBLP DOI BibTeX RDF
1	Syrine Tlili, Mourad Debbabi	A novel flow-sensitive type and effect analysis for securing C code.	AICCSA	2008	DBLP DOI BibTeX RDF
1	Jorge Blasco Alís, Julio César Hernández Castro, Juan M. Estévez-Tapiador, Arturo Ribagorda Garnacho	CSteg: Talking in C Code - Steganography of C Source Code in Text.	SECRYPT	2008	DBLP BibTeX RDF
1	Magiel Bruntink	Reengineering Idiomatic Exception Handling in Legacy C Code.	CSMR	2008	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	Model driven code checking.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Logic model checking, Embedded C code, Software verification, Spin model checker
1	Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty	Performance debugging of Esterel specifications.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	Esterel, WCET analysis, synchronous programming