Order reduction - Globe Thesis

Keyword [Order reduction] Result: 1 - 20 \| Page: 1 of 3
1.	Research On Reduced - Order Method Of Trajectory Piecewise Linear Model For Nonlinear Circuit
2.	Slicing Execution For Verification Of C Programs
3.	Research On Key Issues Of Mobile Ambients And Model Checking Applications
4.	Techniques Of Model Order Reduction For The Electrostatically Actuated Microdevices
5.	Nano-scale Integrated Circuit Modeling And Analysis Methods
6.	Stutter-invariant PPTL And Model Checking
7.	Decidability, Complexity, Expressiveness And Model Checking Of Propositional Projection Temporal Logic
8.	Research On Concurrent System Modeling And Model Checking Based On Process Algebra
9.	Research On Model Checking Of Concurrent System Based On Partial-order Reduction
10.	Signal Integrity Analysis Based On Model Order Reduction
11.	PEEC Modeling And Model Order Reduction Of Silicon-Based Integrated Passive Components
12.	RLC Parasitic Parameter Extraction And Reduced-Order Modeling Of High-Frequency Transmission Lines
13.	Research On System-Level Simulation Of MEMS Based On Reduced-Order Model
14.	Research And Simulation Of Effective Reduction Strategies For Nonliear Systems
15.	Research Of Malware Detection Technology Based On Attribute Order Reduction
16.	Memory Characteristics Of Deep Sub-micron Process Parameters To Extract The Key Technologies
17.	Fast Simulation Of The Process Variation Of Power Network Analysis Methods
18.	On H_∞ Model Reduction For Discrete-Time SSystems Using LMIs Billinear Transforamtion
19.	Research On State Space Reduction Technology For Security Protocol Based On Partial Order Reduction
20.	Interconnect Efficient Time-domain Model Order Reduction Algorithms
<<First <Prev Next> Last>> Jump to