James C. Browne

According to our database1, James C. Browne authored at least 173 papers between 1962 and 2018.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Awards

ACM Fellow

ACM Fellow 1998, "For leadership in research and graduate education in computer science across a spectrum of subdisciplines and for innovation in technology transfer both to industry and to other disciplines of science and engineering.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Employing MPI_T in MPI Advisor to optimize application performance.
IJHPCA, 2018

2017
Enabling Dependability-Driven Resource Use and Message Log-Analysis for Cluster System Diagnosis.
Proceedings of the 24th IEEE International Conference on High Performance Computing, 2017

2016
CRUDE: Combining Resource Usage Data and Error Logs for Accurate Error Detection in Large-Scale Distributed Systems.
Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems, 2016

Understanding Application and System Performance Through System-Wide Monitoring.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

Using Message Logs and Resource Use Data for Cluster Failure Diagnosis.
Proceedings of the 23rd IEEE International Conference on High Performance Computing, 2016

2015
Open XDMoD: A Tool for the Comprehensive Management of High-Performance Computing Resources.
Computing in Science and Engineering, 2015

Towards Increasing the Error Handling Time Window in Large-Scale Distributed Systems Using Console and Resource Usage Logs.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

MPI Advisor: a Minimal Overhead Tool for MPI Library Performance Tuning.
Proceedings of the 22nd European MPI Users' Group Meeting, 2015

Towards Detecting Patterns in Failure Logs of Large-Scale Distributed Systems.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

Insights into the Diagnosis of System Failures from Cluster Message Logs.
Proceedings of the 11th European Dependable Computing Conference, 2015

2014
Enhancing Performance Optimization of Multicore/Multichip Nodes with Data Structure Metrics.
TOPC, 2014

Comprehensive, open-source resource usage measurement and analysis for HPC systems.
Concurrency and Computation: Practice and Experience, 2014

An Analysis of Node Sharing on HPC Clusters using XDMoD/TACC_Stats.
Proceedings of the Annual Conference of the Extreme Science and Engineering Discovery Environment, 2014

Framework and Modular Infrastructure for Automation of Architectural Adaptation and Performance Optimization for HPC Systems.
Proceedings of the Supercomputing - 29th International Conference, 2014

Comprehensive resource use monitoring for HPC systems with TACC stats.
Proceedings of the First International Workshop on HPC User Support Tools, 2014

Unification of Static and Dynamic Analyses to Enable Vectorization.
Proceedings of the Languages and Compilers for Parallel Computing, 2014

Online failure prediction for HPC resources using decentralized clustering.
Proceedings of the 21st International Conference on High Performance Computing, 2014

2013
Comprehensive job level resource usage measurement and analysis for XSEDE HPC systems.
Proceedings of the Extreme Science and Engineering Discovery Environment: Gateway to Discovery, 2013

Linking Resource Usage Anomalies with System Failures from Cluster Log Data.
Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

Enabling comprehensive data-driven system management for large computational facilities.
Proceedings of the International Conference for High Performance Computing, 2013

2012
Enhancing performance optimization of multicore chips and multichip nodes with data structure metrics.
Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2012

2011
Poster: determining code segments that can benefit from execution on GPUs.
Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, 2011

Evaluation and optimization of multicore performance bottlenecks in supercomputing applications.
Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2011

Establishing Hypothesis for Recurrent System Failures from Cluster Log Files.
Proceedings of the IEEE Ninth International Conference on Dependable, 2011

Performance Optimization of Data Structures Using Memory Access Characterization.
Proceedings of the 2011 IEEE International Conference on Cluster Computing (CLUSTER), 2011

2010
PerfExpert: An Easy-to-Use Performance Diagnosis Tool for HPC Applications.
Proceedings of the Conference on High Performance Computing Networking, 2010

Diagnosing the root-causes of failures from cluster log files.
Proceedings of the 2010 International Conference on High Performance Computing, 2010

2008
A hybrid framework for resource verification in executable model-based embedded system development.
SIGBED Review, 2008

Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Design and Development Methodology for Resilient Cyber-Physical Systems.
Proceedings of the 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 2008

2007
Productivity and performance through components: the ASCI Sweep3D application.
Concurrency and Computation: Practice and Experience, 2007

Early Results with Precision Abstraction: Using Data-flow Analysis to Improve the Scalability of Model Checking.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Using Cyber-Infrastructure for Dynamic Data Driven Laser Treatment of Cancer.
Proceedings of the Computational Science, 2007

2006
Using uncertainty in reputation methods to enforce cooperation in ad-hoc networks.
Proceedings of the 2006 ACM Workshop on Wireless Security, 2006

On classifying access control implementations for distributed systems.
Proceedings of the 11th ACM Symposium on Access Control Models and Technologies, 2006

Unification of verification and validation methods for software systems: progress report and initial case study formulation.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Development of a Computational Paradigm for Laser Treatment of Cancer.
Proceedings of the Computational Science, 2006

Verification of Component-Based Software Application Families.
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005
Conceptual and Implementation Models for the Grid.
Proceedings of the IEEE, 2005

Evolutionary performance-oriented development of parallel programs by composition of components.
Proceedings of the Fifth International Workshop on Software and Performance, 2005

A Case Study in Application Family Development by Automated Component Composition: h-p Adaptive Finite Element Codes.
Proceedings of the Computational Science, 2005

Productivity in High Performance Computing.
Proceedings of the High Performance Computing, 2005

2004
Lessons Learned from Model Checking a NASA Robot Controller.
Formal Methods in System Design, 2004

A Dynamic Data Driven Computational Infrastructure for Reliable Computer Simulations.
Proceedings of the Computational Science, 2004

Translating Software Designs for Model Checking.
Proceedings of the Fundamental Approaches to Software Engineering, 2004

CoorSet: A Development Environment for Associatively Coordinated Components.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

Grid computing as applied distributed computation: a graduate seminar on Internet and Grid computing.
Proceedings of the 4th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid 2004), 2004

2003
Pagerank Computation and Keyword Search on Distributed Systems and P2P Networks.
J. Grid Comput., 2003

Verified systems by composition from verified components.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Compositional Development of Parallel Programs.
Proceedings of the Languages and Compilers for Parallel Computing, 2003

An Approach to Optimizing Adaptive Parabolic PDE Solvers for the Grid.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

A Computational Infrastructure for Reliable Computer Simulations.
Proceedings of the Computational Science - ICCS 2003, 2003

Distributed Pagerank for P2P Systems.
Proceedings of the 12th International Symposium on High-Performance Distributed Computing (HPDC-12 2003), 2003

Translation-Based Compositional Reasoning for Software Systems.
Proceedings of the FME 2003: Formal Methods, 2003

Model Checking Software via Abstraction of Loop Transitions.
Proceedings of the Fundamental Approaches to Software Engineering, 2003

2002
Model-Based Control of Adaptive Applications: An Overview.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

An Associative Broadcast Based Coordination Model for Distributed Processes.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001
Support for Implementation of Evolutionary Concurrent Systems.
International Journal of Parallel Programming, 2001

Model Checking for an Executable Subset of UML.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

A Formal Object-Oriented Analysis for Software Reliability: Design for Verification.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000
POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems.
IEEE Trans. Software Eng., 2000

Compositional Development of Performance Models in Poems.
IJHPCA, 2000

1999
Computer Systems Research: The Pressure Is On.
IEEE Computer, 1999

1998
Compilation of Constraint Programs with Noncyclic and Cyclic Dependencies to Procedural Parallel Programs.
International Journal of Parallel Programming, 1998


1997
Heuristics for Scheduling I/O Operations.
IEEE Trans. Parallel Distrib. Syst., 1997

A Common Data Management Infrastructure for Adaptive Algorithms for PDE Solutions.
Proceedings of the ACM/IEEE Conference on Supercomputing, 1997

"Optimal" Parallelism through Integration of Data and Control Parallelism: A Case Study in Complete Parallelization.
Proceedings of the Languages and Compilers for Parallel Computing, 1997

1996
Decomposition Abstraction in Parallel Rule Languages.
IEEE Trans. Parallel Distrib. Syst., 1996

Object-oriented development of real-time systems: verification of functionality and performance.
OOPS Messenger, 1996

A Compositional Approach to Concurrent Programming.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1996

Extraction of Parallelism from Constraint Specifications.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1996

Compilation of Constraint Systems to Procedural Parallel Programs.
Proceedings of the Languages and Compilers for Parallel Computing, 1996

Support for Extensibility and Reusability in a Concurrent Object-Oriented Programming Language.
Proceedings of IPPS '96, 1996

Complete Parallelization of Computations: Integration of Data Partitioning and Functional Parallelism for Dynamic Data Structures.
Proceedings of IPPS '96, 1996

Compilation to parallel programs from constraints.
Proceedings of the 3rd International Conference on High Performance Computing, 1996

On Partitioning Dynamic Adaptive Grid Hierarchies.
Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

Support for Implementation of Evolutionary Concurrent Systems in Concurrent Programming Languages.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995
Modularity and Rule-Based Programming.
International Journal on Artificial Intelligence Tools, 1995

Visual programming and debugging for parallel computing.
IEEE P&DT, 1995

MaTRiX+/sup +/: an object-oriented environment for parallel high-performance matrix computations.
Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

Is Computer Science Obsolete?
Proceedings of the 1995 ACM 23rd Annual Conference on Computer Science, CSC '95, Nashville, TN, USA, February 28, 1995

1994
Special Issue on Input/Output in Parallel Computer Systems: Introduction.
SIGARCH Computer Architecture News, 1994

A New Approach to Modularity in Rule-Based Programming.
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

Toward Semantic-Based Parallelism in Production Systems.
Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

A Compositional Approach to Concurrent Object-Oriented Programming.
Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

The Relation of Software Engineering to Computer Science (Abstract).
Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, 1994

1993
Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella.
IEEE Trans. Software Eng., 1993

Data Structures for Parallel Resource Management.
IEEE Trans. Software Eng., 1993

Introduction to the Special Issue on Input/Output in Parallel Computer Systems.
SIGARCH Computer Architecture News, 1993

Scheduling parallel I/O operations.
SIGARCH Computer Architecture News, 1993


Event-based Composition of Concurrent Programs.
Proceedings of the Languages and Compilers for Parallel Computing, 1993

Explicit Parallel Structuring for Rule-Based Programming.
Proceedings of the Seventh International Parallel Processing Symposium, 1993

A High Level Language for Specifying Graph Based Languages and Their Programming Environments.
Proceedings of the 15th International Conference on Software Engineering, 1993

A Unified Model for Concurrent Debugging.
Proceedings of the 1993 International Conference on Parallel Processing, 1993

1992
Scheduling Parallel I/O Operations in Multiple Bus Systems.
J. Parallel Distrib. Comput., 1992

The CODE 2.0 graphical parallel programming language.
Proceedings of the 6th international conference on Supercomputing, 1992

1991
On the Performance of the CREL System.
J. Parallel Distrib. Comput., 1991

An Experimental Study of the Effectiveness of High Level Parallel Programming.
Proceedings of the Fifth SIAM Conference on Parallel Processing for Scientific Computing, 1991

The Interaction of the Formal and the Practical in Parallel Programming Environment Development: CODE.
Proceedings of the Languages and Compilers for Parallel Computing, 1991

A General Model for Scheduling of Parallel Computations and its Application to Parallel I/O Operations.
Proceedings of the International Conference on Parallel Processing, 1991

1990
Experimental Evaluation of a Reusability-Oriented Parallel Programming Environment.
IEEE Trans. Software Eng., 1990

TDFL: A Task-Level Dataflow Language.
J. Parallel Distrib. Comput., 1990

Exploration of design space for parallel programs.
Proceedings of the First International Workshop on Rapid System Prototyping, 1990

Parallelizing Compilation of Rule-Based Programs.
Proceedings of the 1990 International Conference on Parallel Processing, 1990

Parallel structuring of real-time simulation programs.
Proceedings of the Intellectual Leverage: Thirty-Fifth IEEE Computer Society International Conference, 1990

1989
Performance Properties of Vertically Partitioned Object-Oriented Systems.
IEEE Trans. Software Eng., 1989

1988 Gordon Bell Prize.
IEEE Software, 1989

CODE: A Unified Approach to Parallel Programming.
IEEE Software, 1989

Concurrency control by transactions carrying states and preordering multiversioned entities.
Inf. Sci., 1989

An Environment for Parallel Structuring for Fortran Programs.
Proceedings of the International Conference on Parallel Processing, 1989

Intersection of Parallel Structuring and Reuse of Software Components: A Calculus of Composition of Components for Parallel Programs.
Proceedings of the International Conference on Parallel Processing, 1989

CODE: the Computation Oriented Display Environment.
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988
Architecture and Language Independent Parallel Programming: A Feasibility Demonstration.
Proceedings of the International Conference on Parallel Processing, 1988

Performance Evaluation of Two Concurrency Control Protocols for Distributed Databases with Multiversioned Entities.
Proceedings of the Fourth International Conference on Data Engineering, 1988

Concurrency control by transactions carrying states and preordering universioned entities.
Proceedings of the Sixteenth ACM Annual Conference on Computer Science, 1988

1987
Analysis and Design of Parallel Algorithms and Implementations for Some Image Processing Operations.
Proceedings of the International Conference on Parallel Processing, 1987

Simultaneous Update of Priority Structures.
Proceedings of the International Conference on Parallel Processing, 1987

Concurrency Control by Pre-Ordering Entities in Databases with Multi-Versioned Entities.
Proceedings of the Third International Conference on Data Engineering, 1987

1986
Framework for formulation and analysis of parallel computation structures.
Parallel Computing, 1986

Parallel Structuring of Control and Resources Management Systems for Parallel Programs.
Proceedings of the International Conference on Parallel Processing, 1986

Intra-Transaction Concurrency in Distributed Databases and Protocols which use Transaction Aborts to Preserve Consistency: A Performance Study.
Proceedings of the International Conference on Parallel Processing, 1986

A Graph Model for Parallel Computations Expressed in the Computation Structures Language.
Proceedings of the International Conference on Parallel Processing, 1986

1985
A Parallel Multi-Stage I/O Architecture with Self-Managing Disk Cache for Database Management Applications.
Proceedings of the Database Machines, 1985

Dynamic, Distributed Resource Configuration on SW-Banyans.
Proceedings of the 12th Annual Symposium on Computer Architecture, 1985

Characterization of Parallel Architecture.
Proceedings of the International Conference on Parallel Processing, 1985

Formulation and Programming of Parallel Computations: A Unified Approach.
Proceedings of the International Conference on Parallel Processing, 1985

A Performance Model of a Fault-Tolerant Distributed System for Evaluating Reliability Mechanisms.
Proceedings of the Eleventh International Computer Measurement Group Conference, 1985

1984
The Workshop on University/Industry/Government Collaboration on Research in Parallel Computing.
Operating Systems Review, 1984

University, Industry, and Goverment Collaboration Workshop: Research in Parallel Computing.
IEEE Computer, 1984

Understanding Execution Behavior of Software Systems.
IEEE Computer, 1984

An Object-Oriented, Capability-Based Architecture.
Proceedings of the VLSI Engineering: Beyond Software Engineering, 1984

TRAC: An Environment for Parallel Computing.
Proceedings of the COMPCON'84, Digest of Papers, Twenty-Eighth IEEE Computer Society International Conference, San Francisco, California, USA, February 27, 1984

Some Performance Models of Distributed Systems.
Proceedings of the Tenth International Computer Measurement Group Conference, 1984

Zeus: An object-oriented distributed operating system for reliable applications.
Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, 1984

1983
A Paradigm for the Design of Parallel Algorithms with Applications.
IEEE Trans. Software Eng., 1983

A Comparison of Circuit Switching and Packet Switching for Data Transfer in Two Simple Image processing Algorithms.
Proceedings of the International Conference on Parallel Processing, 1983

Specification and Implementation of an Integrated Packet Communication Facility for an Array Computer.
Proceedings of the International Conference on Parallel Processing, 1983

Vectorization of Discrete Event Simulation.
Proceedings of the International Conference on Parallel Processing, 1983

Performance Engineering of Software Systems: A Design-Based Approach.
Proceedings of the Ninth International Computer Measurement Group Conference, 1983

Graphical Tools for Software System Performance Engineering.
Proceedings of the Ninth International Computer Measurement Group Conference, 1983

1982
Semantics of Network Data Manipulation Languages: An Object-Oriented Approach.
Proceedings of the Eigth International Conference on Very Large Data Bases, 1982

Resource allocation in rectangular SW banyans.
Proceedings of the 9th International Symposium on Computer Architecture (ISCA 1982), 1982

A control processor for a reconfigurable array computer.
Proceedings of the 9th International Symposium on Computer Architecture (ISCA 1982), 1982

A language for specification and programming of reconfigurable parallel computation structures.
Proceedings of the International Conference on Parallel Processing, 1982

Performance engineering of software systems: a case study.
Proceedings of the American Federation of Information Processing Societies: 1982 National Computer Conference, 1982

1981
Virtual Machine-Based Simulation of Distributed Computing and Network Computing.
Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1981

1980
An Implementation of Capabilities on the PDP-11/45.
Operating Systems Review, 1980

Aspects of software design analysis: Concurrency and blocking.
SIGMETRICS Performance Evaluation Review, 1980

1979
Modeling Software Systems for Performance Predictions.
Proceedings of the Fifth International Computer Measurement Group Conference, 1979

1978
Models for Parallel Processing Within Programs: Application to CPU: I/O and I/O: I/O Overlap.
Commun. ACM, 1978

Feedback Coupled Resource Allocation Policies in the Multiprogramming-Multicomputer System.
Commun. ACM, 1978

FAST: A Second Generation Program Analysis System.
Proceedings of the 3rd International Conference on Software Engineering, 1978

An architecture for evolutionary database system design.
Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

1977
New Directions for Operating Systems: A Workshop Report.
Operating Systems Review, 1977

Memory Management and Response Time.
Commun. ACM, 1977

1976
Graph models of computer systems: Application to performance evaluation of an operating system.
Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, 1976

File Assignment in Memory Hierarchies.
Proceedings of the Modelling and Performance Evaluation of Computer Systems, 1976

A Critical Overview of Computer Performance Evaluation.
Proceedings of the 2nd International Conference on Software Engineering, 1976

1975
Analytic Models for Rollback and Recovery Strategies in Data Base Systems.
IEEE Trans. Software Eng., 1975

An Optimizable Model for Application of Rollback/Restart/Recovery Procedures for Large Data Bases.
Proceedings of the International Conference on Very Large Data Bases, 1975

1974
Trace Driven Studies of Deadlock Control and Job Scheduling.
Proceedings of the GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974, 1974

A study of response times under various deadlock algorithms and job schedulers.
Proceedings of the 1974 ACM Annual Conference, 1974

1973
The Effect on Throughput of Multiprocessing in a Multiprogramming Environment.
IEEE Trans. Computers, 1973

The interaction of operating systems and computer architecture: A workshop summary.
IEEE Computer, 1973

1972
Trace-Driven Modeling and Analysis of CPU Scheduling in Multiprogramming System.
Commun. ACM, 1972

Design automation and queueing networks: An interactive system for the evaluation of computer queueing models.
Proceedings of the 9th Design Automation Workshop, 1972

The interaction of multi-programming job scheduling and CPU scheduling.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '72 Fall Joint Computer Conference, December 5-7, 1972, Anaheim, California, USA, 1972

1970
The management of a multi-level non-paged memory system.
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1970 Spring Joint Computer Conference, 1970

1962
Algorithm 132: Quantum mechanical integrals over all Slater-type integrals.
Commun. ACM, 1962


  Loading...