The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for C with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1984-1988 (23) 1989-1990 (27) 1991 (20) 1992 (18) 1993 (30) 1994 (18) 1995 (26) 1996-1997 (25) 1998 (16) 1999-2001 (22) 2002-2004 (19) 2005-2007 (23) 2008-2010 (15)
Publication types (Num. hits)
article(51) inproceedings(231)
Venues (Conferences, Journals, ...)
PLDI(44) SIGPLAN Notices(28) SIGCSE(17) ISSAC(9) POPL(7) SC(7) SIGSOFT FSE(7) DAC(6) IEEE Trans. Software Eng.(6) ACM Conference on Computer Sci...(5) APL(5) DATE(5) PEPM(5) SAC(5) SIGAda(5) ICSE(4) More (+10 of total 97)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 731 occurrences of 307 keywords

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