76 results on '"Viswanathan, Mahesh"'
Search Results
2. Proof Blocks
3. A tree clock data structure for causal orderings in concurrent executions
4. Checking LTL[F,G,X] on compressed traces in polynomial time
5. Evaluating Proof Blocks Problems as Exam Questions
6. Work in Progress: A New Graduate Certificate to Broaden Participation in Computing.
7. On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs
8. Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning
9. Deciding Differential Privacy for Programs with Finite Inputs and Outputs
10. The Complexity of Dynamic Data Race Prediction
11. Atomicity Checking in Linear Time using Vector Clocks
12. Data race detection on compressed traces
13. Exact quantitative probabilistic model checking through rational search
14. Dynamic race prediction in linear time
15. Verification of randomized security protocols
16. Statistical Verification of the Toyota Powertrain Control Verification Benchmark
17. Robust Model Checking of Timed Automata under Clock Drifts
18. Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction
19. Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
20. Analyzing Real Time Linear Control Systems Using Software Verification
21. Experiences with Building Disaster Recovery for Enterprise-Class Clouds
22. ResilientVM
23. C2E2
24. Statistical verification of dynamical systems using set oriented methods
25. Stability of linear autonomous systems under regular switching sequences
26. Verification of annotated models from executions
27. On the decidability of stability of hybrid systems
28. Automation System for Validation of Configuration and Security Compliance in Managed Cloud Services
29. Pre-orders for reasoning about stability
30. Model Checking MDPs with a Unique Compact Invariant Set of Distributions
31. A dynamic algorithm for approximate flow computations
32. Reasoning about MDPs as Transformers of Probability Distributions
33. Verifying Tolerant Systems Using Polynomial Approximations
34. Honda Next Generation Speech User Interface
35. Taking IT Management Services to a Cloud
36. Incremental state-space exploration for programs with dynamically allocated data
37. Visibly pushdown automata for streaming XML
38. J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols
39. Learning to verify branching time properties
40. Incremental state-space exploration for programs with dynamically allocated data.
41. Comparison of measures of speech quality for listening tests of text-to-speech systems
42. Conformance testing in the presence of multiple faults.
43. Building searchable collections of enterprise speech data
44. Building searchable collections of enterprise speech data.
45. Verisim.
46. Two complementary techniques for digitized document analysis.
47. Spot-checkers
48. Characteristics of digitized images of technical articles
49. Document recognition: an attribute grammar approach.
50. Two complementary techniques for digitized document analysis.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.