Search results for "c"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Henry G. Baker	Computing A*B (mod N) efficiently in ANSI C.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	C
1	Wade Henessey	WCL: Delivering Efficient Common Lisp Applications Under Unix.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	C, UNIX, Common Lisp
1	John R. Rose, Hans Muller	Integrating the Scheme and C Languages.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	C, SCHEME
1	Paul A. Fishwick	SimPack: Getting Started with Simulation Programming in C and C++.	WSC	1992	DBLP DOI BibTeX RDF	C++, C
1	Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian	Implementing Deductive Databases by Linear Programming.	PODS	1992	DBLP DOI BibTeX RDF	C
1	David G. Kay	A balanced approach to first-year computer science.	SIGCSE	1992	DBLP DOI BibTeX RDF	C, Pascal, SCHEME
1	Rok Sosic	Dynascope: A Tool for Program Directing.	PLDI	1992	DBLP DOI BibTeX RDF	C
1	Vadim Maslov	Delinearization: An Efficient Way to Break Multiloop Dependence Equations.	PLDI	1992	DBLP DOI BibTeX RDF	C, FORTRAN
1	Norman Ramsey, David R. Hanson	A Retargetable Debugger.	PLDI	1992	DBLP DOI BibTeX RDF	C, PostScript
1	William Landi, Barbara G. Ryder	A Safe Approximate Algorithm for Interprocedural Pointer Aliasing.	PLDI	1992	DBLP DOI BibTeX RDF	C
1	David S. Rosenblum	Towards a Method of Programming With Assertions.	ICSE	1992	DBLP DOI BibTeX RDF	C
1	Grant O. Cook Jr.	Code Generation in ALPAL Using Symbolic Techniques.	ISSAC	1992	DBLP DOI BibTeX RDF	C, FORTRAN
1	Daniel Hoffman, Paul A. Strooper	Automated Module Testing in Prolog.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	input generation, test oracle problems, test inputs, output oracle, automated input generation, trace invariants, run-time performance, logic programming, Prolog, PROLOG, C, program testing, random testing, functional testing, C language, maintenance costs
1	John F. Beetem, Anne F. Beetem	Incremental Scanning and Parsing With Galaxy.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	incremental scanning, Galaxy language, instantaneous change processing, execution time efficiency, compiled programs, code development, minimal rescanning, reparsing, time efficient, algorithms, C, programming environments, programming environments, Pascal, program compilers, parsing, high level languages
1	B. I. B. Madhav, Narayan Hegde	Implementing C function calls in rules for an expert system shell.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	C
1	Christopher W. Fraser	A retargetable compiler for ANSI C.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	C
1	Jorge Buenabad Chávez	XINIX Time-Sharing Operating System.	ACM SIGOPS Oper. Syst. Rev.	1991	DBLP DOI BibTeX RDF	C
1	Geoffrey Phipps, Marcia A. Derr, Kenneth A. Ross	Glue-Nail: A Deductive Database System.	SIGMOD Conference	1991	DBLP DOI BibTeX RDF	SQL, C
1	Rajive L. Bagrodia	Iterative design of efficient simulations using Maisie.	WSC	1991	DBLP DOI BibTeX RDF	C
1	Richard Johnsonbaugh, Martin Kalin	A graph generation software package.	SIGCSE	1991	DBLP DOI BibTeX RDF	C
1	Allan L. Fisher, Thomas R. Gross	Teaching the programming of parallel computers.	SIGCSE	1991	DBLP DOI BibTeX RDF	C
1	Joseph Robert Horgan, Saul London	Data Flow Coverage and the C Language.	Symposium on Testing, Analysis, and Verification	1991	DBLP DOI BibTeX RDF	C
1	Thomas J. Ostrand, Elaine J. Weyuker	Data Flow-Based Test Adequacy Analysis for Languages with Pointers.	Symposium on Testing, Analysis, and Verification	1991	DBLP DOI BibTeX RDF	C
1	Hemant D. Pande, William Landi	Interprocedural Def-Use Associations in C Programs.	Symposium on Testing, Analysis, and Verification	1991	DBLP DOI BibTeX RDF	C
1	Stephen Deerhake	Notes on C Programming for APL Programmers.	APL	1991	DBLP DOI BibTeX RDF	APL, C
1	John R. Jensen, Kirk A. Beaty	Building an APL2 X-Windows Interface for VM and AIX with a General APL2-to-C Interface.	APL	1991	DBLP DOI BibTeX RDF	APL, C, X-Window
1	Jon Loeliger, Robert Metzger, Mark Seligman, Sean Stroud	Pointer target tracking - an empirical study.	SC	1991	DBLP DOI BibTeX RDF	C, FORTRAN
1	Philip J. Hatcher, Michael J. Quinn, Ray J. Anderson, Anthony J. Lapadula, Bradley K. Seevers, Andrew F. Bennett	Architecture-independent scientific programming in data parallel C: three case studies.	SC	1991	DBLP DOI BibTeX RDF	C
1	Lauren L. Smith	Vectorizing C compilers: how good are they?	SC	1991	DBLP DOI BibTeX RDF	C
1	Attila Gürsoy, Laxmikant V. Kalé	High level support for divide-and-conquer parallelism.	SC	1991	DBLP DOI BibTeX RDF	C
1	Dz-Ching Ju, Wai-Mee Ching	Exploitation of APL Data Parallelism on a Shared-memory MIMD Machine.	PPoPP	1991	DBLP DOI BibTeX RDF	APL, C
1	Wolfgang Küchlin	On the Multi-Threaded Computation of Integral Polynomial Greatest Common Divisors.	ISSAC	1991	DBLP DOI BibTeX RDF	C
1	Gerald W. Neufeld, Yueli Yang	The Design and Implementation of an ASN.1-C Compiler.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	abstract syntax notation one, ASN.1-C compiler, international standard specification, transfer-syntax, basic encoding rules, external data representation, ED library, CASN1, design, user interface, protocol, protocols, standards, C, implementation, encoding, program compilers, decoding, decoding
1	Shuhua Shen, Georges G. Grinstein, Stuart Smith	Exvis: The Exploratory Visualization Tool (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	C, X-Window
1	Taizo Kojima, Kaoru Tsuru, Akira Sugimoto	ALHARD: An Application-Oriented Language for Hardware Simulation.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	C
1	David W. Boyd	The C preprocessor and Jensen's device.	ACM Southeast Regional Conference	1990	DBLP DOI BibTeX RDF	C, ALGOL
1	Hal Berghel, Richard Rankin, Farrukh Burney	An Approach to Tableau Inferencing with "Hardwired" Heuristics.	SIGSMALL/PC Symposium	1990	DBLP DOI BibTeX RDF	C
1	Taherah Daneshi	A Memory Adjustable Software System for Clustering and Retrieval.	SIGSMALL/PC Symposium	1990	DBLP DOI BibTeX RDF	C
1	David J. Thuente, Robert L. Sedlmeyer	A macro preprocessor for the simulation language network II.5.	Annual Simulation Symposium	1990	DBLP DOI BibTeX RDF	C
1	Frank Paterra, C. Michael Overstreet, Kurt Maly	Distributed simulation: no special tools required.	WSC	1990	DBLP DOI BibTeX RDF	C
1	Robert Bernecky, Charles Brenner, Stephen B. Jaffe, George P. Moeckel	ACORN: APL to C on Real Numbers.	APL	1990	DBLP DOI BibTeX RDF	ACORN, APL, C
1	Roger K. W. Hui, Kenneth E. Iverson, Eugene E. McDonnell, Arthur T. Whitney	APL\?	APL	1990	DBLP DOI BibTeX RDF	APL, C
1	Brian Von Herzen, Alan H. Barr, Harold R. Zatz	Geometric collisions for time-dependent parametric surfaces.	SIGGRAPH	1990	DBLP DOI BibTeX RDF	C
1	Vincenzo Ambriola, Paolo Ciancarini, Marco Danelutto	Design and Distributed Implementation of the Parallel Logic Language Shared Prolog.	PPoPP	1990	DBLP DOI BibTeX RDF	Prolog, C
1	Timothy J. Barnes	SKILL: A CAD System Extension Language.	DAC	1990	DBLP DOI BibTeX RDF	C
1	John P. Fitch	A Delivery System for REDUCE.	ISSAC	1990	DBLP DOI BibTeX RDF	C, LISP, REDUCE
1	Y. Doleh, Paul S. Wang	SUI: A System Independent User Interface for an Integrated Scientific Computing Environment.	ISSAC	1990	DBLP DOI BibTeX RDF	C
1	Gregory J. Fee	Computation of Catalan's Constant Using Ramanujan's Formula.	ISSAC	1990	DBLP DOI BibTeX RDF	C, Maple
1	Giulio Iannello, Antonino Mazzeo, Giorgio Ventre	Definition of the DISC concurrent language.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	C
1	Klaus Bothe, B. Hohberg, Christian Horn, O. Wikarski	A portable high-speed PASCAL to C Translator.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	C, Pascal
1	Coenraad Bron, E. J. Dijkstra	A better way to combine efficient string length encoding and zero-termination.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	C
1	Rami G. Melhem, Saurabh Gupta	A software tool for the automatic generation of memory traces for shared memory multiprocessor systems.	Annual Simulation Symposium	1989	DBLP DOI BibTeX RDF	C
1	Christopher W. Fraser	A Language for Writing Code Generators.	PLDI	1989	DBLP DOI BibTeX RDF	C
1	Wen-mei W. Hwu, Pohua P. Chang	Inline Function Expansion for Compiling C Programs.	PLDI	1989	DBLP DOI BibTeX RDF	C
1	Russell R. Atkinson, Alan J. Demers, Carl Hauser, Christian Jacobi, Peter Kessler, Mark D. Weiser	Experiences Creating a Portable Cedar.	PLDI	1989	DBLP DOI BibTeX RDF	C, CEDAR
1	Gordon Kotik, Lawrence Markosian	Automating Software Analysis and Testing Using a Program Transformation System.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF	C
1	Osama K. Eyada, Yiannakis A. Ioannou, Jin B. Ong	An interactive tolerance system.	IEA/AIE (1)	1989	DBLP DOI BibTeX RDF	C
1	A. K. Ray, M. S. S. N. Murty	Artificial intelligence techniques applied to maintenance management.	IEA/AIE (1)	1989	DBLP DOI BibTeX RDF	C
1	Marco Annaratone, Roland Rühl	Performance Measurements on a Commercial Multiprocessor Running Parallel Code.	ISCA	1989	DBLP DOI BibTeX RDF	C, FORTRAN
1	Barton P. Miller	The frequency of dynamic pointer references in "C" programs.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	C
1	Paul W. Abrahams	Some sad remarks about string handling in C.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	C
1	Peter F. Lemkin	PSAIL: A portable SAIL to C compiler - description and tutorial.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	C, SAIL
1	Stephen G. Perelgut, James R. Cordy	Turing Plus: a comparison with C and Pascal.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	C, Pascal, TURING
1	Roberto Salama, Wentai Liu, Ronald S. Gyurcsik	Software experience with concurrent C and LISP in a distributed system.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	C, UNIX, LISP
1	Pohua P. Chang, Wen-mei W. Hwu	Trace selection for compiling large C application programs to microcode.	MICRO	1988	DBLP BibTeX RDF	C
1	Norman C. Hutchinson, Larry L. Peterson	Design of the x-kernel.	SIGCOMM	1988	DBLP DOI BibTeX RDF	C, UNIX
1	Pierre A. von Kaenel	Microprogramming a watch: tools for a course in computer organization.	SIGCSE	1988	DBLP DOI BibTeX RDF	C
1	Uwe F. Pleban, Peter Lee 0001	An Automatically Generated, Realistic Compiler for an Imperative Programming Language.	PLDI	1988	DBLP DOI BibTeX RDF	C
1	Christopher W. Fraser, Alan L. Wendt	Automatic Generation of Fast Optimizing Code Generators.	PLDI	1988	DBLP DOI BibTeX RDF	C
1	Manuel E. Benitez, Jack W. Davidson	A Portable Global Optimizer and Linker.	PLDI	1988	DBLP DOI BibTeX RDF	C, VAX
1	Randy Allen, Steve Johnson	Compiling C for Vectorization, Parallelization, and Inline Expansion.	PLDI	1988	DBLP DOI BibTeX RDF	C, FORTRAN
1	Ravi Mirchandaney, Joel H. Saltz, Roger M. Smith, David M. Nicol, Kay Crowley	Principles of runtime support for parallel processors.	ICS	1988	DBLP DOI BibTeX RDF	C
1	James R. Rhyne	Extensions to C for Interface Programming.	ACM Symposium on User Interface Software and Technology	1988	DBLP DOI BibTeX RDF	C
1	C. Harston	Issues in the Development of Expert Systems.	IEA/AIE (Vol. 2)	1988	DBLP DOI BibTeX RDF	C, IBM PC
1	Michael J. Quinn, Philip J. Hatcher, Karen C. Jourdennais	Compiling C* Programs for a Hypercube Multicomputer.	PPOPP/PPEALS	1988	DBLP DOI BibTeX RDF	C
1	Larry D. Wittie	Debugging Distributed C Programs by Real Time Replay.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF	C
1	A. Rizk, Fred Halsall	Design and Implementation of a C-based Language for Distributed Real-time Systems.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	C
1	Rand Methfessel	Implementing an Access and Object Oriented Paradigm in a Language That Supports Neither.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	C
1	Jack W. Davidson, Joseph V. Gresh	Cint: a RISC interpreter for the C programming language.	PLDI	1987	DBLP DOI BibTeX RDF	C, RISC
1	David R. Ditzel, Hubert R. McLellan	Design Tradeoffs to Support the C Programming Language in the CRISP Microprocessor.	ASPLOS	1987	DBLP DOI BibTeX RDF	C
1	William S. Beckett	MOS circuit models in Network C.	DAC	1986	DBLP DOI BibTeX RDF	C
1	Joseph R. Horgan, D. J. Moore	Techniques for Improving Language-Based Editors.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF	C