Search results for "program diagnostics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Iain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner	Low-level analysis of a portable Java byte code WCET analysis framework.	RTCSA	2000	DBLP DOI BibTeX RDF	low-level analysis, portable Java byte code, machine-independent program flow analysis, machine-dependent timing analysis, worst-case execution frequencies, platform-dependent information, processor pipeline, platform-independent approach, Java, timing, software performance evaluation, pipeline processing, software portability, program diagnostics, worst-case execution time analysis, program constructs
1	Jan Gustafsson	Eliminating annotations by automatic flow analysis of real-time programs.	RTCSA	2000	DBLP DOI BibTeX RDF	automatic flow analysis, path information, safe approximation, calculation cost, exact information, intractable problem, nontrivial programs, real-time systems, annotations, abstract interpretation, worst case execution time, WCET, automatic programming, program diagnostics, real time programs, infeasible paths
1	Markus Lindgren, Hans Hansson, Henrik Thane	Using measurements to derive the worst-case execution time.	RTCSA	2000	DBLP DOI BibTeX RDF	execution time analysis, program flow analysis, low level timing information, low level timing analysis, program execution times, timing measurements, instrumented version, program fragments, non-exhaustive measurements, program paths, realistic processor model, scheduling, real-time systems, real time systems, embedded systems, worst-case execution time, pipeline processing, schedulability analysis, program diagnostics, architectural modeling, pipeline architectures, flow graphs, timing estimates, target architecture, system of linear equations
1	Henrik Theiling	Extracting safe and precise control flow from binaries.	RTCSA	2000	DBLP DOI BibTeX RDF	safe precise control flow extraction, binary executables, instruction sequence clustering, branch targets, block boundaries, safety-critical real-time systems, graph approximation, entry points, instruction blocks, instruction routines, real-time systems, uncertainties, sequences, safety-critical software, program diagnostics, control flow graph, program control structures, static program analysis, flow graphs, bottom-up approach
1	Sotiris Skevoulis, Xiaoping Jia	Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs.	TOOLS	2000	DBLP DOI BibTeX RDF	generic invariant-based static analysis tool, runtime error detection, automatic bug detection, illegal dereference, array bounds, Java class, Java, object-oriented programming, object oriented language, program debugging, program diagnostics, Java programs
1	Shing-Chi Cheung, Jeff Kramer	Checking Subsystem Safety Properties in Compositional Reachability Analysis.	ICSE	1996	DBLP BibTeX RDF	automated method, compositional reachability analysis, evolutionary change, gas station system, globally observable actions, hierarchical subsystem composition, safety property violation, subsystem safety property checking, undefined state, software engineering, software architecture, software developers, distributed processing, program analysis, finite state machines, finite-state machines, safety, distributed program, reachability analysis, program diagnostics, interacting processes
1	Matthew B. Dwyer, Lori A. Clarke	A Flexible Architecture for Building Data Flow Analyzers.	ICSE	1996	DBLP BibTeX RDF	combined data flow problems, data flow analyzer building, high-level component generators, pre-existing components, rapid prototyping, data flow analysis, software prototyping, precision, program diagnostics, design tradeoffs, flexible architecture
1	Loren Larsen, Mary Jean Harrold	Slicing Object-Oriented Software.	ICSE	1996	DBLP BibTeX RDF	class representation reuse, efficient slicing algorithms, incomplete object-oriented programs, incremental construction, interacting classes, object-oriented software slicing, procedure call simulation, procedure dependence graph, public methods, statically typed object-oriented languages, object-oriented programming, graphs, software reusability, diagrams, software libraries, Ada-95, subroutines, program diagnostics, class libraries, system dependence graphs, C++ language
1	Brian Mitchell, Steven J. Zeil	A Reliability Model Combining Representative and Directed Testing.	ICSE	1996	DBLP BibTeX RDF	fault revelation, interfailure time, post-mortem debugged fault analysis, reliability estimate updating, representative testing, software quality, software reliability, fault detection, program testing, statistics, program debugging, functional testing, program diagnostics, structural testing, random processes, order statistics, reliability model, quantification, random variable, failure rates, directed testing
1	Gail C. Murphy, David Notkin, Erica S.-C. Lan	An Empirical Study of Static Call Graph Extractors.	ICSE	1996	DBLP BibTeX RDF	C call graphs, CIA, cflow, extraction tools, gee, mapmaker, mk-functmap, rigiparse, static call graph extractors, understanding task, optimization, software engineers, compilers, graph theory, software tools, program understanding, program compilers, mosaic, software systems, program diagnostics, quantitative analysis, Field, qualitative analysis, software engineering tools, false negatives
1	Tae-Hyung Kim, James M. Purtilo	A Source-Level Transformation Framework for RPC-Based Distributed Programs. (PDF / PS)	HPDC	1996	DBLP DOI BibTeX RDF	source-level transformation framework, procedure call abstraction, programming task simplification, program analysis techniques, performance, parallel programming, distributed programs, remote procedure calls, remote procedure call, control flow, program diagnostics, code optimization, program control structures
1	Sandrine Blazy, Philippe Facon	Interprocedural analysis for program comprehension by specialization. (PDF / PS)	WPC	1996	DBLP DOI BibTeX RDF	partial evaluation (compilers), visibility rules, reverse engineering, software maintenance, software maintenance, software tools, software tool, FORTRAN, Fortran, program comprehension, program compilers, partial evaluation, specialization, program diagnostics, interprocedural analysis, application programs
1	Roberto Fiutem, Ettore Merlo, Giuliano Antoniol, Paolo Tonella	Understanding the architecture of software systems. (PDF / PS)	WPC	1996	DBLP DOI BibTeX RDF	high level structure, hierarchical architectural model, abstract view, user interface, software architecture, reverse engineering, reverse engineering, software maintenance, software maintenance, software tools, systems analysis, visual programming, program understanding, software visualization, data visualisation, programmers, program diagnostics, software environment, software understanding
1	Thomas Kunz	Evaluating process clusters to support automatic program understanding. (PDF / PS)	WPC	1996	DBLP DOI BibTeX RDF	process cluster evaluation, automatic program understanding, static source analysis, application execution, reverse engineering, software maintenance, software maintenance, distributed processing, software tools, software tools, software design, distributed application, program debugging, program diagnostics, interprocess communication, program development, distributed debugging, quantitative evaluation, application design, prototypical tools
1	Günter Haring, Gabriele Kotsis, S. Musil	InHouse - A User-Oriented Monitoring Approach.	PDP	1996	DBLP DOI BibTeX RDF	InHouse, user oriented monitoring approach, parallel processing systems visualization, performance figures, user oriented approach, a priori filtering, direct manipulative selection, graphical hierarchical representation, textual rule based selection, Real Life Metaphors, parallel processing systems monitoring, parallel programming, software tools, visual programming, teaching, program diagnostics, visualization displays
1	Antti Valmari, Konsta Karsisto, Manu Setälä	Visualisation of Reduced Abstracted Behaviour as a Design Tool.	PDP	1996	DBLP DOI BibTeX RDF	reduced abstracted behaviour visualisation, software design tool, user-friendly formal method, incorrect actions, simultaneous analysis, communication protocol development, distributed system, formal specification, distributed processing, concurrency control, feedback, transport protocols, deadlocks, data visualisation, program diagnostics, graphical representation, livelocks, graphical display, design errors
1	Frank Mueller, David B. Whalley	Fast instruction cache analysis via static cache simulation.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	instruction cache analysis, static cache simulation, cache configuration, instruction reference, cache hit, counter incrementation, code execution frequency, local state information updating, frequency counters, program exit, virtual machines, cache storage, program diagnostics, dynamic simulation, cache miss
1	Christian Clémençon, Akiyoshi Endo, Josef Fritscher, Andreas Müller, Roland Rühl, Brian J. N. Wylie	The "Annai" environment for portable distributed parallel programming.	HICSS	1995	DBLP DOI BibTeX RDF	Annai environment, portable distributed parallel programming environment, distributed memory parallel processors, tool prototypes, functionality enhancements, High Performance Fortran compiler, unstructured problem parallelization, performance analyzer, source-level debugger, common user interface, low-level machine interface, target hardware architecture, dynamic data distributions, high-level data-parallel programming, low-level message-passing programming, interactive performance monitor, user interfaces, parallel programming, Message Passing Interface, software tools, message passing, FORTRAN, programming environments, feedback, program compilers, distributed memory systems, software performance evaluation, portability, program debugging, software portability, program diagnostics, application developers, language extensions, performance results
1	Kleanthis Psarris, Santosh Pande	Classical dependence analysis techniques: sufficiently accurate in practice.	HICSS	1995	DBLP DOI BibTeX RDF	GCD test, Banerjee-Wolfe test, statement data dependence, automatic loop parallelization, Perfect benchmarks, exact test, program testing, data analysis, accuracy, parallelizing compilers, program diagnostics, sufficient conditions, program control structures, parallelising compilers, data dependence analysis, greatest common divisor, automatic vectorization
1	Abdul Waheed, Vincent F. Melfi, Diane T. Rover	A model for instrumentation system management in concurrent computer systems.	HICSS	1995	DBLP DOI BibTeX RDF	parallel application software development, performance related parameter space, run-time tools, performance tuning aids, performance specification, speed characteristics, Portrayal Specification Language, performance evaluation, parallel programming, reverse engineering, monitoring, software tools, specification languages, performance prediction, data flow analysis, software performance evaluation, dataflow, parallel applications, control flow, program diagnostics, execution trace, program execution
1	Kuei Yu Wang, Dan C. Marinescu	Correlation of the paging activity of individual node programs in the SPMD execution mode.	HICSS	1995	DBLP DOI BibTeX RDF	paging activity, individual node programs, SPMD execution mode, parallel program monitoring, scheduling, scheduling, parallel programming, parallel programs, program diagnostics, paged storage
1	Aniello Cimitile, Andrea De Lucia, Malcolm Munro	Identifying reusable functions using specification driven program slicing: a case study. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	reusable function identification, specification driven program slicing, code fragment isolation, functional abstractions, program statement execution, program predicate execution, entry points, exit points, algorithms, formal specification, software maintenance, software reusability, data flow analysis, symbolic execution, precondition, program diagnostics, dependence graphs, symbol manipulation, control flow graphs, program control structures, C programs, postcondition
1	Rajiv Gupta, Mary Lou Soffa	Priority based data flow testing. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	priority based data flow testing, def-use pairs, program change, software testing, software maintenance, software maintenance, software development, statistical analysis, program testing, regression testing, data flow analysis, error, test case generation, program diagnostics
1	Mariam Kamkar, Patrik Krajina	Dynamic slicing of distributed programs. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	program maintenance activities, computer supported methods, distributed dynamic dependence graph, communication dependences, distributed dynamic slicer, ANSI-C programming language, parallel MIMD computer, Parsytec GC/Powerplus, parallel programming, graph theory, software maintenance, message passing, program slicing, distributed programs, dependence analysis, program diagnostics, dynamic slicing, dynamic slice, static slice
1	Erika Nyáry, Harry M. Sneed	Software maintenance offloading at the Union Bank of Switzerland. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	software maintenance offloading, Union Bank of Switzerland, PC-based maintenance workbench, automated aids, program editing, JSP/COBOL host programs, reverse engineering, reverse engineering, graphical user interfaces, software maintenance, program analysis, program testing, program testing, productivity, regression testing, computer aided software engineering, COBOL, systems re-engineering, program diagnostics, structured programming, graphical interface, human resource management, software reengineering, microcomputer applications, bank data processing, mainframe
1	Takao Shimomura, Y. Oki, T. Chikaraishi, T. Ohta	An independent software-modification method. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	independent software modification method, independent software-modification method, specification changes, functional enhancements, program slicing techniques, non modified parts, modified parts, software maintenance, regression testing, automatic programming, program diagnostics, program modification
1	Doug Kimelman, Pradeep Mittal, Edith Schonberg, Peter F. Sweeney, Ko-Yang Wang, Dror Zernik	Visualizing the execution of High Performance Fortran (HPF) programs. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	High Performance Fortran programs, data placement programming model, performance visualization systems, high level views, HPF program behavior, communication activity, array distribution, data placement program tuning, parallel programming, FORTRAN, visual programming, software performance evaluation, programming model, parallel languages, data distribution, program diagnostics
1	Sekhar R. Sarukkai, Jerry C. Yan, Melisa Schmidt	Automated instrumentation and monitoring of data movement in parallel programs. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	data-structure alignments, inter-processor data-structure interactions, compiler front end tools, tracking data-structure movements, NAS benchmarks, parallel programming, parallel programs, data structures, message passing, data flow analysis, software performance evaluation, program diagnostics, performance tools, message passing programs, inter-processor communications, data movement
1	Stephen Fickas, Martin S. Feather	Requirements monitoring in dynamic environments. (PDF / PS)	RE	1995	DBLP DOI BibTeX RDF	running system, nonscientific enterprise applications, commercial systems, formal specification, program verification, systems analysis, dynamic environments, program diagnostics, performance tuning, systems maintenance, requirements monitoring
1	Kai Li, Jeffrey F. Naughton, James S. Plank	Low-Latency, Concurrent Checkpointing for Parallel Programs.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	low latency concurrent checkpointing, programrestarting, overall checkpointing time, interruption time, overlapping operations, parallel programming, parallel programs, metrics, fault tolerant computing, efficiency, software reliability, shared-memory multiprocessors, system recovery, program diagnostics, overhead, backward error recovery, copy-on-write, faulttolerance
1	Eva Ma, Dennis G. Shea	E-Kernel: An Embedding Kernel on the IBM Victor V256 Multiprocessor for Program Mapping and Network Reconfiguration.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	E-kernel, embedding kernel, IBM victor V256 multiprocessor, program mapping, message-passing partitionable multiprocessor, new network topology, 2D mesh network, task graph topologies, communication network topology, real-time systems, parallel programming, graph theory, message passing, multiprocessing systems, parallel system, task graph, program diagnostics, communication model, asymptotically optimal, reconfigured network, network reconfiguration
1	David M. Nicol, Albert G. Greenberg, Boris D. Lubachevsky	Massively Parallel Algorithms for Trace-Driven Cache Simulations.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	massively parallel algorithms, trace-driven cache simulations, least-recently-used policy, EREW parallel model, algorithm timings, reference-based line replacement policies, least-frequently-used policy, random replacement policy, space overhead, SIMD implementation, parallel algorithms, computational complexity, parallel architectures, trace, buffer storage, program diagnostics, simulation algorithm, MasPar MP-1
1	Antonia Bertolino, Martina Marré	Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program branch testing, program flowgraph, program inputs, ddgraph, graph theoretic principles, arc trees, unconstrained arcs, implied tree, recursive iteration, software analysis tool, automated testing tool, software tools, program testing, flexibility, trees (mathematics), dominance, program diagnostics, control flow analysis, simplicity, implication, program control structures, flow graphs, dominator tree, selection strategy, infeasible paths, software testing tool, path covers
1	Jong-Deok Choi, Ron Cytron, Jeanne Ferrante	On the Efficient Engineering of Ambitious Program Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	efficient engineering, compile-time methods, pointer references, array accesses, optimization phase, information benefit, analysis information volume, data-flow chains, reaching definitions, demand-driven computation, software engineering, compilers, optimisation, program analysis, programming environments, program compilers, data-flow analysis, program diagnostics, compact representation, static single assignment, procedure calls
1	William E. Howden, Bruce Wieand	QDA-A Method for Systematic Informal Program Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	QDA, systematic informal program analysis, program properties, Quick Defect Analysis, comments analysis, abstract program model, hypothesis-driven method, operational flight program, formal specification, formal verification, specification, program verification, program verification, programming theory, program debugging, program diagnostics, program validity, code reading
1	Noé Lopez-Benitez	Dependability Modeling and Analysis of Distributed Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program reliability, program availability, distributed computing system environment, repair actions, global repair mode, centralized repair team, system status restoration, failure state, local repair model, program interruption, Petri nets, distributed algorithms, software reliability, distributed programs, stochastic processes, programming theory, dependability analysis, system recovery, stochastic Petri nets, program diagnostics, hardware support, multiprocessing programs, program execution, file distribution, dependability modeling, hardware faults
1	Hemant D. Pande, William Landi, Barbara G. Ryder	Interprocedural Def-Use Associations for C Systems with Single Level Pointers.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	interprocedural def-use associations, C software systems, single level pointers, value-setting statements, value-fetches, program-point-specific pointer-induced aliases, interprocedural reaching definitions problem, software engineering, computational complexity, data structures, static analysis, NP-hardness, program compilers, polynomial-time algorithm, program diagnostics, C language, indirection
1	Nirmal R. Saxena, Edward J. McCluskey	Linear Complexity Assertions for Sorting.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	linear complexity assertions, sorting programs, programs correctness checking, order assertion, permutation assertion, sorted data, descending order, ascending order, output data, order-sum assertion, partition theory, watchdog checker, program verification, sorting, error detection, programming theory, program debugging, execution time, program diagnostics, error checking, program execution, partition functions, input data
1	Richard W. Selby, Victor R. Basili	Analyzing Error-Prone System Structure.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	error-prone system structure, data interaction, prediction environment, nonparametric analysis of variance model, software metrics, error analysis, software systems, program diagnostics, empirical analysis, clustering technique, data bindings
1	Barton P. Miller, Morgan Clark, Jeffrey K. Hollingsworth, Steven Kierstead, Sek-See Lim, Timothy Torzewski	IPS-2: The Second Generation of a Parallel Program Measurement System.	IEEE Trans. Parallel Distrib. Syst.	1990	DBLP DOI BibTeX RDF	IPS-2, parallel program measurement system, performance measurement system, performance analysis techniques, program bottlenecks, interactive program analysis, automatic guidance techniques, Charlotte distributed operating system, 4.3BSD UNIX systems, DECstation, Sun 4, Sequent Symmetry multiprocessor, performance evaluation, parallel programs, parallel programming, semantics, graphical user interface, software tools, Unix, shared-memory systems, distributed programs, network operating systems, program diagnostics, VAX, design concepts, message systems, CPA