Search results for "C "

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers	Annotation-Directed Run-Time Specialization in C.	PEPM	1997	DBLP DOI BibTeX RDF	C
1	Ritu Agarwal, Jayesh Prasad	Facilitating COBOL programmers' transition to the C language.	SIGCPR	1997	DBLP DOI BibTeX RDF	C, COBOL
1	Christian S. Collberg	Reverse Interpretation + Mutation Analysis = Automatic Retargeting.	PLDI	1997	DBLP DOI BibTeX RDF	C
1	Massimiliano Poletto, Dawson R. Engler, M. Frans Kaashoek	tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation.	PLDI	1997	DBLP DOI BibTeX RDF	C
1	Keith D. Cooper, John Lu	Register Promotion in C Programs.	PLDI	1997	DBLP DOI BibTeX RDF	C
1	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
1	Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks	Incremental Analysis of Side Effects for C Software System.	ICSE	1997	DBLP DOI BibTeX RDF	C, dataflow analysis, incremental analysis
1	Joon-Seo Yim, Yoon-Ho Hwang, Chang-Jae Park, Hoon Choi, Woo-Seung Yang, Hun-Seung Oh, In-Cheol Park, Chong-Min Kyung	A C-Based RTL Design Verification Methodology for Complex Microprocessor.	DAC	1997	DBLP DOI BibTeX RDF	C
1	Robert S. Boyer, Yuan Yu	Automated Proofs of Object Code for a Widely Used Microprocessor.	J. ACM	1996	DBLP DOI BibTeX RDF	Boyer-Moore logic, MC68xxx, Nqthm, program proving, formal methods, Ada, C, program verification, automated reasoning, Common Lisp, mechanical theorem proving, object code, machine code
1	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
1	Anukrom Punyashthiti, Dean Lance Smith	Program generator for RS-232C instruments.	SAC	1996	DBLP DOI BibTeX RDF	RS-232C interface, C, program generator
1	Aniruddha S. Gokhale, Douglas C. Schmidt	Measuring the Performance of Communication Middleware on High-Speed Networks.	SIGCOMM	1996	DBLP DOI BibTeX RDF	C
1	Sivan Toledo, Fred G. Gustavson	The Design and Implementation of SOLAR, a Portable Library for Scalable Out-of-core Linear Algebra Computations.	IOPADS	1996	DBLP DOI BibTeX RDF	C, FORTRAN
1	William J. Rogers	Visible-C a simple visualisation system for C data structures.	ACSE	1996	DBLP DOI BibTeX RDF	C
1	Daniel J. Barrett, Alan Kaplan, Jack C. Wileden	Automated Support for Seamless Interoperability in Polylingual Software Systems.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	C, CLOS
1	William G. Griswold, Morison I. Chen, Robert W. Bowdidge, J. David Morgenthaler	Tool Support for Planning the Restructuring of Data Abstractions in Large Systems.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	C
1	Michael Siff, Thomas W. Reps	Program Generalization for Software Reuse: From C to C++.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	C++, C
1	Sean Zhang, Barbara G. Ryder, William Landi	Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	C
1	Youngsoo Shin, Kiyoung Choi	Software synthesis through task decomposition by dependency analysis.	ICCAD	1996	DBLP DOI BibTeX RDF	CDFG, scheduler, dependency, C, VHDL, thread, Software synthesis
1	Eric Lecolinet	XXL: A Dual Approach for Building User Interfaces.	ACM Symposium on User Interface Software and Technology	1996	DBLP DOI BibTeX RDF	distributed interfaces, textual and visual equivalence, C, scripting languages, user interface software, interface builders, iterative development
1	David S. Rosenblum	A Practical Approach to Programming With Assertions.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Anna, APP, formal specifications, formal methods, C, programming environments, assertions, consistency checking, software faults, runtime checking
1	Andy Schürr, Andreas J. Winter 0001, Albert Zündorf	Visual Programming with Graph Rewriting Systems.	VL	1995	DBLP DOI BibTeX RDF	multiparadigm language, PROGRES, rule-oriented visual language, well-defined type, visual database programming language, replacing facilities, language-specific tools, user interfaces, specification, logic programming, debugging, software tools, C, programming environments, pattern matching, specification languages, rapid prototyping, browsing, visual programming, visual programming, visual languages, abstract data types, graph grammars, backtracking, Modula-2, rewriting systems, editing, software engineering environments, logic programming languages, graph rewriting systems, Tcl/Tk
1	Hameed A. Naseem, Ajay P. Malshe, Rajan A. Beera, M. Shahid Haque, William D. Brown, Len W. Schaper	CVD-diamond substrates for multi-chip modules (MCMs).	VLSI Design	1995	DBLP DOI BibTeX RDF	diamond, laser beam machining, metallisation, CVD coatings, elemental semiconductors, chemical vapour deposition, CVD-diamond substrates, 3D MCM, chemical vapor deposition, diamond thin films, laser drilling, via holes, metallization, dielectric coatings, multilayer interconnects, C, planarization, multichip modules, multichip modules, fabrication, polishing, polishing, substrates
1	P. Blysa	SDT a tool for complex real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	SDT, complex real-time systems tool, object-oriented design tool, object-oriented formal specification technique SDL, C++ environments, simulator, real-time systems, real-time system, formal specification, object-oriented programming, validator, C, programming environments, editor
1	Henry G. Baker	CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	C
1	John D. Ramsdell	CST: C State Transformers.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	C
1	Yves L. Noyelle	Disciplined C.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	C
1	Daniel Klein	Developing applications with the Alpha UIMS.	Interactions	1995	DBLP DOI BibTeX RDF	C
1	Saumya K. Debray	Abstract Interpretation and Low-Level Code Optimization.	PEPM	1995	DBLP DOI BibTeX RDF	C
1	Paul Tarau, Bart Demoen, Koenraad De Bosschere	The power of partial tanslation: an experiment with the C-ification of binary Prolog.	SAC	1995	DBLP DOI BibTeX RDF	BinWAM, compilation of binary prolog, programming language translation techniques, prolog to C translation, Prolog, C, WAM
1	Todd A. Proebsting	Optimizing an ANSI C Interpreter with Superoperators.	POPL	1995	DBLP DOI BibTeX RDF	C
1	Thomas W. Reps, Susan Horwitz, Shmuel Sagiv	Precise Interprocedural Dataflow Analysis via Graph Reachability.	POPL	1995	DBLP DOI BibTeX RDF	C
1	John Field, G. Ramalingam, Frank Tip	Parametric Program Slicing.	POPL	1995	DBLP DOI BibTeX RDF	C
1	Joseph M. Lambert	Restructuring the introductory computer science course for engineers.	SIGCSE	1995	DBLP DOI BibTeX RDF	C, FORTRAN
1	David M. Arnow	XDP: a simple library for teaching a distributed programming module.	SIGCSE	1995	DBLP DOI BibTeX RDF	C
1	Eric S. Roberts	A C-based graphics library for CS1.	SIGCSE	1995	DBLP DOI BibTeX RDF	C
1	Michael B. O'Neal, Barry L. Kurtz	Watson: a modular software environment for introductory computer science education.	SIGCSE	1995	DBLP DOI BibTeX RDF	C
1	Ingmar Ögren	Experiences from Trial Use of MIL-STD-498 in Connection with the O4S (Objects for Systems) Development Method.	TRI-Ada Tutorials	1995	DBLP DOI BibTeX RDF	Ada, C++, C
1	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
1	Brad Calder, Dirk Grunwald, Donald C. Lindsay, James H. Martin, Michael Mozer, Benjamin G. Zorn	Corpus-Based Static Branch Prediction.	PLDI	1995	DBLP DOI BibTeX RDF	C
1	Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang, Albert R. Wang	Storage Assignment to Decrease Code Size.	PLDI	1995	DBLP DOI BibTeX RDF	C
1	Robert P. Wilson, Monica S. Lam	Efficient Context-Sensitive Pointer Analysis for C Programs.	PLDI	1995	DBLP DOI BibTeX RDF	C
1	Erik Ruf	Context-Insensitive Alias Analysis Reconsidered.	PLDI	1995	DBLP DOI BibTeX RDF	C
1	M. Anton Ertl	Stack Caching for Interpreters.	PLDI	1995	DBLP DOI BibTeX RDF	C, FORTH
1	Peter A. Broadbery, Teresa Gomez-Diaz, Stephen M. Watt	On the Implementation of Dynamic Evaluation.	ISSAC	1995	DBLP DOI BibTeX RDF	C, SCHEME
1	Mario Daberkow, Michael Pohst	Computations with Relative Extensions of Number Fields with an Application to the Construction of Hilbert Class Fields.	ISSAC	1995	DBLP DOI BibTeX RDF	C
1	David E. Evans 0001, John V. Guttag, James J. Horning, Yang Meng Tan	LCLint: A Tool for Using Specifications to Check Code.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF	LCLint, lint, specifications, C, static checking, Larch
1	Pei-Chi Wu, Feng-Jian Wang	Padded string: treating string as sequence of machine words.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF	string sorting, data structure, C, string
1	Gerardo Cisneros	Configurable REC.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF	C
1	Timothy P. Justice, Rajeev K. Pandey, Timothy A. Budd	A Multiparadigm Approach to Compiler Construction.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF	C
1	R. Mark Meyer	Interprocess Communication and Hierarchically Shared Memory Space in ELC.	ACM Conference on Computer Science	1994	DBLP DOI BibTeX RDF	C, Concurrent C
1	Maria Ebling, Mahadev Satyanarayanan	SynRGen: An Extensible File Reference Generator.	SIGMETRICS	1994	DBLP DOI BibTeX RDF	C
1	Alberto O. Mendelzon, Tova Milo, Emmanuel Waller	Object Migration.	PODS	1994	DBLP DOI BibTeX RDF	C
1	Constantine Katsinis	The development of a multi-processor personal computer in a senior computer design laboratory.	SIGCSE	1994	DBLP DOI BibTeX RDF	C
1	Roland Wismüller	Debugging of Globally Optimized Programs Using Data Flow Analysis.	PLDI	1994	DBLP DOI BibTeX RDF	DEBUG, C
1	Tim A. Wagner, Vance Maverick, Susan L. Graham, Michael A. Harrison	Accurate Static Estimators for Program Optimization.	PLDI	1994	DBLP DOI BibTeX RDF	C
1	Maryam Emami, Rakesh Ghiya, Laurie J. Hendren	Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers.	PLDI	1994	DBLP DOI BibTeX RDF	C
1	Todd M. Austin, Scott E. Breach, Gurindar S. Sohi	Efficient Detection of All Pointer and Array Access Errors.	PLDI	1994	DBLP DOI BibTeX RDF	C
1	Alain Greiner, Frédéric Pétrot	Using C to write portable CMOS VLSI module generators.	EURO-DAC	1994	DBLP DOI BibTeX RDF	C
1	Marsha Chechik, John D. Gannon	Automatic Verification of Requirements Implementation.	ISSTA	1994	DBLP DOI BibTeX RDF	C
1	Wieb Bosma, John J. Cannon, Graham Matthews	Programming with Algebraic Structures: Design of the MAGMA Language.	ISSAC	1994	DBLP DOI BibTeX RDF	C
1	Simon Gray, Norbert Kajler, Paul S. Wang	MP: A Protocol for Efficient Exchange of Mathematical Expressions.	ISSAC	1994	DBLP DOI BibTeX RDF	C, Maple
1	Vassilios Tzerpos	Automatic source-file dependency structure extraction for C programs.	CASCON	1994	DBLP BibTeX RDF	C, C#
1	Vincent Van Dongen, Christophe Bonello, Guang R. Gao	Data parallelism with high performance C.	CASCON	1994	DBLP BibTeX RDF	C
1	Jürgen Heymann	A 100% Portable Inline-Debugger.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	C
1	Edward W. Czeck, James M. Feldman	On Defusing a Small Landmine in the Type Casting of Pointers in the 'C' Language.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	C
1	Lars Ole Andersen	Binding-Time Analysis and the Taming of C Pointers.	PEPM	1993	DBLP DOI BibTeX RDF	C
1	Mansur H. Samadzadeh, Winai Wichaipanitch	An Interactive Debugging Tool for C Based on Dynamic Slicing and Dicing.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF	C
1	Nicholas C. K. Phillips	Stream Driven Query Processing in a Database.	SAC	1993	DBLP DOI BibTeX RDF	C
1	Arthur R. Schulz	Computer-Based Derivation of Flux and Concentration Control Coefficients of Metabolic Control Theory.	SAC	1993	DBLP DOI BibTeX RDF	C
1	Amitava Datta, Prabhaker Mateti	Automating the Re-Declaration of Unneeded Globals as Private.	SAC	1993	DBLP DOI BibTeX RDF	formal methods, C, functional languages, source-to-source transformations, software re-engineering
1	Kwangkeun Yi, Williams Ludwell Harrison III	Automatic Generation and Management of Interprocedural Program Analyses.	POPL	1993	DBLP DOI BibTeX RDF	C, Z
1	Simon L. Peyton Jones, Philip Wadler	Imperative Functional Programming.	POPL	1993	DBLP DOI BibTeX RDF	C, Haskell
1	Joseph M. Hellerstein, Michael Stonebraker	Predicate Migration: Optimizing Queries with Expensive Predicates.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF	SQL, C
1	John Bergin, Stuart Greenfield	Teaching parameter passing by example using thunks in C and C++.	SIGCSE	1993	DBLP DOI BibTeX RDF	C
1	Eric S. Roberts	Using C in CS1: evaluating the Stanford experience.	SIGCSE	1993	DBLP DOI BibTeX RDF	C, Pascal
1	Richard A. Brown	A software testbed for advanced projects in real-time and distributed computing.	SIGCSE	1993	DBLP DOI BibTeX RDF	C
1	Martin Ruckert, Richard Halpern	Educational C.	SIGCSE	1993	DBLP DOI BibTeX RDF	C
1	Mike Downs, Judy Duffy, Karen Mackey, Luke Teyssier, Chris Tonas	Using X with the ADA Mind-Set.	TRI-Ada	1993	DBLP DOI BibTeX RDF	Ada, C, X-Window
1	William Landi, Barbara G. Ryder, Sean Zhang	Interprocedural Side Effect Analysis With Pointer Aliasing.	PLDI	1993	DBLP DOI BibTeX RDF	C
1	Hans-Juergen Boehm	Space Efficient Conservative Garbage Collection.	PLDI	1993	DBLP DOI BibTeX RDF	C, SPARC, Cedar
1	David A. Barrett, Benjamin G. Zorn	Using Lifetime Predictors to Improve Memory Allocation Performance.	PLDI	1993	DBLP DOI BibTeX RDF	C
1	Daniel Weise, Roger F. Crew	Programmable Syntax Macros.	PLDI	1993	DBLP DOI BibTeX RDF	C
1	Dirk Grunwald, Benjamin G. Zorn, Robert Henderson	Improving the Cache Locality of Memory Allocation.	PLDI	1993	DBLP DOI BibTeX RDF	C
1	Priyadarshan Kolte, Mary Jean Harrold	Load/Store Range Analysis for Global Register Allocation.	PLDI	1993	DBLP DOI BibTeX RDF	C, FORTRAN
1	Wai-Mee Ching, Alexander Katz	The Testing of an APL Compiler.	APL	1993	DBLP DOI BibTeX RDF	REXX, APL, C
1	Heather Brown, Fred C. Cole, Elizabeth A. Oxborrow	An object-oriented toolkit for ODA and HyperODA.	SIGDOC	1993	DBLP DOI BibTeX RDF	C++, C
1	Richard Chimera, Jeff Barr, Martin Brunecky, Randy F. Pausch, Alain T. Rappaport	Platform Independent User Interface Builders: Where are we headed?	ACM Symposium on User Interface Software and Technology	1993	DBLP DOI BibTeX RDF	C++, C
1	David E. Culler, Andrea C. Dusseau, Seth Copen Goldstein, Arvind Krishnamurthy, Steven Lumetta, Thorsten von Eicken, Katherine A. Yelick	Parallel programming in Split-C.	SC	1993	DBLP DOI BibTeX RDF	C
1	Rob F. Van der Wijngaart	Efficient implementation of a 3-dimensional ADI method on the iPSC/860.	SC	1993	DBLP DOI BibTeX RDF	C
1	Linda Stanberry	Parallel C/C++: convergence or divergence.	SC	1993	DBLP DOI BibTeX RDF	C++, C
1	Bernd Wiesen	Scalable Hardware and Scalable Software : The nCUBE System.	SPAA	1993	DBLP DOI BibTeX RDF	C, FORTRAN 77
1	Kwang-Ting Cheng, A. S. Krishnakumar	Automatic Functional Test Generation Using the Extended Finite State Machine Model.	DAC	1993	DBLP DOI BibTeX RDF	C, VHDL
1	Takeo Hamada, Chung-Kuan Cheng, Paul M. Chau	Prime: A Timing-Driven Placement Tool using A Piecewise Linear Resistive Network Approach.	DAC	1993	DBLP DOI BibTeX RDF	C
1	Robert S. Boyer, Yuan Yu	Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor.	CADE	1992	DBLP DOI BibTeX RDF	Nqthm, Boyer-Moore Theorem Prover, Gnu, Ada, C, Automated reasoning, object code, formal program verification
1	Jürgen Angele, Detlef Küpper	Modula-2 an alternative to C?	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	C, Modula-2
1	Bernard Thirion	Edison, a Unix and C friendly Rete based production system.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	EDISON, C, UNIX
1	R. P. Mody	On understanding type declarations in C.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	C
1	Giuseppe Cattaneo, G. Di Giore, M. Ruotolo	Another C Threads Library.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	C
1	Thomas A. Anastasio, William W. Carlson	An observation on the C library procedure random().	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	C