Search results for "VAX"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Norman Ramsey, David R. Hanson	A Retargetable Debugger.	PLDI	1992	DBLP DOI BibTeX RDF	C, PostScript
13	Jean-Marc Champarnaud	A Programming Language for Symbolic Computation of Regular Languages, Automata and Semigroups.	STACS	1992	DBLP DOI BibTeX RDF
13	Christopher W. Fraser	A retargetable compiler for ANSI C.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	C
13	Gerd Krüger 0001	A tool for hierarchical test generation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
13	Giuseppe Attardi, Mauro Gaspari	Multilanguage Interoperability.	PLILP	1991	DBLP DOI BibTeX RDF
13	Christos A. Papachristou, Anil L. Pandya	A design scheme for PLA-based control tables with reduced area and time-delay cost.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1990	DBLP DOI BibTeX RDF
13	Kevin C. Schott	A Dual-Algorithm Performance Monitoring System (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
13	Shahram Ghandeharizadeh, David J. DeWitt	Factors Affecting the Performance of Multiuser Database Management Systems.	SIGMETRICS	1990	DBLP DOI BibTeX RDF
13	Hemant G. Rotithor, S. S. Pyo	Decentralized decision-making in adaptive task sharing.	SPDP	1990	DBLP DOI BibTeX RDF
13	M. Y. Yu, Xiaoyan Hong, Y. E. Lien, Z. Z. Ma, J. G. Bo, W. J. Zhuang	A new clustering approach and its application to BBL placement.	EURO-DAC	1990	DBLP DOI BibTeX RDF
13	William L. French	Supercomputer network selection: a case study.	SC	1990	DBLP DOI BibTeX RDF	Hyperchannel
13	Jerzy W. Grzymala-Busse, Sachin Mithal	A Comparison of Four Tests for Attribute Dependency in the LEM and LERS Systems for Learning from Examples.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
13	Andrew S. Tanenbaum, M. Frans Kaashoek, Koen Langendoen, Ceriel J. H. Jacobs	The design of very fast portable compilers.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
13	Chantal Robach, Daniel Lutoff, Nouar Garcia	Knowledge-based functional specification of test and maintenance programs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
13	Andrew K. C. Wong, Si W. Lu, Marc Rioux	Recognition and Shape Synthesis of 3-D Objects Based on Attributed Hypergraphs.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	attributed hypergraphs, shape synthesis, graph monomorphism, Grinnell imaging system, computer vision, computer vision, graph theory, computerised pattern recognition, computerised pattern recognition, range data, 3D object recognition
13	Robert G. Brookshire	Models for the organization of academic computing.	SIGUCCS	1989	DBLP DOI BibTeX RDF
13	Gerard McCartney	Organizing for users.	SIGUCCS	1989	DBLP DOI BibTeX RDF
13	Michael D. Schroeder, Michael Burrows	Performance of Firefly RPC.	SOSP	1989	DBLP DOI BibTeX RDF
13	Stephen W. Melvin, Yale N. Patt	Performance benefits of large execution atomic units in dynamically scheduled machines.	ICS	1989	DBLP DOI BibTeX RDF
13	J. E. Black	Scribe support in GNU emacs.	SIGDOC	1989	DBLP DOI BibTeX RDF
13	V. Rajaraman	Research and Development at KBCS Nodal Centre, IISc, Bangalore.	KBCS	1989	DBLP DOI BibTeX RDF
13	Nils Hedenstierna, Kjell O. Jeppson	The Use of Inverse Layout Trees for Hierarchical Design Rule Checking.	DAC	1989	DBLP DOI BibTeX RDF
13	Naveed A. Sherwani, Jitender S. Deogun	A New Heuristic for Single Row Routing Problems.	DAC	1989	DBLP DOI BibTeX RDF
13	Nicholas Weiner, Alberto L. Sangiovanni-Vincentelli	Timing Analysis in a Logic Synthesis Environment.	DAC	1989	DBLP DOI BibTeX RDF
13	Anant Agarwal, John L. Hennessy, Mark Horowitz	Cache Performance of Operating System and Multiprogramming Workloads.	ACM Trans. Comput. Syst.	1988	DBLP DOI BibTeX RDF
13	Nohbyung Park, Alice C. Parker	Sehwa: a software package for synthesis of pipelines from behavioral specifications.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
13	K. Lee, Andrew R. Neureuther	SIMPL-2: (SIMulated Profiles from the Layout-Version 2).	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
13	Tom Strelich	The Software Life Cycle Support Environment (SLCSE): A Computer Framework for Developing Software Systems.	Software Development Environments (SDE)	1988	DBLP DOI BibTeX RDF	SLCSE
13	Michael Andrews, F. Lam	A new rapid prototyping firmware (RPF) tool.	MICRO	1988	DBLP BibTeX RDF
13	Mark R. Swanson, Robert R. Kessler, Gary Lindstrom	An Implementation of Portable Standard LISP on the BBN Butterfly.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF	LISP
13	John F. Cigas	Efficient and realistic simulation of disk cache performance.	Annual Simulation Symposium	1988	DBLP BibTeX RDF
13	B. Nassersharif, J. S. Peery, M. D. DeHart	Highly vectorized algorithm for transient simulation of space reactor systems.	SC	1988	DBLP DOI BibTeX RDF
13	Michael Lucks	A Constraint Satisfaction Algorithm for the Automated Decryption of Simple Substitution Ciphers.	CRYPTO	1988	DBLP DOI BibTeX RDF
13	Chin-Long Wey, Tsin-Yuan Chang	PLAYGROUND: Minimization of PLAs with Mixed Ground True Outputs.	DAC	1988	DBLP BibTeX RDF
13	Andrew Rappaport	Future Computing Environments for DA (panel).	DAC	1988	DBLP BibTeX RDF
13	Erik C. Carlson, Rob A. Rutenbar	Mask Verification on the Connection Machine.	DAC	1988	DBLP BibTeX RDF
13	Ren-Song Tsay, Ernest S. Kuh, Chi-Ping Hsu	Proud: A Fast Sea-of-Gates Placement Algorithm.	DAC	1988	DBLP BibTeX RDF
13	Serge Himbaut	Tell-Me: A Natural Language Query System.	EDBT	1988	DBLP DOI BibTeX RDF
13	William R. Gerlt	ARMS: arbitrary robot modelling system (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
13	Haerim Lee, Warren Moseley	A parallel inference engine (PIE) (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	blackboard-driven, forward/backward chaining, parallel inference engine, artificial intelligence, ADA, Ada, object-oriented design, frame, real-time embedded system, inference engine
13	Mary Micco	An undergraduate curriculum in expert systems design or knowledge engineering.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
13	Stephen W. Melvin, Yale N. Patt	SPAM: a microcode based tool for tracing operating system events.	MICRO	1987	DBLP DOI BibTeX RDF
13	Olivier Danvy	Memory allocation and higher-order functions.	PLDI	1987	DBLP DOI BibTeX RDF
13	Arch Douglas Robison	The Illinois functional programming interpreter.	PLDI	1987	DBLP DOI BibTeX RDF	FP
13	Eric Jul, Henry M. Levy, Norman C. Hutchinson, Andrew P. Black	Fine-Grained Mobility in the Emerald System (Extended Abstract).	SOSP	1987	DBLP DOI BibTeX RDF
13	J. D. Myers	The background of INTERNIST I and QMR.	History of Medical Informatics	1987	DBLP DOI BibTeX RDF
13	Richard F. Rashid, Avadis Tevanian, Michael Young, David B. Golub, Robert V. Baron, David L. Black 0001, William J. Bolosky, Jonathan Chew	Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures.	ASPLOS	1987	DBLP DOI BibTeX RDF
13	M. T. Smith	A Hardware Switch Level Simulator for Large MOS Circuits.	DAC	1987	DBLP DOI BibTeX RDF
13	T. D. Spiers, D. A. Edwards	A High Performance Routing Engine.	DAC	1987	DBLP DOI BibTeX RDF
13	Andrei Vladimirescu, David Weiss, Manolis Katevenis, Zvika Bronstein, Alon Kifir, Karja Danuwidjaja, K. C. Ng, Niraj Jain, Steven Lass	A Vector Hardware Accelerator with Circuit Simulation Emphasis.	DAC	1987	DBLP DOI BibTeX RDF
13	J. Y. Tou, W. H. Ki, K. C. Fan, C. L. Huang	Knowledge Based Approach for the Verification of CAD Database Generated by an Automated Schematic Capture System.	DAC	1987	DBLP DOI BibTeX RDF
13	Thomas J. Pennello	Very fast LR parsing.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
13	Philip J. Hatcher, Thomas W. Christopher	High-Quality Code Generation Via Bottom-Up Tree Pattern Matching.	POPL	1986	DBLP DOI BibTeX RDF
13	Hasan Ural, R. Short	An interactive test sequence generator.	SIGCOMM	1986	DBLP DOI BibTeX RDF
13	Qiming Chen	A Rule-Based Object/Task Modelling Approach.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF
13	John E. Rager	Graphics packages for teaching graphics.	SIGCSE	1986	DBLP DOI BibTeX RDF
13	S. Sridhar	An Implementation of OBJ2: An Object-Oriented Language for Abstract Program Specification.	FSTTCS	1986	DBLP DOI BibTeX RDF
13	Nohbyung Park, Alice C. Parker	Sehwa: a program for synthesis of pipelines.	DAC	1986	DBLP DOI BibTeX RDF
13	Alice C. Parker, Jorge T. Pizarro, Mitch J. Mlinar	MAHA: a program for datapath synthesis.	DAC	1986	DBLP DOI BibTeX RDF
13	Brady R. Rimes, Walter G. Rudd	Pest management modeller's workbench (abstract only).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
13	Ram Chillarege, Ravishankar K. Iyer	The Effect of System Workload on Error Latency: An Experimental Study.	SIGMETRICS	1985	DBLP DOI BibTeX RDF
13	John R. Talburt	The Flesch Index: An Easily Programmable Readability Analysis Algorithm.	SIGDOC	1985	DBLP DOI BibTeX RDF
13	Hart Anway, Greg Farnham, Rebecca Reid	PLINT layout system for VLSI chips.	DAC	1985	DBLP DOI BibTeX RDF	IC placement, IC routing, macrocell layout, standard cell layout, VLSI, computer-aided design, IC layout
13	Marianne Winslett Wilkins, Richard Berlin, Thomas H. Payne, Gio Wiederhold	Relational and entity-relationship model databases and specialized design files in VLSI design.	DAC	1985	DBLP DOI BibTeX RDF
13	M. Donald MacLaren	Inline routines in VAXELN Pascal.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
13	Charles N. Fischer, Anil Pal, Daniel L. Stock, Gregory F. Johnson, Jon Mauney	The POE Language-Based Editor Project.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF	Pascal
13	Christoph M. Hoffmann, Michael J. O'Donnell	Implementation of an Interpreter for Abstract Equations.	POPL	1984	DBLP DOI BibTeX RDF
13	Marc Davio, Yvo Desmedt, Jo Goubert, Frank Hoornaert, Jean-Jacques Quisquater	Efficient Hardware and Software Implementations for the DES.	CRYPTO	1984	DBLP DOI BibTeX RDF
13	Haim Kilov	Guidelines for writing PL/I programs.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
13	Malcolm K. Crowe	An Incremental Compiler.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
13	Morris E. Kranc	A Separate Compilation Facility for Pascal.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
13	David R. Barach, David H. Taenzer	A Technique for Finding Storage Allocation Errors in C-language Programs.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
13	Martin L. Griss, Eric Benson, Anthony C. Hearn	Current Status of a Portable Lisp Compiler.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	LISP
13	Charles Minderhout, Kevin D. Reilly, John H. Barrett, John W. Gibson	Use of barrel in applications studies.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF
13	David A. Patterson 0001, Richard S. Piepho	RISC assessment: A high-level language experiment.	ISCA	1982	DBLP BibTeX RDF
13	Kai Hwang 0001, Benjamin W. Wah, Faye A. Briggs	Engineering computer network (ECN): a hardwired network of UNIX computer systems.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF