|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997, pp. 163-178, 1997, ACM, 0-89791-917-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
C |
1 | Ritu Agarwal, Jayesh Prasad |
Facilitating COBOL programmers' transition to the C language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCPR ![In: Proceedings of the ACM SIGCPR Conference on Computer Personnel Research, San Francisco, California, USA, April 3-5, 1997, pp. 117-126, 1997, ACM, 0-89791-904-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
C, COBOL |
1 | Christian S. Collberg |
Reverse Interpretation + Mutation Analysis = Automatic Retargeting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), Las Vegas, Nevada, USA, June 15-18, 1997, pp. 57-70, 1997, ACM, 0-89791-907-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), Las Vegas, Nevada, USA, June 15-18, 1997, pp. 109-121, 1997, ACM, 0-89791-907-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
C |
1 | Keith D. Cooper, John Lu |
Register Promotion in C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), Las Vegas, Nevada, USA, June 15-18, 1997, pp. 308-319, 1997, ACM, 0-89791-907-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Supercomputing ![In: Proceedings of the 11th international conference on Supercomputing, ICS 1997, Vienna, Austria, July 7-11, 1997, pp. 340-347, 1997, ACM, 0-89791-902-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997., pp. 422-432, 1997, ACM, 0-89791-914-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 34st Conference on Design Automation, Anaheim, California, USA, Anaheim Convention Center, June 9-13, 1997., pp. 83-88, 1997, ACM Press, 0-89791-920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
C |
1 | Robert S. Boyer, Yuan Yu |
Automated Proofs of Object Code for a Widely Used Microprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 43(1), pp. 166-192, 1996. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 31(8), pp. 52-59, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
C |
1 | Anukrom Punyashthiti, Dean Lance Smith |
Program generator for RS-232C instruments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1996 ACM Symposium on Applied Computing, SAC'96, Philadelphia, PA, USA, February 17-19, 1996, pp. 487-492, 1996, ACM, 0-89791-820-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 1996 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, Stanford, CA, USA, August 26-30, 1996, pp. 306-317, 1996, ACM, 0-89791-790-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOPADS ![In: Proceedings of the Fourth Workshop on I/O in Parallel and Distributed Systems, IOPADS 1996, May 27, 1996, Philadelphia, PA, USA., pp. 28-40, 1996, ACM, 0-89791-813-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
C, FORTRAN |
1 | William J. Rogers |
Visible-C a simple visualisation system for C data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSE ![In: Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, ACSE 1996, Sydney, NSW, Australia, July 1996, pp. 39-46, 1996, ACM, 0-89791-845-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
C |
1 | Daniel J. Barrett, Alan Kaplan, Jack C. Wileden |
Automated Support for Seamless Interoperability in Polylingual Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996, pp. 147-155, 1996, ACM, 978-0-89791-797-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996, pp. 33-45, 1996, ACM, 978-0-89791-797-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
C |
1 | Michael Siff, Thomas W. Reps |
Program Generalization for Software Reuse: From C to C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996, pp. 135-146, 1996, ACM, 978-0-89791-797-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996, pp. 81-92, 1996, ACM, 978-0-89791-797-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
C |
1 | Youngsoo Shin, Kiyoung Choi |
Software synthesis through task decomposition by dependency analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1996, San Jose, CA, USA, November 10-14, 1996, pp. 98-104, 1996, IEEE Computer Society / ACM, 0-8186-7597-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
CDFG, scheduler, dependency, C, VHDL, thread, Software synthesis |
1 | Eric Lecolinet |
XXL: A Dual Approach for Building User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on User Interface Software and Technology ![In: Proceedings of the 9th Annual ACM Symposium on User Interface Software and Technology, UIST 1996, Seattle, WA, USA, November 6-8, 1996, pp. 99-108, 1996, ACM, 0-89791-798-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(1), pp. 19-31, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 326-333, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India, pp. 194-, 1995, IEEE Computer Society, 0-8186-6905-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 21-, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 30(9), pp. 17-20, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C |
1 | John D. Ramsdell |
CST: C State Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 30(12), pp. 32-36, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C |
1 | Yves L. Noyelle |
Disciplined C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 30(12), pp. 43-50, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C |
1 | Daniel Klein |
Developing applications with the Alpha UIMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interactions ![In: Interactions 2(4), pp. 48-65, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C |
1 | Saumya K. Debray |
Abstract Interpretation and Low-Level Code Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, La Jolla, California, USA, June 21-23, 1995, pp. 111-121, 1995, ACM Press, 0-89791-720-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1995 ACM symposium on applied computing, SAC'95, Nashville, TN, USA, February 26-28, 1995, pp. 152-156, 1995, ACM, 0-89791-658-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 322-332, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C |
1 | Thomas W. Reps, Susan Horwitz, Shmuel Sagiv |
Precise Interprocedural Dataflow Analysis via Graph Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 49-61, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C |
1 | John Field, G. Ramalingam, Frank Tip |
Parametric Program Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 379-392, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C |
1 | Joseph M. Lambert |
Restructuring the introductory computer science course for engineers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1995, Nashville, Tennessee, USA, March 2-4, 1995, pp. 204-208, 1995, ACM, 0-89791-693-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C, FORTRAN |
1 | David M. Arnow |
XDP: a simple library for teaching a distributed programming module. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1995, Nashville, Tennessee, USA, March 2-4, 1995, pp. 82-86, 1995, ACM, 0-89791-693-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C |
1 | Eric S. Roberts |
A C-based graphics library for CS1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1995, Nashville, Tennessee, USA, March 2-4, 1995, pp. 163-167, 1995, ACM, 0-89791-693-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C |
1 | Michael B. O'Neal, Barry L. Kurtz |
Watson: a modular software environment for introductory computer science education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1995, Nashville, Tennessee, USA, March 2-4, 1995, pp. 87-91, 1995, ACM, 0-89791-693-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada Tutorials ![In: Tutorial Proceedings on Ada's Role in Global Markets: solutions for a changing complex world, TRI-Ada 1995, November 5-10, 1995, Anaheim, CA, USA., pp. 773-789, 1995, ACM, 0-89791-705-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Ada, C++, C |
1 | Matthew F. Parkinson, Sri Parameswaran |
Profiling in the ASP codesign environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), September 13-15, 1995, Cannes, France, pp. 128-133, 1995, ACM, 0-89791-771-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), La Jolla, California, USA, June 18-21, 1995, pp. 79-92, 1995, ACM, 0-89791-697-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), La Jolla, California, USA, June 18-21, 1995, pp. 186-195, 1995, ACM, 0-89791-697-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C |
1 | Robert P. Wilson, Monica S. Lam |
Efficient Context-Sensitive Pointer Analysis for C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), La Jolla, California, USA, June 18-21, 1995, pp. 1-, 1995, ACM, 0-89791-697-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C |
1 | Erik Ruf |
Context-Insensitive Alias Analysis Reconsidered. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), La Jolla, California, USA, June 18-21, 1995, pp. 13-22, 1995, ACM, 0-89791-697-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C |
1 | M. Anton Ertl |
Stack Caching for Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), La Jolla, California, USA, June 18-21, 1995, pp. 315-327, 1995, ACM, 0-89791-697-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C, FORTH |
1 | Peter A. Broadbery, Teresa Gomez-Diaz, Stephen M. Watt |
On the Implementation of Dynamic Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, ISSAC '95, Montreal, Canada, July 10-12, 1995, pp. 77-84, 1995, ACM, 0-89791-699-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, ISSAC '95, Montreal, Canada, July 10-12, 1995, pp. 68-76, 1995, ACM, 0-89791-699-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994, New Orleans, Louisiana, USA, December 6-9, 1994, pp. 87-96, 1994, ACM, 978-0-89791-691-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 29(9), pp. 64-67, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
string sorting, data structure, C, string |
1 | Gerardo Cisneros |
Configurable REC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 29(5), pp. 7-16, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
C |
1 | Timothy P. Justice, Rajeev K. Pandey, Timothy A. Budd |
A Multiparadigm Approach to Compiler Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 29(9), pp. 29-37, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
C |
1 | R. Mark Meyer |
Interprocess Communication and Hierarchically Shared Memory Space in ELC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, CSC '94, Phoenix, Arizona, USA, March 8-10, 1994, pp. 181-188, 1994, ACM, 0-89791-634-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
C, Concurrent C |
1 | Maria Ebling, Mahadev Satyanarayanan |
SynRGen: An Extensible File Reference Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems, Vanderbilt University, Nashville, Tennessee, USA, May 16-20, 1994, pp. 108-117, 1994, ACM, 0-89791-659-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
C |
1 | Alberto O. Mendelzon, Tova Milo, Emmanuel Waller |
Object Migration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, USA, pp. 232-242, 1994, ACM Press, 0-89791-642-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
C |
1 | Constantine Katsinis |
The development of a multi-processor personal computer in a senior computer design laboratory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1994, Phoenix, Arizona, USA, March 10-12, 1994, pp. 349-352, 1994, ACM, 0-89791-646-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
C |
1 | Roland Wismüller |
Debugging of Globally Optimized Programs Using Data Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994, pp. 278-289, 1994, ACM, 0-89791-662-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994, pp. 85-96, 1994, ACM, 0-89791-662-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994, pp. 242-256, 1994, ACM, 0-89791-662-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994, pp. 290-301, 1994, ACM, 0-89791-662-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
C |
1 | Alain Greiner, Frédéric Pétrot |
Using C to write portable CMOS VLSI module generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO-DAC ![In: Proceedings EURO-DAC'94, European Design Automation Conference, Grenoble, France, September 19-22, 1994, pp. 676-681, 1994, IEEE Computer Society, 0-89791-685-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
C |
1 | Marsha Chechik, John D. Gannon |
Automatic Verification of Requirements Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1994 International Symposium on Software Testing and Analysis, ISSTA 1994, Seattle, WA, USA, August 17-19, 1994, pp. 1-14, 1994, ACM, 0-89791-683-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
C |
1 | Wieb Bosma, John J. Cannon, Graham Matthews |
Programming with Algebraic Structures: Design of the MAGMA Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '94, Oxford, UK, July 20-22, 1994, pp. 52-57, 1994, ACM, 0-89791-638-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
C |
1 | Simon Gray, Norbert Kajler, Paul S. Wang |
MP: A Protocol for Efficient Exchange of Mathematical Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '94, Oxford, UK, July 20-22, 1994, pp. 330-335, 1994, ACM, 0-89791-638-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
C, Maple |
1 | Vassilios Tzerpos |
Automatic source-file dependency structure extraction for C programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31 - November 3, 1994, Toronto, Ontario, Canada, pp. 68, 1994, IBM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
C, C# |
1 | Vincent Van Dongen, Christophe Bonello, Guang R. Gao |
Data parallelism with high performance C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31 - November 3, 1994, Toronto, Ontario, Canada, pp. 69, 1994, IBM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
C |
1 | Jürgen Heymann |
A 100% Portable Inline-Debugger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 28(9), pp. 39-46, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 28(8), pp. 53-56, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C |
1 | Lars Ole Andersen |
Binding-Time Analysis and the Taming of C Pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993, pp. 47-58, 1993, ACM, 0-89791-594-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C |
1 | Mansur H. Samadzadeh, Winai Wichaipanitch |
An Interactive Debugging Tool for C Based on Dynamic Slicing and Dicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 21th Conference on Computer Science, CSC '93, Indianapolis, IN, USA, February 16-18, 1993, pp. 30-37, 1993, ACM, 0-89791-558-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C |
1 | Nicholas C. K. Phillips |
Stream Driven Query Processing in a Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, SAC'93, Indianapolis, IN, USA, February 14-16, 1993, pp. 593-597, 1993, ACM, 0-89791-567-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C |
1 | Arthur R. Schulz |
Computer-Based Derivation of Flux and Concentration Control Coefficients of Metabolic Control Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, SAC'93, Indianapolis, IN, USA, February 14-16, 1993, pp. 682-686, 1993, ACM, 0-89791-567-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C |
1 | Amitava Datta, Prabhaker Mateti |
Automating the Re-Declaration of Unneeded Globals as Private. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, SAC'93, Indianapolis, IN, USA, February 14-16, 1993, pp. 87-94, 1993, ACM, 0-89791-567-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 246-259, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C, Z |
1 | Simon L. Peyton Jones, Philip Wadler |
Imperative Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 71-84, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C, Haskell |
1 | Joseph M. Hellerstein, Michael Stonebraker |
Predicate Migration: Optimizing Queries with Expensive Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, Washington, DC, USA, May 26-28, 1993., pp. 267-276, 1993, ACM Press, 978-0-89791-592-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
SQL, C |
1 | John Bergin, Stuart Greenfield |
Teaching parameter passing by example using thunks in C and C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 24th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1993, Indianapolis, Indiana, USA, February 18-19, 1993, pp. 10-14, 1993, ACM, 0-89791-565-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C |
1 | Eric S. Roberts |
Using C in CS1: evaluating the Stanford experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 24th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1993, Indianapolis, Indiana, USA, February 18-19, 1993, pp. 117-121, 1993, ACM, 0-89791-565-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C, Pascal |
1 | Richard A. Brown |
A software testbed for advanced projects in real-time and distributed computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 24th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1993, Indianapolis, Indiana, USA, February 18-19, 1993, pp. 247-250, 1993, ACM, 0-89791-565-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C |
1 | Martin Ruckert, Richard Halpern |
Educational C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 24th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1993, Indianapolis, Indiana, USA, February 18-19, 1993, pp. 6-9, 1993, ACM, 0-89791-565-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C |
1 | Mike Downs, Judy Duffy, Karen Mackey, Luke Teyssier, Chris Tonas |
Using X with the ADA Mind-Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference Proceedings on TRI-Ada 1993, September 18-23, 1993, Seattle, Washington, USA., pp. 20-28, 1993, ACM, 0-89791-621-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Ada, C, X-Window |
1 | William Landi, Barbara G. Ryder, Sean Zhang |
Interprocedural Side Effect Analysis With Pointer Aliasing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993, pp. 56-67, 1993, ACM, 0-89791-598-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C |
1 | Hans-Juergen Boehm |
Space Efficient Conservative Garbage Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993, pp. 197-206, 1993, ACM, 0-89791-598-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C, SPARC, Cedar |
1 | David A. Barrett, Benjamin G. Zorn |
Using Lifetime Predictors to Improve Memory Allocation Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993, pp. 187-196, 1993, ACM, 0-89791-598-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C |
1 | Daniel Weise, Roger F. Crew |
Programmable Syntax Macros. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993, pp. 156-165, 1993, ACM, 0-89791-598-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C |
1 | Dirk Grunwald, Benjamin G. Zorn, Robert Henderson |
Improving the Cache Locality of Memory Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993, pp. 177-186, 1993, ACM, 0-89791-598-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C |
1 | Priyadarshan Kolte, Mary Jean Harrold |
Load/Store Range Analysis for Global Register Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993, pp. 268-277, 1993, ACM, 0-89791-598-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C, FORTRAN |
1 | Wai-Mee Ching, Alexander Katz |
The Testing of an APL Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the International Conference on APL 1993, Toronto, Ontario, Canada, August 15-19, 1993., pp. 55-62, 1993, ACM, 0-89791-612-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 11th Annual International Conference on Systems Documentation, SIGDOC 1993, Waterloo, Ontario, Canada, October 5-8, 1993, pp. 29-41, 1993, ACM, 0-89791-630-1. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on User Interface Software and Technology ![In: Proceedings of the Sixth ACM Symposium on User Interface Software and Technology, UIST 1993, Atlanta, GA, USA, November 3-5, 1993, pp. 235-236, 1993, ACM, 0-89791-628-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '93, Portland, Oregon, USA, November 15-19, 1993, pp. 262-273, 1993, ACM, 0-8186-4340-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C |
1 | Rob F. Van der Wijngaart |
Efficient implementation of a 3-dimensional ADI method on the iPSC/860. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '93, Portland, Oregon, USA, November 15-19, 1993, pp. 102-111, 1993, ACM, 0-8186-4340-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C |
1 | Linda Stanberry |
Parallel C/C++: convergence or divergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '93, Portland, Oregon, USA, November 15-19, 1993, pp. 448-449, 1993, ACM, 0-8186-4340-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C++, C |
1 | Bernd Wiesen |
Scalable Hardware and Scalable Software : The nCUBE System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA '93, Velen, Germany, June 30 - July 2, 1993, pp. 240, 1993, ACM, 0-89791-599-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 30th Design Automation Conference. Dallas, Texas, USA, June 14-18, 1993., pp. 86-91, 1993, ACM Press, 0-89791-577-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 30th Design Automation Conference. Dallas, Texas, USA, June 14-18, 1993., pp. 531-536, 1993, ACM Press, 0-89791-577-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C |
1 | Robert S. Boyer, Yuan Yu |
Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 416-430, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 27(4), pp. 17-26, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
C, Modula-2 |
1 | Bernard Thirion |
Edison, a Unix and C friendly Rete based production system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 27(1), pp. 75-84, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
EDISON, C, UNIX |
1 | R. P. Mody |
On understanding type declarations in C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 27(6), pp. 80-83, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
C |
1 | Giuseppe Cattaneo, G. Di Giore, M. Ruotolo |
Another C Threads Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 27(12), pp. 81-90, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
C |
1 | Thomas A. Anastasio, William W. Carlson |
An observation on the C library procedure random(). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 27(3), pp. 71-74, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
C |
Displaying result #101 - #200 of 282 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ >>] |
|