James C. Browne
According to our database1,
James C. Browne
authored at least 187 papers
between 1962 and 2019.
Collaborative distances:
Collaborative distances:
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 Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Towards comprehensive dependability-driven resource use and message log-analysis for HPC systems diagnosis.
J. Parallel Distributed Comput., 2019
2018
Int. J. High Perform. Comput. Appl., 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
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016
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.
Comput. Sci. Eng., 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
Proceedings of the 22nd European MPI Users' Group Meeting, 2015
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015
Proceedings of the 11th European Dependable Computing Conference, 2015
2014
Enhancing Performance Optimization of Multicore/Multichip Nodes with Data Structure Metrics.
ACM Trans. Parallel Comput., 2014
Concurr. Comput. Pract. Exp., 2014
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
Proceedings of the First International Workshop on HPC User Support Tools, 2014
Proceedings of the Languages and Compilers for Parallel Computing, 2014
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
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
A systematic process for efficient execution on Intel's heterogeneous computation nodes.
Proceedings of the 1st Conference of the Extreme Science and Engineering Discovery Environment, 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
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
Proceedings of the IEEE Ninth International Conference on Dependable, 2011
Proceedings of the 2011 IEEE International Conference on Cluster Computing (CLUSTER), 2011
2010
Proceedings of the Conference on High Performance Computing Networking, 2010
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 Rev., 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
Proceedings of the 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 2008
2007
Concurr. Comput. Pract. Exp., 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
Proceedings of the Computational Science, 2007
2006
Proceedings of the 2006 ACM Workshop on Wireless Security, 2006
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
Proceedings of the Computational Science, 2006
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006
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
Proceedings of the High Performance Computing, 2005
2004
Formal Methods Syst. Des., 2004
Proceedings of the 7th Workshop on languages, 2004
A Dynamic Data Driven Computational Infrastructure for Reliable Computer Simulations.
Proceedings of the Computational Science, 2004
Proceedings of the Fundamental Approaches to Software Engineering, 2004
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
J. Grid Comput., 2003
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003
Proceedings of the Languages and Compilers for Parallel Computing, 2003
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
Proceedings of the Computational Science - ICCS 2003, 2003
Proceedings of the 12th International Symposium on High-Performance Distributed Computing (HPDC-12 2003), 2003
Proceedings of the FME 2003: Formal Methods, 2003
Proceedings of the Fundamental Approaches to Software Engineering, 2003
2002
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
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002
2001
Int. J. Parallel Program., 2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
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
Int. J. High Perform. Comput. Appl., 2000
1999
1998
Compilation of Constraint Programs with Noncyclic and Cyclic Dependencies to Procedural Parallel Programs.
Int. J. Parallel Program., 1998
Poems: end-to-end performance design of large parallel adaptive computational systems.
Proceedings of the First International Workshop on Software and Performance, 1998
1997
IEEE Trans. Parallel Distributed Syst., 1997
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
IEEE Trans. Parallel Distributed 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
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
Proceedings of the 3rd International Conference on High Performance Computing, 1996
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
Proceedings of the Input/Output in Parallel and Distributed Computer Systems., 1996
1995
IEEE Parallel Distributed Technol. Syst. Appl., 1995
MaTRiX+<sup>+</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
Proceedings of the 1995 ACM 23rd Annual Conference on Computer Science, CSC '95, Nashville, TN, USA, February 28, 1995
1994
SIGARCH Comput. Archit. News, 1994
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994
Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994
Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994
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
SIGARCH Comput. Archit. News, 1993
Proceedings of the Proceedings Supercomputing '93, 1993
Proceedings of the Languages and Compilers for Parallel Computing, 1993
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
Proceedings of the 1993 International Conference on Parallel Processing, 1993
1992
J. Parallel Distributed Comput., 1992
Proceedings of the 6th international conference on Supercomputing, 1992
A Graph-Theoretic Model for the Scheduling Problem and its Application to simultaneous Resource Scheduling.
Proceedings of the Computer Science and Operations Research, 1992
1991
Proceedings of the conference on Software for citical systems, 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
IEEE Trans. Software Eng., 1990
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
Proceedings of the Intellectual Leverage: Thirty-Fifth IEEE Computer Society International Conference, 1990
1989
IEEE Trans. Software Eng., 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
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
Parallel Comput., 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
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
Proceedings of the 18th Annual Symposium on Simulation, 1985
1984
The Workshop on University/Industry/Government Collaboration on Research in Parallel Computing.
ACM SIGOPS Oper. Syst. Rev., 1984
University, Industry, and Goverment Collaboration Workshop: Research in Parallel Computing.
Computer, 1984
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
Proceedings of the Tenth International Computer Measurement Group Conference, 1984
Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, 1984
1983
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
Proceedings of the Ninth International Computer Measurement Group Conference, 1983
Proceedings of the Ninth International Computer Measurement Group Conference, 1983
1982
Proceedings of the Eigth International Conference on Very Large Data Bases, 1982
Proceedings of the 9th International Symposium on Computer Architecture (ISCA 1982), 1982
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
Proceedings of the American Federation of Information Processing Societies: 1982 National Computer Conference, 1982
1981
Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1981
Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1981
1980
ACM SIGOPS Oper. Syst. Rev., 1980
Proceedings of the 1980 International Symposium on Computer Performance Modelling, 1980
1979
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
Proceedings of the 3rd International Conference on Software Engineering, 1978
Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978
1977
New Directions for Operating Systems: A Workshop Report.
ACM SIGOPS Oper. Syst. Rev., 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
Proceedings of the 2nd International Conference on Software Engineering, 1976
1975
IEEE Trans. Software Eng., 1975
SIGMETRICS Perform. Evaluation Rev., 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
Feedback coupled resource allocation policies in the multiprogramming-multiprocessor computer system.
Proceedings of the 1974 ACM SIGMETRICS conference on Measurement and evaluation, 1974
Proceedings of the GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974, 1974
Proceedings of the 1974 ACM Annual Conference, 1974
1973
IEEE Trans. Computers, 1973
Computer, 1973
Proceedings of the 1st Symposium on Simulation of Computer Systems, 1973
1972
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
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
Proceedings of the ACM annual conference, 1972
1971
Proceedings of the SIGOPS Workshop on System Performance Evaluation, USA, 1971, 1971
1970
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1970 Spring Joint Computer Conference, 1970
1962
Commun. ACM, 1962