|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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 |
Displaying result #101 - #200 of 282 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ >>] |
|