196 results on '"Browne, James C."'
Search Results
52. Establishing Hypothesis for Recurrent System Failures from Cluster Log Files
53. Evaluation and optimization of multicore performance bottlenecks in supercomputing applications
54. Diagnosing the root-causes of failures from cluster log files
55. Design and Development Methodology for Resilient Cyber-Physical Systems
56. Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
57. A hybrid framework for resource verification in executable model-based embedded system development
58. Early Results with Precision Abstraction: Using Data-flow Analysis to Improve the Scalability of Model Checking
59. Productivity and performance through components: the ASCI Sweep3D application
60. Using uncertainty in reputation methods to enforce cooperation in ad-hoc networks
61. On classifying access control implementations for distributed systems
62. Enabling comprehensive data-driven system management for large computational facilities.
63. Evolutionary performance-oriented development of parallel programs by composition of components
64. General parallel computations on desktop grid and P2P systems
65. Verified systems by composition from verified components
66. Using uncertainty in reputation methods to enforce cooperation in ad-hoc networks.
67. Verification of Component-Based Software Application Families.
68. A Case Study in Application Family Development by Automated Component Composition: h-p Adaptive Finite Element Codes.
69. Evolutionary performance-oriented development of parallel programs by composition of components.
70. General parallel computations on desktop grid and P2P systems.
71. Computer systems research: the pressure is on
72. Poems
73. A fast solution method for three-dimensional many-particle problems of linear elasticity
74. A common data management infrastructure for adaptive algorithms for PDE solutions
75. The relation of software engineering to computer science (abstract)
76. The CODE 2.0 graphical parallel programming language
77. A study of response times under various deadlock algorithms and job schedulers.
78. Poems.
79. A common data management infrastructure for adaptive algorithms for PDE solutions.
80. Automated analysis of bounded response time for two NASA expert systems.
81. Zeus.
82. Gypsy.
83. On the performance of the CREL system
84. Automated analysis of bounded response time for two NASA expert systems
85. TDFL: A task-level data flow language
86. Conceptual and Implementation Models for the Grid.
87. Bounded-time fault-tolerant rule-based systems
88. The Pressure Is On.
89. Decomposition abstraction in parallel rule languages.
90. A Paradigm for the Design of Parallel Algorithms with Applications.
91. MODULARITY AND RULE-BASED PROGRAMMING.
92. Cross-Dye Styling of Automotive Upholstery.
93. HAL/S/V.
94. Productivity and performance through components: the ASCI Sweep3D application
95. The Effect on Throughput of Multiprocessing in a Multiprogramming Environment.
96. Verified systems by composition from verified components
97. The Effect on Throughput of Multiprocessing in a Multiprogramming Environment
98. High Performance Parallel Computing.
99. A Year of Programming.
100. Case study of error recovery and error propagation on ranger\ud
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.