Search results for "c "

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Ádám Balogh, Zoltán Cs��rnyei	SysObjC: C extension for development of object-oriented operating systems.	PLOS	2006	DBLP DOI BibTeX RDF	low-level programming, predicate classes, C, C, system programming, predicate dispatching
2	Fergus Henderson	Accurate garbage collection in an uncooperative environment.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	programming language implementation, C, C, garbage collection, multithreading
2	Robert O'Callahan, Daniel Jackson 0001	Lackwit: A Program Understanding Tool Based on Type Inference.	ICSE	1997	DBLP DOI BibTeX RDF	C, C, abstraction, representation, restructuring
1	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	CETS: compiler enforced temporal safety for C.	ISMM	2010	DBLP DOI BibTeX RDF	temporal errors, c, memory safety, dangling pointers
1	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Low-level liquid types.	POPL	2010	DBLP DOI BibTeX RDF	liquid types, c, type inference, dependent types
1	John D. Carter, William B. Gardner, Gary Gréwal	The pilot library for novice MPI programmers.	PPoPP	2010	DBLP DOI BibTeX RDF	cluster programming, c, high-performance computing, deadlock detection, mpi, collective operations
1	Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini	SystemC/C-based model-driven design for embedded systems.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF	UML, SoC, C, SystemC, MDE, ES
1	Harvey Tuch	Formal Verification of C Systems Code.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	C, Separation logic, Interactive theorem proving
1	Indranil Saha, Kuntal Chakraborty, Suman Roy 0001, 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	Leonid Batyuk, Aubrey-Derrick Schmidt, Hans-Gunther Schmidt, Seyit Ahmet Çamtepe, Sahin Albayrak	Developing and Benchmarking Native Linux Applications on Android.	MOBILWARE	2009	DBLP DOI BibTeX RDF	Java, performance, C, software, smartphones, android
1	Edward B. Allen, Maheshwar Chandrasekar, Karolina A. Sarnowska	C preprocessor use in numerical tools: an empirical analysis.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	C preprocessor, file inclusion, macro substitution, C++, empirical study, C, macro, conditional compilation, cpp
1	Gary Kacmarcik, Sylvie Giral Kacmarcik	Introducing computer programming via gameboy advance homebrew.	SIGCSE	2009	DBLP DOI BibTeX RDF	homebrew, nintendo gameboy, c, k-12 education, nintendo ds
1	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	SoftBound: highly compatible and complete spatial memory safety for c.	PLDI	2009	DBLP DOI BibTeX RDF	spatial memory safety, c, buffer overflows
1	Géraud Canet, Pascal Cuoq, Benjamin Monate	A Value Analysis for C Programs.	SCAM	2009	DBLP DOI BibTeX RDF	tool demo, static analysis, C, abstract interpretation, software verification
1	Xavier Leroy, Sandrine Blazy	Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	The Coq proof assistant, Compilation, C, Program verification, Memory model, Compiler correctness
1	Andrew W. Keep, Arun Chauhan 0001	Concrete Partial Evaluation in Ruby.	eScience	2008	DBLP DOI BibTeX RDF	C, partial evaluation, Ruby
1	John W. McCormick	Ada and software engineering education: one professor's experiences.	SIGAda	2008	DBLP DOI BibTeX RDF	model railroads, model trains, real-time, education, ada, c, embedded, laboratory
1	Andries Stam, Alfons H. Salden	Towards composition of distributed evolving services: the Credo approach (invited paper).	Autonomics	2008	DBLP DOI BibTeX RDF	Credo, Creol, exogenous coordination, composition, C, evolution, services, automata, Reo
1	Achuth Sankar S. Nair, Vinod S. S. Chandra	A MetaL for C and Pascal.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	data structure, C, Pascal, lex, yacc
1	Jeffrey S. Foster, Michael W. Hicks, William W. Pugh	Improving software quality with static analysis.	PASTE	2007	DBLP DOI BibTeX RDF	FFIs, Java, software quality, C, modularity, network protocols, data races, bugs, bug patterns
1	Steven Fraser 0001, James Gosling, Anders Hejlsberg, Ole Lehrmann Madsen, Bertrand Meyer 0001, Guy L. Steele Jr.	Celebrating 40 years of language evolution: simula 67 to the present and beyond.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Simula67, Java, C, Schema, C#, Eiffel, BETA
1	Martin Hirzel, Robert Grimm 0001	Jeannie: granting java native interface developers their wishes.	OOPSLA	2007	DBLP DOI BibTeX RDF	modular syntax, programming language composition, rats!, xtc, java, C, JNI, foreign function interface
1	David Gay, Robert Ennals, Eric A. Brewer	Safe manual memory management.	ISMM	2007	DBLP DOI BibTeX RDF	C, safety, memory management, reference counting
1	Harvey Tuch, Gerwin Klein, Michael Norrish	Types, bytes, and separation logic.	POPL	2007	DBLP DOI BibTeX RDF	C, separation logic, interactive theorem proving
1	Ping Hang Cheung, Alessandro Forin	A C-Language Binding for PSL.	ICESS	2007	DBLP DOI BibTeX RDF	C, Assertion Based Verification, Property Specification Language
1	Martin C. Carlisle, Leemon C. Baird III	Timing neural networks in C and ada.	SIGAda	2007	DBLP DOI BibTeX RDF	neural networks, ada, benchmarking, C
1	Robert B. K. Dewar	The compiler as a static analysis tool.	SIGAda	2007	DBLP DOI BibTeX RDF	ada, compilers, C++, static analysis, C, safety, certification
1	Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa	Compiling C Programs into a Strongly Typed Assembly Language.	ASIAN	2007	DBLP DOI BibTeX RDF	C, memory safety, typed assembly language
1	Saurabh Srivastava 0001, Michael Hicks 0001, Jeffrey S. Foster	Modular information hiding and type-safe linking for C.	TLDI	2007	DBLP DOI BibTeX RDF	C, information hiding, type-safety, module systems
1	Robert C. Seacord	Secure Coding in C and C++: Of Strings and Integers.	IEEE Secur. Priv.	2006	DBLP DOI BibTeX RDF	programming language security, secure development, C++, C
1	Børge Svingen	When lisp is faster than C.	GECCO	2006	DBLP DOI BibTeX RDF	enetic programming, performance, C, implementation, lisp
1	Xiaolan Zhang 0001, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau, Liangzhao Zeng	The case for analysis preserving language transformation.	ISSTA	2006	DBLP DOI BibTeX RDF	language transformation, security, Java, verification, static analysis, C, language translation
1	Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst	Dynamic inference of abstract types.	ISSTA	2006	DBLP DOI BibTeX RDF	mixed-level analysis, values and variables, Java, interaction, C++, C, dynamic analysis, type inference, abstract types, units
1	Romain Lenglet, Shigeru Chiba	Dryverl: a flexible Erlang/C binding compiler.	Erlang Workshop	2006	DBLP DOI BibTeX RDF	stub, compiler, C, erlang, binding, port, driver, ODP
1	George V. Neville-Neil	Understanding the problem.	ACM Queue	2006	DBLP DOI BibTeX RDF	Java, C
1	John W. McCormick	We've been working on the railroad: a laboratory for real-time embedded systems.	SIGCSE	2005	DBLP DOI BibTeX RDF	real-time, ada, C, embedded, curriculum, project, laboratory
1	Bill McCloskey, Eric A. Brewer	ASTEC: a new approach to refactoring C.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	ASTEC, C, refactoring, translation, macro, preprocessor
1	Christian Lindig	Random testing of C calling conventions.	AADEBUG	2005	DBLP DOI BibTeX RDF	calling convention, compiler, composition, C, consistency, random testing
1	Ken Frazer	Review of "Memory as a Programming Concept in C and C++ by Frantisek Franek". Cambridge University Press, 2004, (paperback), 0-521-52043-6.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	C++, C
1	Yan Tang, Tao Wang 0004, Xiaoming Li 0001	The design and implementation of LilyTask in shared memory.	ACM SIGOPS Oper. Syst. Rev.	2005	DBLP DOI BibTeX RDF	C
1	Jonathan Yavner	Back-propagation of knowledge from syntax tree to C source code.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	legacy systems analysis, source-code annotation, C, source-code analysis, preprocessor
1	José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo	Improved Compilation of Prolog to C Using Moded Types and Determinism Information.	PADL	2004	DBLP DOI BibTeX RDF	Prolog, C, optimizing compilation, global analysis
1	Andrew T. Phillips	Highlighting programming language issues using mixed language programming nn Maple and C.	SIGCSE	2004	DBLP DOI BibTeX RDF	mixed language programming, C, Maple
1	C. Wayne Brown	Teaching graphics using Ada.	SIGAda	2004	DBLP DOI BibTeX RDF	Ada, computer graphics, C, VRML, cross compiling, code conversion
1	Wei Xu, Daniel C. DuVarney, R. Sekar 0001	An efficient and backwards-compatible transformation to ensure memory safety of C programs.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	program transformation, C, memory safety
1	Rudolf Ferenc, István Siket, Tibor Gyimóthy	Extracting Facts from Open Source Software.	ICSM	2004	DBLP DOI BibTeX RDF	fault-proneness detection, compiler wrapping, CANPP, reverse engineering, C++, metrics, C, open source, schema, CAN, Mozilla, Fact extraction, Columbus
1	Diomidis Spinellis	Global Analysis and Transformations in Preprocessed Languages.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	reverse engineering, C++, C, Refactoring, renaming, preprocessor, program families
1	Gaetan Allaert, Dirk Craeynest, Philippe Waroquiers	European air traffic flow management: porting a large application to GNU/linux.	SIGAda	2003	DBLP DOI BibTeX RDF	CFMU, ETFMS, GNU, HP-PA RISC, HP-UX, Korn shell, eurocontrol, intel 80x86, performance, Ada, C++, C, linux, portability, COTS, POSIX, GNAT, air traffic management
1	David Gay, Philip Alexander Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler	The nesC language: A holistic approach to networked embedded systems.	PLDI	2003	DBLP DOI BibTeX RDF	first-order, concurrency, components, C, programming languages, modules, TinyOS, data races, nesC
1	Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer	CCured in the real world.	PLDI	2003	DBLP DOI BibTeX RDF	compatibility with library code, run-time type information, C, type safety, memory safety
1	Sasikanth Avancha, Peter D'Souza, Filip Perich, Anupam Joshi, Yelena Yesha	P2P M-commerce in pervasive environments.	SIGecom Exch.	2003	DBLP DOI BibTeX RDF	P2P, C, ubiquitous, M-commerce, pervasive
1	Alexander Wolfe	Toolkit: GNU Tools: Relevant?	ACM Queue	2003	DBLP DOI BibTeX RDF	C, Linux
1	Michael D. Ernst, Greg J. Badros, David Notkin	An Empirical Analysis of C Preprocessor Use.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	C preprocessor, macro substitution, file inclusion, C++, empirical study, C, program understanding, macro, conditional compilation, Cpp
1	Nevin Heintze	Aliasing analysis for a million lines of C.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	aliasing analysis, narrowing conversion errors, scalable program analysis, C, dependence analysis, points-to analysis
1	Johannes Martin, Hausi A. Müller	C to Java Migration Experiences.	CSMR	2002	DBLP DOI BibTeX RDF	source conversion, Java, C++, C, migration, transliteration
1	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
1	Feng-Shi Su, Pao-Ann Hsiung	Extended quasi-static scheduling for formal synthesis and code generation of embedded software.	CODES	2002	DBLP DOI BibTeX RDF	C
1	Greg Stitt, Frank Vahid	Hardware/software partitioning of software binaries.	ICCAD	2002	DBLP DOI BibTeX RDF	FPGA, low power, C++, C, synthesis, codesign, hardware/software partitioning, binary translation, decompilation, assembly language
1	J. Mark Bull, Lorna A. Smith, Linday Pottage, Robin Freeman	Benchmarking Java against C and Fortran for scientific applications.	Java Grande	2001	DBLP DOI BibTeX RDF	Java, Java, performance, benchmarking, C, Fortran, scientific applications
1	George Economakos, Petros Oikonomakos, Ioannis Panagopoulos, Ioannis Poulakis, George K. Papakonstantinou	Behavioral synthesis with systemC.	DATE	2001	DBLP DOI BibTeX RDF	C
1	Robert Siegmund, Dietmar Müller 0001	SystemCSV - an extension of SystemC for mixed multi-level communication modeling and interface-based system design.	DATE	2001	DBLP DOI BibTeX RDF	C
1	Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller 0003	The simulation semantics of systemC.	DATE	2001	DBLP DOI BibTeX RDF	C
1	Daniel Gajski, Eugenio Villar, Wolfgang Rosenstiel, Vassilios Gerousis, D. Barton, Jonas Plantin, S. E. Ericsson, Patrizia Cavalloro, Gjalt G. de Jong	C/C++: progress or deadlock in system-level specification.	DATE	2001	DBLP BibTeX RDF	C++, C
1	Luc Charest, Michel Reid, El Mostapha Aboulhamid, Guy Bois	A methodology for interfacing open source systemC with a third party software.	DATE	2001	DBLP DOI BibTeX RDF	C
1	Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè	Using symbolic execution for verifying safety-critical systems.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	verification, formal methods, C, symbolic execution, safety-critical system
1	Rakesh Ghiya, Daniel M. Lavery, David C. Sehr	On the Importance of Points-to Analysis and Other Memory Disambiguation Methods for C Programs.	PLDI	2001	DBLP DOI BibTeX RDF	C
1	David Gay, Alexander Aiken	Language Support for Regions.	PLDI	2001	DBLP DOI BibTeX RDF	C
1	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
1	Jianxin Xiong, Jeremy R. Johnson, Robert W. Johnson, David A. Padua	SPL: A Language and Compiler for DSP Algorithms.	PLDI	2001	DBLP DOI BibTeX RDF	C, FORTRAN
1	Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani	Automatic Predicate Abstraction of C Programs.	PLDI	2001	DBLP DOI BibTeX RDF	C
1	Emery D. Berger, Benjamin G. Zorn, Kathryn S. McKinley	Composing High-Performance Memory Allocators.	PLDI	2001	DBLP DOI BibTeX RDF	C++, C
1	Nevin Heintze, Olivier Tardieu	Demand-Driven Pointer Analysis.	PLDI	2001	DBLP DOI BibTeX RDF	C
1	Tamara G. Kolda, Dianne P. O'Leary	Algorithm 805: computation and uses of the semidiscrete matrix decomposition.	ACM Trans. Math. Softw.	2000	DBLP DOI BibTeX RDF	semidiscrete decompositin, compression, C, singular value decomposition, latent semantic indexing, matrix decomposition
1	Mike Maxim	Microsoft Windows Programming Strategies.	ACM Crossroads	2000	DBLP DOI BibTeX RDF	C, Visual Basic, Microsoft Windows (OS)
1	M. Taschwer, Dominik Rauner-Reithmayer, Roland T. 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
1	Lutz Prechelt	Comparing Java vs. C/C++ Efficiency Differences to Interpersonal Differences.	Commun. ACM	1999	DBLP DOI BibTeX RDF	Java, C++, C
1	Satish Chandra 0001, Thomas W. Reps	Physical Type Checking for C.	PASTE	1999	DBLP DOI BibTeX RDF	C
1	Vijay Karamcheti, Chen Li 0003, Igor Pechtchanski, Chee-Keng Yap	A Core Library for Robust Numeric and Geometric Computation.	SCG	1999	DBLP DOI BibTeX RDF	C++, C
1	Francisco Corbera, Rafael Asenjo, Emilio L. Zapata	New shape analysis techniques for automatic parallelization of C codes.	International Conference on Supercomputing	1999	DBLP DOI BibTeX RDF	C
1	Mireille Ducassé	Coca: An automated Debugger for C.	ICSE	1999	DBLP DOI BibTeX RDF	debugging language, program behavior understanding, trace query mechanism, C, automated debugging, debugging tool
1	Rex Jaeschke	ISO Committee Document for C9X and Public Comment Period - The C Programming Language.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	C
1	Jörg Peters 0001	Algorithm 783: Pcp2Nurb - smooth free-form surfacing with linearly trimmed bicubic B-splines.	ACM Trans. Math. Softw.	1998	DBLP DOI BibTeX RDF	C1 surface, arbitrary patch layout, arbitrary surface topology, biquadratic tensor-product B-splines, planar-cut polyhedron, trimmed bicubic B-splines, C, Matlab, NURBS, free-form surface
1	Mark S. Johnstone, Paul R. Wilson 0001	The Memory Fragmentation Problem: Solved?	ISMM	1998	DBLP DOI BibTeX RDF	C++, C
1	Srinadh Godavarthy	Generating spline wavelets.	ACM Southeast Regional Conference	1998	DBLP DOI BibTeX RDF	C
1	Simon Moore, Martyn Spink	A multimedia C programming course that supports different learning situations (poster).	ITiCSE	1998	DBLP DOI BibTeX RDF	course deign method, flexible learning, multimedia, C
1	Bunny J. Tjaden	Do lab modules in CS actually help students?: an empirical study.	SIGCSE	1998	DBLP DOI BibTeX RDF	C
1	Jörg Henkel, Yanbing Li	Energy-conscious HW/SW-partitioning of embedded systems: a case study on an MPEG-2 encoder.	CODES	1998	DBLP DOI BibTeX RDF	C
1	Darren C. Atkinson, William G. Griswold	Effective Whole-Program Analysis in the Presence of Pointers.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	C
1	Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan	Automatically Closing Open Reactive Programs.	PLDI	1998	DBLP DOI BibTeX RDF	C
1	Matteo Frigo, Charles E. Leiserson, Keith H. Randall	The Implementation of the Cilk-5 Multithreaded Language.	PLDI	1998	DBLP DOI BibTeX RDF	parallel computing, C, programming language, multithreading, runtime system, critical path, work
1	David Gay, Alexander Aiken	Memory Management with Explicit Regions.	PLDI	1998	DBLP DOI BibTeX RDF	C
1	George C. Necula, Peter Lee 0001	The Design and Implementation of a Certifying Compiler.	PLDI	1998	DBLP DOI BibTeX RDF	C
1	Luc Séméria, Giovanni De Micheli	SpC: synthesis of pointers in C: application of pointer analysis to the behavioral synthesis from C.	ICCAD	1998	DBLP DOI BibTeX RDF	C
1	Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang	Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem.	ISSTA	1998	DBLP DOI BibTeX RDF	interprocedual data-flow analysis, modification side effects, pointer aliasing, empirical study, C, context sensitivity, flow sensitivity
1	Bill Lin 0001	Software Synthesis of Process-Based Concurrent Programs.	DAC	1998	DBLP DOI BibTeX RDF	low power, C, synthesis, placement, flip-flops, voltage scaling, codec, MPEG4, level converters, design automatian
1	Mark MacBeth, Keith McGuigan, Philip J. Hatcher	Executing Java threads in parallel in a distributed-memory environment.	CASCON	1998	DBLP BibTeX RDF	Java, C
1	Frank Vahid, Linus Tauro	An Object-Oriented Communication Library for Hardware-Software CoDesign.	CODES	1997	DBLP DOI BibTeX RDF	Communication, Object-Oriented, C, VHDL, Libraries, Codesign
1	Frédéric Pétrot, Denis Hommais, Alain Greiner	Cycle precise core based hardware/software system simulation with predictable event propagation.	EUROMICRO	1997	DBLP DOI BibTeX RDF	hardware software system simulation, predictable event propagation, cycle precise core based system simulator, digital embedded systems, Mealy signals, combinational signals, MIPS R3000, microprocessor core, PI-Bus, Pentium 120, communication, graph, C, high level synthesis, memories, directed graph, FSM, topological sort, compile-time, communicating finite state machines
1	Luke Hornof, Jacques Noyé	Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity.	PEPM	1997	DBLP DOI BibTeX RDF	C
1	Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet	Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol.	PEPM	1997	DBLP DOI BibTeX RDF	C