34 results on '"Browne, James C."'
Search Results
2. A Case Study in Application Family Development by Automated Component Composition: h-p Adaptive Finite Element Codes
3. Translating Software Designs for Model Checking
4. Compositional Development of Parallel Programs
5. CoorSet: A Development Environment for Associatively Coordinated Components
6. Translation-Based Compositional Reasoning for Software Systems
7. A Computational Infrastructure for Reliable Computer Simulations
8. Model Checking Software via Abstraction of Loop Transitions
9. An Associative Broadcast Based Coordination Model for Distributed Processes
10. ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs
11. Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs
12. A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
13. Systems Engineering for High Performance Computing Software: The HDDA/DAGH Infrastructure for Implementation of Parallel Structured Adaptive Mesh
14. Event-based composition of concurrent programs
15. Productivity in High Performance Computing
16. Trace Driven Studies of Deadlock Control and Job Scheduling
17. GDL: A High Level, Access-Path Oriented Data Language
18. An Experimental Active-Memory-Based I/O Subsystem
19. Heterogeneous I/O Contention in a Single-Bus Multiprocessor
20. A Scalable Disk System with Data Reconstruction Functions
21. HCSA: A Hybrid Client-Server Architecture
22. Performance Evaluation of a Massively Parallel I/O Subsystem
23. Video on Demand Using the Vesta Parallel File System
24. Low-Level Interfaces for High-Level Parallel I/O
25. Parallel I/O Workload Characteristics Using Vesta
26. Overview of the MPI-IO Parallel I/O Interface
27. An Introduction to Parallel I/O Models and Algorithms
28. Placement-Related Problems in Shared Disk I/O
29. Improving the Performance of Parallel I/O Using Distributed Scheduling Algorithms
30. Scalable Concurrency Control for Parallel File Systems
31. Issues in Compiling I/O Intensive Problems
32. Runtime Support for Out-of-Core Parallel Programs
33. Introduction to Multiprocessor I/O Architecture
34. I/O in Parallel and Distributed Systems: An Introduction
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.