Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pujie Han
Parameter Generation for Hierarchical Scheduling Systems Based on Model Checking
Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University
Engineering
Related publications
Automatic Generation of Model Checking Scripts Based on Environment Modeling
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Hierarchical Scheduling in Grid Systems
Heuristics for Hierarchical Partitioning With Application to Model Checking
BRICS Report Series
A Hierarchical Processor Scheduling Policy for NUMA Systems.
Hierarchical Scheduling in Heterogeneous Grid Systems
International Journal of Information Technology and Web Engineering
Computer Science
A Model-Based fMRI Analysis With Hierarchical Bayesian Parameter Estimation.
Journal of Neuroscience, Psychology, and Economics
Cognitive Psychology
Management
Finance
Business
Cognitive Neuroscience
Physiological Psychology
Economics
Applied Psychology
Behavioral Neuroscience
Accounting
Econometrics
Experimental
Neuropsychology
Hierarchical Queue-Based Task Scheduling
Journal of Advances in Computer Networks
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
Using Statistical Model Checking for Measuring Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
