216 results on '"Yi Wang"'
Search Results
2. Timing is All You Need
3. Ma X v. Guyuan People’s Government of Ningxia Hui Autonomous Region, and Guyuan Housing and Urban-Rural Development Bureau of Ningxia Hui Autonomous Region : (Dispute Over Administrative Approval and Administrative Ruling on House Demolition and Relocation: Whether Two or More Administrative Acts in the Same Administrative Case Listed as the Disputed Administrative Acts Meets the Legal Conditions for Prosecution)
4. Characterizations of Parallel Real-Time Workloads
5. Application of Faster Real Time Simulation Based on Digital Twin in Fault Monitoring of Doubly Fed Induction Generator
6. Research on Charging Load of Electric Vehicle Cluster Based on Mesh Planning
7. Real-Time Task Models
8. Complexity of Uniprocessor Scheduling Analysis
9. Analysis on Formation Mechanism of Enterprise Design Competitiveness Based on Structural Equation Modeling
10. MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems
11. Effect of Calcination Atmosphere on High Temperature H2S Removal of MnxOy/Al2O3 Sorbent in Synthesis Gas
12. Cause-Effect Reaction Latency in Real-Time Systems
13. Model Checking, Synthesis, and Learning
14. Textile-Based Energy Harvesting and Storage Devices for Wearable Electronics
15. Towards Customizable CPS: Composability, Efficiency and Predictability
16. Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems
17. An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada
18. Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model
19. Characterization of Simulation by Probabilistic Testing
20. Scalable Timing Analysis with Refinement
21. Application of Hybrid Genetic Algorithm in Aerial Defense Target Assignment
22. Empirical Study on the Construction of Competency Model of Major Discipline in the Medical University
23. McAiT – A Timing Analyzer for Multicore Real-Time Software
24. Induced Resistance in Melons by Elicitors for the Control of Postharvest Diseases
25. The Credo Methodology : (Extended Version)
26. Modeling and Analysis of Thread-Pools in an Industrial Communication Platform
27. R-Automata
28. Sampled Universality of Timed Automata
29. Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times
30. Cultural History Of Classical Chinese Gardens, A
31. Communicating Timed Automata: The More Synchronous, the More Difficult to Verify
32. An Adaptive Stochastic Collision Detection Between Deformable Objects Using Particle Swarm Optimization
33. TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems
34. Timed Patterns: TCOZ to Timed Automata
35. Timed vs. Time-Triggered Automata
36. Timed Automata: Semantics, Algorithms and Tools
37. An Optimal Approach to Hardware/Software Partitioning for Synchronous Model
38. Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata
39. Unification & Sharing in Timed Automata Verification
40. A Tool Architecture for the Next Generation of Uppaal
41. On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata
42. Schedulability Analysis Using Two Clocks
43. Timed Automata with Asynchronous Processes: Schedulability and Decidability
44. TIMES b— A Tool for Modelling and Implementation of Embedded Systems
45. Formal Verification of UML Statecharts with Real-Time Extensions
46. UppaaL Implementation Secrets
47. Dark Energy
48. Electro-magnetic Tissue Properties Mri
49. UPPAAL - Now, Next, and Future
50. A Real-Time Animator for Hybrid Systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.