196 results on '"Browne, James C."'
Search Results
2. Verification of Component-Based Software Application Families
3. A Case Study in Application Family Development by Automated Component Composition: h-p Adaptive Finite Element Codes
4. Translating Software Designs for Model Checking
5. Compositional Development of Parallel Programs
6. CoorSet: A Development Environment for Associatively Coordinated Components
7. Translation-Based Compositional Reasoning for Software Systems
8. A Computational Infrastructure for Reliable Computer Simulations
9. Model Checking Software via Abstraction of Loop Transitions
10. An Associative Broadcast Based Coordination Model for Distributed Processes
11. ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs
12. Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs
13. A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
14. Systems Engineering for High Performance Computing Software: The HDDA/DAGH Infrastructure for Implementation of Parallel Structured Adaptive Mesh
15. Event-based composition of concurrent programs
16. Productivity in High Performance Computing
17. Pagerank Computation and Keyword Search on Distributed Systems and P2P Networks
18. Support for Implementation of Evolutionary Concurrent Systems
19. Verification of Component-Based Software Application Families
20. Compilation of Constraint Programs with Noncyclic and Cyclic Dependencies to Procedural Parallel Programs
21. Translating Software Designs for Model Checking
22. Compositional Development of Parallel Programs
23. Model Checking Software via Abstraction of Loop Transitions
24. Translation-Based Compositional Reasoning for Software Systems
25. ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs
26. Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs
27. A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
28. Decomposition abstraction in parallel rule languages
29. Systems Engineering for High Performance Computing Software: The HDDA/DAGH Infrastructure for Implementation of Parallel Structured Adaptive Mesh
30. Analysis of real-time rule-based systems with behavioral constraint assertions specified in Estella
31. Data structures for parallel resource management
32. Experimental evaluation of a reusability-oriented parallel programming environment
33. Event-based composition of concurrent programs
34. Bounded-time fault-tolerant rule-based systems
35. Enabling Dependability-Driven Resource Use and Message Log-Analysis for Cluster System Diagnosis
36. Trace Driven Studies of Deadlock Control and Job Scheduling
37. GDL: A High Level, Access-Path Oriented Data Language
38. Using Message Logs and Resource Use Data for Cluster Failure Diagnosis
39. Understanding Application and System Performance Through System-Wide Monitoring
40. Insights into the Diagnosis of System Failures from Cluster Message Logs
41. Open XDMoD: A Tool for the Comprehensive Management of High-Performance Computing Resources
42. Online failure prediction for HPC resources using decentralized clustering
43. Comprehensive Resource Use Monitoring for HPC Systems with TACC Stats
44. An Analysis of Node Sharing on HPC Clusters using XDMoD/TACC_Stats
45. Comprehensive, open-source resource usage measurement and analysis for HPC systems
46. POEMS: End-to-end performance design of large parallel adaptive computational systems
47. Performance properties of vertically partitioned object-oriented systems
48. Parallel architectures for computer systems
49. Enabling comprehensive data-driven system management for large computational facilities
50. Linking Resource Usage Anomalies with System Failures from Cluster Log Data
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.