James C. Browne

Edward Chuah, Gary Kee Khoon Lee, William-Chandra Tjhi, Shyh-Hao Kuo, Terence Hung, John Hammond, Tommy Minyard, James C. Browne: Establishing Hypothesis for Recurrent System Failures from Cluster Log Files. DASC 2011: 15-22

Jeffrey R. Diamond, Martin Burtscher, John D. McCalpin, Byoung-Do Kim, Stephen W. Keckler, James C. Browne: Evaluation and optimization of multicore performance bottlenecks in supercomputing applications. ISPASS 2011: 32-43

Edward Chuah, Shyh-Hao Kuo, Paul Hiew, William-Chandra Tjhi, Gary Kee Khoon Lee, John Hammond, Marek T. Michalewicz, Terence Hung, James C. Browne: Diagnosing the root-causes of failures from cluster log files. HiPC 2010: 1-10

Martin Burtscher, Byoung-Do Kim, Jeffrey R. Diamond, John D. McCalpin, Lars Koesterke, James C. Browne: PerfExpert: An Easy-to-Use Performance Diagnosis Tool for HPC Applications. SC 2010: 1-11

Honguk Woo, Aloysius K. Mok, James C. Browne: A hybrid framework for resource verification in executable model-based embedded system development. SIGBED Review 5(1): 5 (2008)

Honguk Woo, Jianliang Yi, James C. Browne, Aloysius K. Mok, Ella Atkins, Fei Xie: Design and Development Methodology for Resilient Cyber-Physical Systems. ICDCS Workshops 2008: 525-528

Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella Atkins, Chan-Gun Lee: Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 137-146

Young Yoon, James C. Browne, Mathew Crocker, Samit Jain, Nasim Mahmood: Productivity and performance through components: the ASCI Sweep3D application. Concurrency and Computation: Practice and Experience 19(5): 721-742 (2007)

Chandrajit L. Bajaj, J. Tinsley Oden, Kenneth R. Diller, James C. Browne, John D. Hazle, Ivo Babuska, Jon Bass, L. Bidaut, Leszek F. Demkowicz, Andrew Elliott, Yusheng Feng, David Fuentes, Boseob Kwon, Serge Prudhomme, R. Jason Stafford, Yongjie Zhang: Using Cyber-Infrastructure for Dynamic Data Driven Laser Treatment of Cancer. International Conference on Computational Science (1) 2007: 972-979

Adam Brown, James C. Browne, Calvin Lin: Early Results with Precision Abstraction: Using Data-flow Analysis to Improve the Scalability of Model Checking. IPDPS 2007: 1-5

Fei Xie, James C. Browne: Verification of Component-Based Software Application Families. CBSE 2006: 50-66

J. Tinsley Oden, Kenneth R. Diller, Chandrajit L. Bajaj, James C. Browne, John D. Hazle, Ivo Babuska, Jon Bass, Leszek F. Demkowicz, Yusheng Feng, David Fuentes, Serge Prudhomme, Marissa Nichole Rylander, R. Jason Stafford, Yongjie Zhang: Development of a Computational Paradigm for Laser Treatment of Cancer. International Conference on Computational Science (3) 2006: 530-537

James C. Browne, Calvin Lin, Kevin Kane, Yoonsik Cheon, Patricia J. Teller: Unification of verification and validation methods for software systems: progress report and initial case study formulation. IPDPS 2006

Kevin Kane, James C. Browne: On classifying access control implementations for distributed systems. SACMAT 2006: 29-38

Kevin Kane, James C. Browne: Using uncertainty in reputation methods to enforce cooperation in ad-hoc networks. Workshop on Wireless Security 2006: 105-113

James C. Browne: Productivity in High Performance Computing. HiPC 2005: 2-3

Nasim Mahmood, Yusheng Feng, James C. Browne: A Case Study in Application Family Development by Automated Component Composition: h-p Adaptive Finite Element Codes. International Conference on Computational Science (1) 2005: 347-354

Nasim Mahmood, Yusheng Feng, James C. Browne: Evolutionary performance-oriented development of parallel programs by composition of components. WOSP 2005: 239-248

Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin: Lessons Learned from Model Checking a NASA Robot Controller. Formal Methods in System Design 25(2-3): 241-270 (2004)

James C. Browne: Grid computing as applied distributed computation: a graduate seminar on Internet and Grid computing. CCGRID 2004: 239-245

Kevin Kane, James C. Browne: CoorSet: A Development Environment for Associatively Coordinated Components. COORDINATION 2004: 216-231

Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne: Translating Software Designs for Model Checking. FASE 2004: 324-338

J. Tinsley Oden, James C. Browne, Ivo Babuska, Chandrajit L. Bajaj, Leszek F. Demkowicz, L. Gray, Jon Bass, Yusheng Feng, Serge Prudhomme, Fabio Nobile, Raúl Tempone: A Dynamic Data Driven Computational Infrastructure for Reliable Computer Simulations. International Conference on Computational Science 2004: 756-763

Karthikeyan Sankaralingam, Madhulika Yalamanchi, Simha Sethumadhavan, James C. Browne: Pagerank Computation and Keyword Search on Distributed Systems and P2P Networks. J. Grid Comput. 1(3): 291-307 (2003)

Natasha Sharygina, James C. Browne: Model Checking Software via Abstraction of Loop Transitions. FASE 2003: 325-340

Fei Xie, James C. Browne, Robert P. Kurshan: Translation-Based Compositional Reasoning for Software Systems. FME 2003: 582-599

Karthikeyan Sankaralingam, Simha Sethumadhavan, James C. Browne: Distributed Pagerank for P2P Systems. HPDC 2003: 58-69

J. Tinsley Oden, James C. Browne, Ivo Babuska, Kenneth M. Liechti, Leszek F. Demkowicz: A Computational Infrastructure for Reliable Computer Simulations. International Conference on Computational Science 2003: 385-392

Vikram S. Adve, James C. Browne, Brian Ensink, John R. Rice, Patricia J. Teller, Mary K. Vernon, Stephen J. Wright: An Approach to Optimizing Adaptive Parabolic PDE Solvers for the Grid. IPDPS 2003: 210

Nasim Mahmood, Guosheng Deng, James C. Browne: Compositional Development of Parallel Programs. LCPC 2003: 109-126

Fei Xie, James C. Browne: Verified systems by composition from verified components. ESEC / SIGSOFT FSE 2003: 277-286

James C. Browne, Kevin Kane, Hongxia Tian: An Associative Broadcast Based Coordination Model for Distributed Processes. COORDINATION 2002: 96-110

Fei Xie, James C. Browne: Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs. FASE 2002: 64-79

Fei Xie, Vladimir Levin, James C. Browne: ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs. FASE 2002: 331-335

Vikram S. Adve, Afolami Akinsanmi, James C. Browne, Det Buaklee, Guoshen Deng, Vinh Vi Lam, Trevor Morgan, John R. Rice, Gregory J. Rodin, Patricia J. Teller, Gregory F. Tracy, Mary K. Vernon, Stephen J. Wright: Model-Based Control of Adaptive Applications: An Overview. IPDPS 2002

Raju Pandey, James C. Browne: Support for Implementation of Evolutionary Concurrent Systems. International Journal of Parallel Programming 29(4): 401-431 (2001)

Natasha Sharygina, James C. Browne, Robert P. Kurshan: A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. FASE 2001: 318-332

Fei Xie, Vladimir Levin, James C. Browne: Model Checking for an Executable Subset of UML. ASE 2001: 333-336

Vikram S. Adve, Rajive Bagrodia, James C. Browne, Ewa Deelman, Aditya Dube, Elias N. Houstis, John R. Rice, Rizos Sakellariou, David Sundaram-Stukel, Patricia J. Teller, Mary K. Vernon: POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems. IEEE Trans. Software Eng. 26(11): 1027-1048 (2000)

Krishna M. Kavi, James C. Browne, Anand Tripathi: Computer Systems Research: The Pressure Is On. IEEE Computer 32(1): 30-39 (1999)

Ajita John, James C. Browne: Compilation of Constraint Programs with Noncyclic and Cyclic Dependencies to Procedural Parallel Programs. International Journal of Parallel Programming 26(1): 65-119 (1998)

Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo, Richard L. Oliver, David Sundaram-Stukel, Harvey J. Wasserman, Vikram S. Adve, Rajive Bagrodia, James C. Browne, Elias N. Houstis, Olaf M. Lubeck, John R. Rice, Patricia J. Teller, Mary K. Vernon: Poems: end-to-end performance design of large parallel adaptive computational systems. WOSP 1998: 18-30

Ravi Jain, Kiran Somalwar, John Werth, James C. Browne: Heuristics for Scheduling I/O Operations. IEEE Trans. Parallel Distrib. Syst. 8(3): 310-320 (1997)

Dwip Banerjee, James C. Browne: "Optimal" Parallelism through Integration of Data and Control Parallelism: A Case Study in Complete Parallelization. LCPC 1997: 322-339

Manish Parashar, James C. Browne, Carter Edwards, Kenneth Klimkowski: A Common Data Management Infrastructure for Adaptive Algorithms for PDE Solutions. SC 1997: 56

James C. Browne: Object-oriented development of real-time systems: verification of functionality and performance. OOPS Messenger 7(1): 59-62 (1996)

Shiow-yang Wu, Daniel P. Miranker, James C. Browne: Decomposition Abstraction in Parallel Rule Languages. IEEE Trans. Parallel Distrib. Syst. 7(11): 1164-1184 (1996)

Raju Pandey, James C. Browne: Support for Implementation of Evolutionary Concurrent Systems in Concurrent Programming Languages. Euro-Par, Vol. I 1996: 633-645

Manish Parashar, James C. Browne: On Partitioning Dynamic Adaptive Grid Hierarchies. HICSS (1) 1996: 604-613

Raju Pandey, James C. Browne: Support for Extensibility and Reusability in a Concurrent Object-Oriented Programming Language. IPPS 1996: 241-247

Dwip Banerjee, James C. Browne: Complete Parallelization of Computations: Integration of Data Partitioning and Functional Parallelism for Dynamic Data Structures. IPPS 1996: 354-360

Ajita John, James C. Browne: Compilation of Constraint Systems to Procedural Parallel Programs. LCPC 1996: 501-518

Raju Pandey, James C. Browne: A Compositional Approach to Concurrent Programming. PDPTA 1996: 1489-1500

Ajita John, James C. Browne: Extraction of Parallelism from Constraint Specifications. PDPTA 1996: 1501-1512

James C. Browne: Is Computer Science Obsolete? ACM Conference on Computer Science 1995: 273

Tim Collins, James C. Browne: MaTRiX+/sup +/: an object-oriented environment for parallel high-performance matrix computations. HICSS (2) 1995: 202-211

James C. Browne: The Relation of Software Engineering to Computer Science (Abstract). ACM Conference on Computer Science 1994: 425

Raju Pandey, James C. Browne: A Compositional Approach to Concurrent Object-Oriented Programming. ICCL 1994: 124-135

Shiow-yang Wu, Daniel P. Miranker, James C. Browne: Toward Semantic-Based Parallelism in Production Systems. ICPADS 1994: 752-758

James C. Browne, E. Allen Emerson, Mohamed G. Gouda, Daniel P. Miranker, Aloysius K. Mok, Roberto J. Bayardo Jr., Sarah E. Chodrow, David Gadbois, F. Furman Haddix, Thomas W. Hetherington, Lance Obermeyer, Duu-Chung Tsou, Chih-Kan Wang, Rwo-Hsi Wang: A New Approach to Modularity in Rule-Based Programming. ICTAI 1994: 18-25

Jit Biswas, James C. Browne: Data Structures for Parallel Resource Management. IEEE Trans. Software Eng. 19(7): 672-686 (1993)

Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang: Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. IEEE Trans. Software Eng. 19(9): 863-885 (1993)

S. I. Hyder, John Werth, James C. Browne: A Unified Model for Concurrent Debugging. ICPP 1993: 58-67

Michael F. Kleyn, James C. Browne: A High Level Language for Specifying Graph Based Languages and Their Programming Environments. ICSE 1993: 324-335

Shiow-yang Wu, James C. Browne: Explicit Parallel Structuring for Rule-Based Programming. IPPS 1993: 479-488

Raju Pandey, James C. Browne: Event-based Composition of Concurrent Programs. LCPC 1993: 115-138

Geoffrey Fox, Sanjay Ranka, Michael L. Scott, Allen D. Malony, James C. Browne, Marina C. Chen, Alok N. Choudhary, Thomas Cheatham, Janice E. Cuny, Rudolf Eigenmann, Amr F. Fahmy, Ian T. Foster, Dennis Gannon, Tomasz Haupt, Carl Kesselman, Charles Koelbel, Wei Li, Monica S. Lam, Thomas J. LeBlanc, Jim Openshaw, David A. Padua, Constantine D. Polychronopoulos, Joel H. Saltz, Alan Sussman, Gil Weigand, Katherine A. Yelick: Common runtime support for high-performance parallel languages. SC 1993: 752-757

Ravi Jain, Kiran Somalwar, John Werth, James C. Browne: Scheduling Parallel I/O Operations in Multiple Bus Systems. J. Parallel Distrib. Comput. 16(4): 352-362 (1992)

Peter Newton, James C. Browne: The CODE 2.0 graphical parallel programming language. ICS 1992: 167-177

Chin-Ming Kuo, Daniel P. Miranker, James C. Browne: On the Performance of the CREL System. J. Parallel Distrib. Comput. 13(4): 424-441 (1991)

Ravi Jain, John Werth, James C. Browne: A General Model for Scheduling of Parallel Computations and its Application to Parallel I/O Operations. ICPP (1) 1991: 40-44

John Werth, James C. Browne, S. Sobek, Taejae Lee, Peter Newton, Ravi Jain: The Interaction of the Formal and the Practical in Parallel Programming Environment Development: CODE. LCPC 1991: 35-49

Ravi Jain, John Werth, James C. Browne, Indranil Chakravarty, Peter Highnam: An Experimental Study of the Effectiveness of High Level Parallel Programming. PPSC 1991: 581-587

Paul A. Suhler, Jit Biswas, Kim M. Korner, James C. Browne: TDFL: A Task-Level Dataflow Language. J. Parallel Distrib. Comput. 9(2): 103-115 (1990)

James C. Browne, Taejae Lee, John Werth: Experimental Evaluation of a Reusability-Oriented Parallel Programming Environment. IEEE Trans. Software Eng. 16(2): 111-120 (1990)

Daniel P. Miranker, Chin-Ming Kuo, James C. Browne: Parallelizing Compilation of Rule-Based Programs. ICPP (2) 1990: 247-251

Mohan L. Ahuja, James C. Browne: Concurrency control by transactions carrying states and preordering multiversioned entities. Inf. Sci. 48(2): 157-193 (1989)

James C. Browne, Jack Dongarra, Alan H. Karp, Ken Kennedy, David J. Kuck: 1988 Gordon Bell Prize. IEEE Software 6(3): 78-85 (1989)

James C. Browne, Muhammad Azam, Stephen Sobeck: CODE: A Unified Approach to Parallel Programming. IEEE Software 6(4): 10-18 (1989)

Stephen P. Hufnagel, James C. Browne: Performance Properties of Vertically Partitioned Object-Oriented Systems. IEEE Trans. Software Eng. 15(8): 935-946 (1989)

K. Sridharan, Matthew J. McShea, Carole Denton, William Eventoff, James C. Browne, Peter Newton, M. Ellis, D. Grossbard, T. Wise, David E. Clemmer: An Environment for Parallel Structuring for Fortran Programs. ICPP (2) 1989: 98-106

James C. Browne, John Werth, Taejae Lee: Intersection of Parallel Structuring and Reuse of Software Components: A Calculus of Composition of Components for Parallel Programs. ICPP (2) 1989: 126-130

Mohan L. Ahuja, James C. Browne: Concurrency control by transactions carrying states and preordering universioned entities. ACM Conference on Computer Science 1988: 626-635

Mohan Ahuja, James C. Browne: Performance Evaluation of Two Concurrency Control Protocols for Distributed Databases with Multiversioned Entities. ICDE 1988: 426-436

Stephen Sobeck, Muhammad Azam, James C. Browne: Architecture and Language Independent Parallel Programming: A Feasibility Demonstration. ICPP (2) 1988: 80-83

Mohan Ahuja, James C. Browne: Concurrency Control by Pre-Ordering Entities in Databases with Multi-Versioned Entities. ICDE 1987: 312-321

Jit Biswas, James C. Browne: Simultaneous Update of Priority Structures. ICPP 1987: 124-131

Mehrad Yasrebi, James C. Browne, Dharma P. Agrawal: Analysis and Design of Parallel Algorithms and Implementations for Some Image Processing Operations. ICPP 1987: 901-908

James C. Browne: Framework for formulation and analysis of parallel computation structures. Parallel Computing 3(1): 1-9 (1986)

Robert O'Dell, James C. Browne: Parallel Structuring of Control and Resources Management Systems for Parallel Programs. ICPP 1986: 153-156

Ashok K. Adiga, James C. Browne: A Graph Model for Parallel Computations Expressed in the Computation Structures Language. ICPP 1986: 880-886

Mohan Ahuja, James C. Browne: Intra-Transaction Concurrency in Distributed Databases and Protocols which use Transaction Aborts to Preserve Consistency: A Performance Study. ICPP 1986: 950-952

Annette S. Palmer, James C. Browne, Jonathan M. Silverman, Anand R. Tripathi, Rajkumar Velpuri: A Performance Model of a Fault-Tolerant Distributed System for Evaluating Reliability Mechanisms. Int. CMG Conference 1985: 363-378

James C. Browne: Formulation and Programming of Parallel Computations: A Unified Approach. ICPP 1985: 624-631

James C. Browne: Characterization of Parallel Architecture. ICPP 1985: 665

John Feo, Roy M. Jenevein, James C. Browne: Dynamic, Distributed Resource Configuration on SW-Banyans. ISCA 1985: 268-275

James C. Browne, Alfred G. Dale, C. Leung, Roy M. Jenevein: A Parallel Multi-Stage I/O Architecture with Self-Managing Disk Cache for Database Management Applications. IWDM 1985: 331-346

James C. Browne, George S. Almasi: The Workshop on University/Industry/Government Collaboration on Research in Parallel Computing. Operating Systems Review 18(3): 15-27 (1984)

James C. Browne, James E. Dutton, Vincent Fernandes, Annette S. Palmer, Jonathan M. Silverman, Anand R. Tripathi, Pong-Sheng Wang: Zeus: An object-oriented distributed operating system for reliable applications. ACM Conference on Computer Science 1984: 179-188

Vincent Fernandes, James C. Browne, Doug Neuse: Some Performance Models of Distributed Systems. Int. CMG Conference 1984: 30-37

James C. Browne: TRAC: An Environment for Parallel Computing. COMPCON 1984: 294-298

James C. Browne, Todd Smith: An Object-Oriented, Capability-Based Architecture. VLSI Engineering 1984: 22-38

I. V. Ramakrishnan, James C. Browne: A Paradigm for the Design of Parallel Algorithms with Applications. IEEE Trans. Software Eng. 9(4): 411-415 (1983)

James C. Browne, Doug Neuse: Graphical Tools for Software System Performance Engineering. Int. CMG Conference 1983: 353-355

Connie U. Smith, James C. Browne: Performance Engineering of Software Systems: A Design-Based Approach. Int. CMG Conference 1983: 466-467

Mehrad Yasrebi, Sanjay R. Deshpande, James C. Browne: A Comparison of Circuit Switching and Packet Switching for Data Transfer in Two Simple Image processing Algorithms. ICPP 1983: 25-28

Bharat Deep Rathi, Sanjay R. Deshpande, Matthew C. Sejnowski, Don Walker, Roy M. Jenevein, G. Jack Lipovski, James C. Browne: Specification and Implementation of an Integrated Packet Communication Facility for an Array Computer. ICPP 1983: 51-58

Avinash Chandak, James C. Browne: Vectorization of Discrete Event Simulation. ICPP 1983: 359-361

Connie U. Smith, James C. Browne: Performance engineering of software systems: a case study. AFIPS National Computer Conference 1982: 217-224

James C. Browne, Anand Tripathi, S. Fedak, Ashok K. Adiga, R. Kipur: A language for specification and programming of reconfigurable parallel computation structures. ICPP 1982: 142-149

Roy M. Jenevein, James C. Browne: A control processor for a reconfigurable array computer. ISCA 1982: 81-89

U. V. Premkumar, James C. Browne: Resource allocation in rectangular SW banyans. ISCA 1982: 326-333

Dipayan Gangopadhyay, Umeshwar Dayal, James C. Browne: Semantics of Network Data Manipulation Languages: An Object-Oriented Approach. VLDB 1982: 357-369

Richard T. Wang, James C. Browne: Virtual Machine-Based Simulation of Distributed Computing and Network Computing. SIGMETRICS 1981: 154-156

Charles Hoch, James C. Browne: An Implementation of Capabilities on the PDP-11/45. Operating Systems Review 14(3): 22-32 (1980)

Connie U. Smith, James C. Browne: Modeling Software Systems for Performance Predictions. Int. CMG Conference 1979: 321-341

Richard S. Brice, James C. Browne: Feedback Coupled Resource Allocation Policies in the Multiprogramming-Multicomputer System. Commun. ACM 21(8): 678-686 (1978)

Donald F. Towsley, K. Mani Chandy, James C. Browne: Models for Parallel Processing Within Programs: Application to CPU: I/O and I/O: I/O Overlap. Commun. ACM 21(10): 821-831 (1978)

James C. Browne, David B. Johnson: FAST: A Second Generation Program Analysis System. ICSE 1978: 142-148

R. M. Brown, James C. Browne, K. Mani Chandy: Memory Management and Response Time. Commun. ACM 20(3): 153-165 (1977)

James C. Browne: New Directions for Operating Systems: A Workshop Report. Operating Systems Review 11(1): 5-25 (1977)

James C. Browne: A Critical Overview of Computer Performance Evaluation. ICSE 1976: 138-145

Derrell V. Foster, James C. Browne: File Assignment in Memory Hierarchies. Performance 1976: 119-127

James Wayne Anderson, James C. Browne: Graph models of computer systems: Application to performance evaluation of an operating system. SIGMETRICS 1976: 166-178

K. Mani Chandy, James C. Browne, Charles W. Dissly, Werner R. Uhrig: Analytic Models for Rollback and Recovery Strategies in Data Base Systems. IEEE Trans. Software Eng. 1(1): 100-110 (1975)

James C. Browne, G. L. Lasseter: An Optimizable Model for Application of Rollback/Restart/Recovery Procedures for Large Data Bases. VLDB 1975: 508-510

Stephen W. Sherman, John H. Howard, James C. Browne: Trace Driven Studies of Deadlock Control and Job Scheduling. GI Jahrestagung 1974: 386-395

Stephen W. Sherman, Forest Baskett, James C. Browne: Trace-Driven Modeling and Analysis of CPU Scheduling in Multiprogramming System. Commun. ACM 15(12): 1063-1069 (1972)

James C. Browne, Jean Lan, Forest Baskett: The interaction of multi-programming job scheduling and CPU scheduling. AFIPS Fall Joint Computing Conference (1) 1972: 13-21

K. Mani Chandy, Tom W. Keller, James C. Browne: Design automation and queueing networks: An interactive system for the evaluation of computer queueing models. DAC 1972: 357-367

James C. Browne: Algorithm 132: Quantum mechanical integrals over all Slater-type integrals. Commun. ACM 5(11): 551-553 (1962)