Experience with Rule-Based Analysis of Spacecraft Logs? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA

Source URL: rjoshi.org

• Concurrency control
• Computing
• Computer programming
• Data management
• Lock
• N1
• Monitor
• File locking
• APT

On The Impossibility Of Robust Solutions For Fair Resource Allocation Rajeev Joshi , Jayadev Misra Department of Computer Sciences, The University of Texas at Austin

Source URL: rjoshi.org

• Computability theory
• Functions and mappings

Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration Alex Groce Rajeev Joshi

Source URL: rjoshi.org

• Model checkers
• Software testing
• Software engineering
• Concurrent computing
• Model checking
• Promela
• SPIN model checker
• Probability and statistics
• Statistical theory
• Random testing
• Java Pathfinder
• Actor model

Comprehension of spacecraft telemetry using hierarchical specifications of behavior? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA

Source URL: rjoshi.org

• E1
• Hepatitis C virus

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi

Source URL: rjoshi.org

• Logic
• Mathematical logic
• Theoretical computer science
• FO
• Finite model theory
• Predicate transformer semantics
• Model theory
• Substitution

Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA

Source URL: rjoshi.org

• Computing
• Software quality
• Engineering
• Reliability engineering
• Software engineering
• Design for X
• Materials science
• Survival analysis
• Fault tolerance
• Redundancy
• Software design
• Modular programming

INDOOR AIR QUALITY (IAQ) ASHRAE Standard A Presentation by Rajnish Joshi, General Manager – Arctic India Sales Are you wondering why we have gathered here today to talk about “Indoor Air

Source URL: inspectapedia.com

Meera Joshi Commissioner Gary Weiss Deputy Commissioner Licensing and Standards47th Avenue, 3rd floor

Source URL: www.nyc.gov

9th International Workshop on Science Gateways (IWSG 2017), 19-21 JuneThe ICTBioMed NCIP Hub: Cancer Research in a Science Gateway on World-Wide Scale Amit Saxena, Rajendra Joshi, Hemant Darbari C-DAC , India

Source URL: iwsg2017.psnc.pl

DC Proposal: Automation of Service lifecycle on the Cloud by using Semantic technologies Karuna P. Joshi Advisor: Dr. Yelena Yesha, Dr. Tim Finin Computer Science and Electrical Engineering University of Maryland, Baltim

Source URL: iswc2011.semanticweb.org