Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Linda J. Moore, Angelica R. Moya |
Non-Intrusive Debug Technique for Embedded Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA, pp. 375-382, 2003, IEEE Computer Society, 0-7695-2007-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Rajesh Venkatasubramanian, John P. Hayes, Brian T. Murray |
Low-Cost On-Line Fault Detection Using Control Flow Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 9th IEEE International On-Line Testing Symposium (IOLTS 2003), 7-9 July 2003, Kos Island, Greece, pp. 137-143, 2003, IEEE Computer Society, 0-7695-1968-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | James Cownie, John Del Signore Jr., Bronis R. de Supinski, Karen H. Warren |
DMPL: An OpenMP DLL Debugging Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOMPAT ![In: OpenMP Shared Memory Parallel Programming, International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003, Proceedings, pp. 137-146, 2003, Springer, 3-540-40435-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Kazutaka Maruyama, Minoru Terada |
Debugging with Reverse Watchpoint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA, pp. 116-, 2003, IEEE Computer Society, 0-7695-2015-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Jens Gustavsson |
A Classification of Unanticipated Runtime Software Changes in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 19th International Conference on Software Maintenance (ICSM 2003), The Architecture of Existing Systems, 22-26 September 2003, Amsterdam, The Netherlands, pp. 4-12, 2003, IEEE Computer Society, 0-7695-1905-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Peter Bunus, Peter Fritzson |
A Debugging Scheme for Declarative Equation Based Modeling Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 280-298, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Declarative equation based language, graph decomposition techniques, static analysis, debugging, bipartite graphs, modeling languages, Modelica |
10 | Aidan J. Delaney, Thomas J. Naughton |
Emulation of an unconventional model of computation in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ/IRE ![In: Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, PPPJ 2002, and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, Dublin, Ireland, June 13-14, 2002, pp. 1-6, 2002, ACM, 0-901519-87-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
10 | Jing Liu, Huaikou Miao, Xiaolei Gao |
A Specification-Based Software Construction Framework for Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 69-79, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Róbert Lovas, Vaidy S. Sunderam |
Debugging of Metacomputing Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta 0001 |
F-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: 1st IEEE Computer Society Bioinformatics Conference, CSB 2002, Stanford, CA, USA, August 14-16, 2002, pp. 9-20, 2002, IEEE Computer Society, 0-7695-1653-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | David Abramson 0001, Greg Watson, Phu Dung Le |
Guard: A Tool for Migrating Scientific Applications to the .NET Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2002, International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part II, pp. 834-843, 2002, Springer, 3-540-43593-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Ricky K. K. Ma, Cho-Li Wang, Francis C. M. Lau 0001 |
M-JavaMPI: A Java-MPI Binding with Process Migration Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002), 22-24 May 2002, Berlin, Germany, pp. 255-263, 2002, IEEE Computer Society, 0-7695-1582-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
JVMDI, M-JavaMPI, Java, load balancing, parallel computing, MPI, message passing, cluster computing, process migration |
10 | Bart Vermeulen, Tom Waayers, Sjaak Bakker |
EEE 1149.1-Compliant Access Architecture for Multiple Core Debug on Digital System Chips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings IEEE International Test Conference 2002, Baltimore, MD, USA, October 7-10, 2002, pp. 55-63, 2002, IEEE Computer Society, 0-7803-7543-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Franz Wotawa, Markus Stumptner, Wolfgang Mayer |
Model-Based Debugging or How to Diagnose Programs Automatically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Developments in Applied Artificial Intelligence, 15th International Conference on Industrial and Engineering, Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2002, Cairns, Australia, June 17-20, 2002, Proceedings, pp. 746-757, 2002, Springer, 3-540-43781-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | David Poutakidis, Lin Padgham, Michael Winikoff |
Debugging multi-agent systems using design artifacts: the case of interaction protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 960-967, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Naraig Manjikian |
More enhancements of the simplescalar tool set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGARCH Comput. Archit. News ![In: SIGARCH Comput. Archit. News 29(4), pp. 5-12, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Andreas Hoffmann 0002, Tim Kogel, Achim Nohl, Gunnar Braun, Oliver Schliebusch, Oliver Wahlen, Andreas Wieferink, Heinrich Meyr |
A novel methodology for the design of application-specificinstruction-set processors (ASIPs) using a machine description language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(11), pp. 1338-1354, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Farinaz Koushanfar, Darko Kirovski, Inki Hong, Miodrag Potkonjak, Marios C. Papaefthymiou |
Symbolic debugging of embedded hardware and software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(3), pp. 392-401, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Matthias Anlauff, Samarjit Chakraborty, Philipp W. Kutter, Alfonso Pierantonio, Lothar Thiele |
Generating an action notation environment from Montages descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 3(4), pp. 431-455, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Formal specification of programming languages, Generating programming environments and tools, Abstract state machines, Montages, Action semantics |
10 | Katharina Mehner |
JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Visualization ![In: Software Visualization, International Seminar Dagstuhl Castle, Germany, May 20-25, 2001, Revised Lectures, pp. 163-175, 2001, Springer, 3-540-43323-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Caroline Essert-Villard, Pascal Mathis |
Interactive Handling of a Construction Plan in CAD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 2001, London, England, UK, July 25-27, 2001, pp. 124-134, 2001, IEEE Computer Society, 0-7695-1195-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Caroline Tice, Susan L. Graham |
A Practical, Robust Method for Generating Variable Range Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 102-117, 2001, Springer, 3-540-41861-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Jan Bækgaard Pedersen, Alan S. Wagner |
Correcting Errors in Message Passing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIPS ![In: High-Level Parallel Programming Models and Supportive Environments, 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001, Proceedings, pp. 122-138, 2001, Springer, 3-540-41944-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Marian Bubak, Wlodzimierz Funika, Bartosz Balis, Roland Wismüller |
On-Line Tool Support for Parallel Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCN ![In: High-Performance Computing and Networking, 9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings, pp. 415-424, 2001, Springer, 3-540-42293-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Parallel programming, interoperability, monitoring systems |
10 | Rafael Caballero 0001, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo |
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings, pp. 170-184, 2001, Springer, 3-540-41739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Róbert Lovas, Vaidy S. Sunderam |
Extension of Macrostep Debugging Methodology Towards Metacomputing Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part I, pp. 263-272, 2001, Springer, 3-540-42232-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Péter Kacsuk |
Can Parallel Programming Be Made Easy for Scientists? ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part I, pp. 7, 2001, Springer, 3-540-42232-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Franz Wotawa |
Using Multiple Models for Debugging VHDL Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001, Proceedings, pp. 125-134, 2001, Springer, 3-540-42219-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Sushma Rai, D. Sampath, Srivathsa N. S. |
Implementation of DDARC: Software Architecture for Debugging Distributed Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 26-29 June 2001, Beirut, Lebanon, pp. 220-219, 2001, IEEE Computer Society, 0-7695-1165-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Roland Wismüller, Thomas Ludwig 0002 |
Interoperable Run-Time Tools for Distributed Systems--A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 17(3), pp. 277-289, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Run-time tools, behavioral integration, distributed systems, interoperability, coordination, on-line monitoring, plug-in architecture |
10 | Harald P. E. Vranken |
Debug Facilities in the TriMedia CPU64 Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 16(3), pp. 301-308, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
application debug, VLIW processor, design-for-debug |
10 | Stefan Pees, Andreas Hoffmann 0002, Heinrich Meyr |
Retargetable compiled simulation of embedded processors using a machine description language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 5(4), pp. 815-834, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
HW/SW cosimulation, machine description languages, processor modeling and simulation, system-on-chip, instruction set simulators, compiled simulation, DSP processors |
10 | Ralph Butler, William Gropp, Ewing L. Lusk |
A Scalable Process-Management Environment for Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 7th European PVM/MPI Users' Group Meeting, Balatonfüred, Hungary, September 2000, Proceedings, pp. 168-175, 2000, Springer, 3-540-41010-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Marian Bubak, Wlodzimierz Funika, Bartosz Balis, Roland Wismüller |
Interoperability of OCM-Based On-Line Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 7th European PVM/MPI Users' Group Meeting, Balatonfüred, Hungary, September 2000, Proceedings, pp. 242-249, 2000, Springer, 3-540-41010-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
on-line tools, interoperability, monitoring, OMIS |
10 | Tarja Systä |
Understanding the Behavior of Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: Proceedings of the Seventh Working Conference on Reverse Engineering, WCRE'00, Brisbane, Australia, November 23-25, 2000, pp. 214-223, 2000, IEEE Computer Society, 0-7695-0881-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Ashu Guru, Paul A. Savory, Robert Williams |
Web-based simulation management: a web-based interface for storing and executing simulation models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 1810-1814, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Michael Kölling, John Rosenberg |
Objects first with Java and BlueJ (seminar session). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2000, Austin, Texas, USA, March 7-12, 2000, pp. 429, 2000, ACM, 1-58113-213-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Java |
10 | Michael Barnett 0001, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes |
Using Abstract State Machines at Microsoft: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings, pp. 367-379, 2000, Springer, 3-540-67959-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Neeraj Mittal, Vijay K. Garg |
Debugging distributed programs using controlled re-execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, July 16-19, 2000, Portland, Oregon, USA., pp. 239-248, 2000, ACM, 1-58113-183-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby |
Bandera: a source-level interface for model checking Java programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 762-765, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
debugging and testing, Java, Java, model checking, program analysis |
10 | Alexander D. Stoyen, Thomas J. Marlowe, Mohamed F. Younis, Plamen V. Petrov |
A Development Environment for Complex Distributed Real-Time Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 25(1), pp. 50-74, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Engineering of complex distributed real-time systems, integrated tool suites, user-transparent handling of complexity, runtime kernels, code transformers and optimizers, schedulability analyzers, compilation, C++, monitoring, debugging, allocation, CRL |
10 | Cormac Flanagan, Matthias Felleisen |
Componential Set-Based Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 21(2), pp. 370-416, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
soft typing, program analysis, scheme, static debugging, constraint-based analysis |
10 | Gabriella Kókai, Jörg Nilson, Christian Niss |
GIDTS: A Graphical Programming Environment for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '99, Toulouse, France, September 6, 1999, pp. 95-104, 1999, ACM, 1-58113-137-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Prolog |
10 | Jacques Chassin de Kergommeaux, Michiel Ronsse, Koenraad De Bosschere |
MPL*: Efficient Record/Play of Nondeterministic Features of Message Passing Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 6th European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999, Proceedings, pp. 141-148, 1999, Springer, 3-540-66549-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Tarja Systä |
On the Relationships between Static and Dynamic Models in Reverse Engineering Java Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: Sixth Working Conference on Reverse Engineering, WCRE '99, Atlanta, Georgia, USA, October 6-8, 1999, pp. 304-313, 1999, IEEE Computer Society, 0-7695-0303-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Clara Jaramillo, Rajiv Gupta 0001, Mary Lou Soffa |
Comparison Checking: An Approach to Avoid Debugging of Optimized Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Software Engineering - ESEC/FSE'99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings, pp. 268-284, 1999, Springer, 3-540-66538-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Péter Kacsuk, Róbert Lovas, József Kovács |
Systematic Debugging of Parallel Programs in DIWIDE Based on Collective Breakpoints and Macrosteps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, Proceedings, pp. 90-97, 1999, Springer, 3-540-66443-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Raimondas Lencevicius, Urs Hölzle, Ambuj K. Singh |
Dynamic Query-Based Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'99 - Object-Oriented Programming, 13th European Conference, Lisbon, Portugal, June 14-18, 1999, Proceedings, pp. 135-160, 1999, Springer, 3-540-66156-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Sergey I. Katkov, Eugeny Y. Ruban |
Parallel Programming System Based on Super Pascal Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999, Proceedings, pp. 481-482, 1999, Springer, 3-540-66363-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Simon Huband, Chris McDonald |
Debugging Parallel Programs Using Incomplete Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCC ![In: International Workshop on Cluster Computing (IWCC '99), 2-3 December 1999, Melbourne, Australia, pp. 278-286, 1999, IEEE Computer Society, 0-7695-0343-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
parallel program debugging, graph distance, maximal common subgraph, topology |
10 | Zhe Dang, Richard A. Kemmerer |
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China, pp. 174-181, 1999, IEEE Computer Society, 0-7695-0306-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Rolf Ernst, Kees A. Vissers, Pieter van der Wolf, Gert-Jan van Rootselaar |
System level design and debug of high-performance embedded media systems (tutorial). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999, pp. 461, 1999, IEEE Computer Society, 0-7803-5832-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
10 | Péter Kacsuk |
Systematic Debugging of Parallel Programs Based on Collective Breakpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSE ![In: International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999, Los Angeles, California, USA, May 17-18, 1999, pp. 83-96, 1999, IEEE Computer Society, 0-7695-0191-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Dale Parson |
Using Java reflection to automate extension language parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSL ![In: Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), Austin, Texas, USA, October 3-5, 1999, pp. 67-80, 1999, ACM, 1-58113-255-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Jacob Frost |
An Ada95 Solution for Certification of Embedded Safety Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, pp. 52-63, 1999, Springer, 3-540-66093-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso |
Formal Verification of a Railway Interlocking System using Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 10(4), pp. 361-380, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Model checking, Formal methods, Safety critical systems, spin, Industrial applications |
10 | Neophytos Neophytou, Paraskevas Evripidou |
Net-dbx: A Java Powered Tool for Interactive Debugging of MPI Programs Across the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings, pp. 181-189, 1998, Springer, 3-540-64952-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho 0003 |
Error-Correcting Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings, pp. 40-54, 1998, Springer, 3-540-65224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Reinhold Plösch |
Tool Support for Design by Contract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (26) ![In: TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, USA, pp. 282-294, 1998, IEEE Computer Society, 0-8186-8482-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Requirements Engineering, Prototyping, Python, Design by Contract, Behavioral specifications |
10 | Knut Alfredsen, Bjørn Sæther |
An Object Oriented Framework for Creating Models in Hydrology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 32(2), pp. 16-19, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Norman Ramsey, Mary F. Fernandez |
Specifying Representations of Machine Instructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(3), pp. 492-524, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
encoding, decoding, compiler generation, relocation, object code, machine description, machine code |
10 | Patrice Godefroid |
VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings, pp. 476-479, 1997, Springer, 3-540-63166-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Gernot Koch, Udo Kebschull, Wolfgang Rosenstiel |
Co-Emulation and Debugging of HW/SW-Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 10th International Symposium on System Synthesis, ISSS '97, Antwerp, Belgium, September 17-19, 1997., pp. 120-125, 1997, ACM / IEEE Computer Society, 0-8186-7949-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Brian Dobbing, Marc Richard-Foy |
T-SMART - Task-Safe, Minimal Ada Realtime Toolset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings, pp. 244-253, 1997, Springer, 3-540-63114-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Ada83, Software Reliability, Certification, Ada 95 |
10 | Werner Krotz-Vogel, Hans-Christian Hoppe |
The PALLAS Portable Parallel Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par, Vol. II ![In: Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume II, pp. 899-903, 1996, Springer, 3-540-61627-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Richard A. DeMillo, Hsin Pan, Eugene H. Spafford |
Critical Slicing for Software Fault Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1996 International Symposium on Software Testing and Analysis, ISSTA 1996, San Diego, CA, USA, January 8-10, 1996, pp. 121-134, 1996, ACM, 0-89791-787-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
critical slicing, static program slicing, testing, debugging, failures, faults, fault localization, mutation analysis, dynamic program slicing |
10 | Lu Xu, Michal Young |
Two Dimensional Concurrent Program Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2nd Asia-Pacific Software Engineering Conference (APSEC '95), December 6-9, 1995, Brisbane, Queensland, Australia, pp. 76-85, 1995, IEEE Computer Society, 0-8186-7171-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Concurrent Program Debugging, Program Dependence Analysis, Software Engineering, Dynamic Slice |
10 | Ming C. Hao, Alan H. Karp, Daniel Garfinkel |
Collaborative computing: a multi-client multi-server environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COOCS ![In: Proceedings of the Conference on Organizational Computing Systems, COOCS 1995, Milpitas, California, USA, August 13-16, 1995, pp. 206-213, 1995, ACM, 978-0-89791-706-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Alain Fagot, Jacques Chassin de Kergommeaux |
Formal and Experimental Validation of a Low Overhead Execution Replay Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '95 Parallel Processing, First International Euro-Par Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings, pp. 167-178, 1995, Springer, 3-540-60247-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Instant Replay, deterministic reexecutions, Remote Procedure Call, parallel debugging |
10 | Jyh-Herng Chow, Yong-Fong Lee, Kalyan Muthukumar, Vivek Sarkar, Mauricio J. Serrano, Iris Garcia, John Hsu, Shauchi Ong, Honesty C. Young |
Optimized code restructuring of OS/2 executables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, November 7-9, 1995, Toronto, Ontario, Canada, pp. 12, 1995, IBM. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
10 | Patricia Prather Pineo, Mary Lou Soffa |
A Practical Approach to the Symbolic Debugging of Parallelized Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 5th International Conference, CC'94, Edinburgh, UK, April 7-9, 1994, Proceedings, pp. 339-356, 1994, Springer, 3-540-57877-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Thomas Kunz |
Visualizing abstract events. ![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. 38, 1994, IBM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
10 | Gilles Hurteau, Vincent Van Dongen, Guang R. Gao |
EPPP - an integrated environment for portable parallel programming. ![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. 31, 1994, IBM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
10 | Doug Bell 0001, Mike Parr |
Spreadsheets: A Research Agenda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 28(9), pp. 26-28, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Ali-Reza Adl-Tabatabai, Thomas R. Gross |
Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging. ![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. 371-383, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Mary Beth Rosson, John M. Carroll 0001 |
Active Programming Strategies in Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993, Proceedings, pp. 4-20, 1993, Springer, 3-540-57120-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
10 | David J. Taylor |
The use of process clustering in distributed-system event displays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, October 24-28, 1993, Toronto, Ontario, Canada, 2 Volumes, pp. 505-512, 1993, IBM. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
10 | 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 |
10 | Henrik Nilsson, Peter Fritzson |
Algorithmic Debugging for Lazy Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings, pp. 385-399, 1992, Springer, 3-540-55844-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Wade Henessey |
WCL: Delivering Efficient Common Lisp Applications Under Unix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the Conference on Lisp and Functional Programming, LFP 1992, San Francisco, California, USA, 22-24 June 1992., pp. 260-269, 1992, ACM, 0-89791-481-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
C, UNIX, Common Lisp |
10 | Jonathan D. Becher, Kent L. Beck |
Profiling on a massively Parallel Computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: Parallel Processing: CONPAR 92 - VAPP V, Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992, Proceedings, pp. 97-102, 1992, Springer, 3-540-55895-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Urs Hölzle, Craig Chambers, David M. Ungar |
Debugging Optimized Code with Dynamic Deoptimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), San Francisco, California, USA, June 17-19, 1992, pp. 32-43, 1992, ACM, 0-89791-475-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Self |
10 | Vijay K. Garg, Brian Waldecker |
Detection of Unstable Predicates in Distributed Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings, pp. 253-264, 1992, Springer, 3-540-56287-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Dean Allemang |
Using Functional Models in Automatic Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 6(6), pp. 13-18, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Francesco Russo, Mirko Sancassani |
A Declarative Debugging Environment for DATALOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCLP ![In: Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings, pp. 433-441, 1991, Springer, 3-540-55460-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Gerardus Johannes Wichardus van Dijk, A. J. van der Wal |
Partial Ordering of Synchronization Events for Distributed Debugging in Tightly-coupled Multiprocessor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDMCC ![In: Distributed Memory Computing, 2nd European Conference, EDMCC2, Munich, FRG, April 22-24, 1991, Proceedings, pp. 100-109, 1991, Springer, 3-540-53951-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
10 | D. K. Arvind 0001, D. Yokotsuka |
Debugging concurrent programs using static analysis and run-time hardware monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, SPDP 1991, 2-5 December 1991, Dallas, Texas, USA, pp. 716-719, 1991, IEEE Computer Society, 0-8186-2310-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Mariam Kamkar, Nahid Shahmehri, Peter Fritzson |
Bug Localization by Algorithmic Debugging and Program Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings, pp. 60-74, 1990, Springer, 3-540-53010-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Peter B. Kessler |
Fast Breakpoints: Design and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), White Plains, New York, USA, June 20-22, 1990, pp. 78-84, 1990, ACM, 0-89791-364-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Cedar |
10 | Peter B. Kessler |
Fast breakpoints: design and implementation (with retrospective) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Best of PLDI ![In: 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection, pp. 390-397, 1990, ACM, 1-58113-623-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Wenwey Hseush, Gail E. Kaiser |
Modeling Concurrency in Parallel Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), Seattle, Washington, USA, March 14-16, 1990, pp. 11-20, 1990, ACM, 0-89791-350-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
DEBUG |
10 | Wan-Hong S. Cheng, Virgil Wallentine |
DEBL: A Knowledge-Based Language for Specifying and Debugging Distributed Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 32(9), pp. 1079-1084, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Stuart C. Shapiro, João P. Martins |
Recent Advances and Developments - The SNePS 2.1 Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNePS ![In: Current Trends in SNePS - Semantic Network Processing System, First Annual SNePS Workshop, Buffalo, NY, USA, November 13, 1989, Proceedings, pp. 1-13, 1989, Springer, 3-540-52626-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Gene Fisher |
An Overview of a Graphical Multilanguage Applications Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(6), pp. 774-786, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
graphical multilanguage applications environment, Pascal-class languages, multilanguage interpreter, interactive development, graphical program interface, software control panel, graphical design tool, executable block diagrams, user interfaces, user interfaces, software tools, software tools, programming environment, programming environments, program debugging, program debugging, program interpreters, engineering graphics, engineering graphics, program execution, engineering applications |
10 | Patrick Borras, Dominique Clément, Th. Despeyroux, Janet Incerpi, Gilles Kahn, Bernard Lang, V. Pascual |
CENTAUR: The System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Development Environments (SDE) ![In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Boston, Massachusetts, USA, November 28-30, 1988, pp. 14-24, 1988, ACM, 0-89791-290-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
LISP |
10 | Max Mühlhäuser |
Using distributed simulation for distributed application development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 21st Annual Simulation Symposium (ANSS-21 1988), Tampa, Florida, USA, 1988, pp. 189-206, 1988, IEEE Computer Society, 0-8186-0845-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
10 | Marcel Schelvis, Eddy Bledoeg |
The Implementation of a Distributed Smalltalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'88 European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, Proceedings, pp. 212-232, 1988, Springer, 3-540-50053-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
distribution transparency, incremental distributed garbage collection, distributed processing, replication, Smalltalk, remote procedure call |
10 | Deborah S. Coutant, Sue Meloy, Michelle Ruscetta |
DOC: A Practical Approach to Source-Level Debugging of Globally Optimized Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24, 1988, pp. 125-134, 1988, ACM, 0-89791-269-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
RISC |
10 | Daniel J. Kopetzky |
HORSE: a simulation of the horizon supercomputer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '88, Orlando, FL, USA, November 12-17, 1988, pp. 53-54, 1988, IEEE Computer Society, 0-8186-0882-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
10 | David D. Redell |
Experience with Topaz TeleDebugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Debugging ![In: Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, University of Wisconsin, Madison, Wisconsin, USA, May 5-6, 1988, pp. 35-44, 1988, ACM, 0-89791-296-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|