State space reduction for sensor networks using two-level partial order reduction

State space reduction for sensor networks using two-level partial order reduction

10.1007/978-3-642-35873-9_30

Saved in:

書目詳細資料
Main Authors:	Zheng, M., Sanań, D., Sun, J., Liu, Y., Dong, J.S., Gu, Y.
其他作者:	COMPUTER SCIENCE
格式:	Conference or Workshop Item
出版:	2014
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/78358
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

State space reduction for sensor networks using two-level partial order reduction
由: ZHENG, Manchun, et al.
出版: (2013)

Verification of orchestration systems using compositional partial order reduction
由: Tan, T.H., et al.
出版: (2013)

On combining state space reductions with global fairness assumptions
由: Zhang, S.J., et al.
出版: (2013)

Verification of orchestration systems using compositional partial order reduction
由: TAN, Tian Huat, et al.
出版: (2011)

On combining state space reductions with global fairness assumptions
由: ZHANG, Shao Jie, et al.
出版: (2011)

Diamonds are a girl's best friend: Partial order reduction for timed automata with abstractions
由: HANSEN, Henri, et al.
出版: (2014)

Demo: Towards bug-free implementation for wireless sensor networks
由: Zheng, M., et al.
出版: (2013)

Enhancing State Space Reduction Methods for Model Checking
由: ZHANG SHAOJIE
出版: (2013)

A state space approach to noise reduction of fluorescent microscopy images
由: Lai, Xuming
出版: (2008)

Model order reduction techniques in microelectromechanics
由: LIN WUZHONG
出版: (2010)

Partial Covers, Reducts and Decision Rules in Rough Sets
由: Janusz Kacprzyk
出版: (2017)

Reductions in child mortality levels and inequalities in Thailand: analysis of two censuses
由: Patama Vapattanawong, et al.
出版: (2018)

Model order reduction for stochastic optimal control
由: Nguyen, N.-H., et al.
出版: (2014)

Towards a model checker for NesC and wireless sensor networks
由: Zheng, M., et al.
出版: (2013)

Model Order Reduction: Theory, Research Aspects and Applications
由: Hans-Georg Bock, Frank Hoog, Avner Friedman, Arvind Gupta, Helmut Neunzert, William R. Pulleyblank, Torgeir Rusten
出版: (2017)

LEAN BUSINESS PROCESS FOR WASTE REDUCTION AT ORDER FULFILLMENT
由: Kusnaman (NIM 19014148), Tobias

Two-dimensional palladium diselenide for the oxygen reduction reaction
由: Koh, See Wee, et al.
出版: (2021)

Search space reduction for constraint optimization problems
由: Cheng, K.C.K., et al.
出版: (2013)

Search space reduction and russian doll search
由: Cheng, K.C.K., et al.
出版: (2013)

Complete mattress encasing is not superior to partial encasing in the reduction of mite allergen
由: Pakit Vichyanond, et al.
出版: (2018)

A new hybrid meshless-differential order reduction (hM-DOR) method with applications to shape control of smart structures via distributed sensors/actuators
由: Ng, T.Y., et al.
出版: (2014)

Fixed point theorems for monotone multi-valued mappings in partially ordered metric spaces
由: Tiammee J., et al.
出版: (2014)

Novel modulation strategy based on generalized two-level PWM theory for nine-switch inverter with reduction of switching commutation
由: Jarutus N., et al.
出版: (2017)

Search space reduction technique for molecular docking calculation
由: Thotsaphon Bowornthanitkun
出版: (2013)

EXPONENTIAL TIME/SPACE ALGORITHMS AND REDUCTIONS FOR LATTICE PROBLEMS
由: RAJENDRA KUMAR
出版: (2023)

Noise reduction and source recognition of partial discharge signals in gas-insulated substation
由: JIN JUN
出版: (2010)

Partial orders on partial Baer-Levi semigroups
由: Singha B., et al.
出版: (2017)

Coupled coincidence point results in partially ordered JS-metric spaces
由: Narawadee Phudolsitthiphat, et al.
出版: (2018)

Consumer Risk Reduction Methods: A Study of Two Products
由: TAN, Chin Tiong, et al.
出版: (1982)

Kron reduction based on node ordering optimization for distribution network dispatching with flexible loads
由: Song, Huihui, et al.
出版: (2022)

Wideband passive multiport model order reduction and realization of RLCM circuits
由: Tan, Sheldon X. D., et al.
出版: (2010)

Optimal model reduction and reduced order filtering for discrete-time systems
由: Li, Luowen
出版: (2008)

Partial orders on semigroups of partial transformations with restricted range
由: Sangkhanan K., et al.
出版: (2014)

Space efficient meta-grid lines for mutual coupling reduction in two-port planar monopole and DRA array
由: Mishra, Mohit, et al.
出版: (2023)

Orders of magnitude reduction in dislocation density in GaN grown on Si (111) by nano lateral epitaxial overgrowth
由: Zang, K.Y., et al.
出版: (2014)

Reduction of Power Losses Based on Generalized Two-level PWM Algorithm for a Nine-switch VSI
由: Neerakorn Jarutus, et al.
出版: (2018)

Partially oxidized titanium carbonitride as a non-noble catalyst for oxygen reduction reactions
由: Dam, Duc Tai, et al.
出版: (2013)

Reduction of power consumption in ultrasonic linear motor for linear translation by partially laminated actuators
由: Panumas Suybangdum
出版: (2014)

Practical connectivity-based routing in wireless sensor networks using dimension reduction
由: Tao, S., et al.
出版: (2013)

Dimensionality reduction by kernel CCA in reproducing kernel hilbert spaces
由: ZHU XIAOFENG
出版: (2010)