Analyzing hierarchical complex real-time systems

Analyzing hierarchical complex real-time systems

10.1145/1882291.1882350

Saved in:

書目詳細資料
Main Authors:	Liu, Y., Sun, J., Dong, J.S.
其他作者:	COMPUTER SCIENCE
格式:	Conference or Workshop Item
出版:	2013
主題:	real-time system zone abstraction
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/40019
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Parameter synthesis for hierarchical concurrent real-time systems
由: ANDRÉ, Étienne, et al.
出版: (2012)

Parameter synthesis for hierarchical concurrent real-time systems
由: ANDRÉ, Étienne, et al.
出版: (2014)

An efficient real-time concurrency control protocol for guaranteeing temporal consistency
由: Xiao, Y.Y., et al.
出版: (2013)

Parameter synthesis for hierarchical concurrent real-time systems
由: Andre, E., et al.
出版: (2014)

Multiagent system for real-time operation of a microgrid in real-time digital simulator
由: Logenthiran, T., et al.
出版: (2014)

A verification system for timed interval calculus
由: Chen, C., et al.
出版: (2013)

On totally real origami and impossible paper paper folding
由: Bueno, Justin, et al.
出版: (1997)

Top-down approaches to abstract medical time series using linear segments
由: Sarkar, M., et al.
出版: (2013)

A generalized framework for hierarchical real-time scheduling
由: SHANMUGA PRIYA MARIMUTHU
出版: (2010)

Agent-based intelligent control for real-time operation of a microgrid
由: Aung, H.N., et al.
出版: (2014)

Model checking concurrent and real-time systems : the PAT approach
由: LIU YANG
出版: (2010)

Toward practical measures of complexity in real-time modeling methods
由: ERICKSON, J., et al.
出版: (2005)

Automatically `Verifying’ discrete-time complex systems through learning, abstraction and refinement
由: WANG, Jingyi, et al.
出版: (2018)

Dynamic scheduling techniques for adaptive applications on real-time embedded systems
由: YU HENG
出版: (2012)

Interactive design space exploration of real-time embedded systems
由: UNMESH DUTTA BORDOLOI
出版: (2010)

Leaking your engine speed by spectrum analysis of real-time scheduling sequences
由: Liu, Songran, et al.
出版: (2020)

Composition of Schedulability Analyses for Real-Time Multiprocessor Systems
由: Lee, Jinkyu, et al.
出版: (2018)

REAL-TIME HIERARCHICAL CLASSIFICATION OF MOTION INTENT FOR WEARABLE ROBOTICS
由: ASHWIN NARAYAN
出版: (2022)

A model checker for hierarchical probabilistic real-time systems
由: Song, S., et al.
出版: (2013)

A verification system for interval-based specification languages
由: Chen, C., et al.
出版: (2013)

A model checker for hierarchical probabilistic real-time systems
由: SONG, Songzheng, et al.
出版: (2012)

Satisfying real-time constraints with custom instructions
由: Yu, P., et al.
出版: (2013)

In-situ real-time temperature control of baking systems in lithography
由: Wang, Y., et al.
出版: (2014)

Time-critical dynamic decision modeling in medicine
由: Xiang, Y., et al.
出版: (2014)

Controller synthesis for reactive systems in distributed, real-time and hybrid settings
由: YANG SHAOFA
出版: (2010)

Instruction and data cache modeling for timing analysis in real-time systems
由: LI YANHUI
出版: (2010)

Adaptive tracking controller design of nonlinear systems with time delays and unknown dead-zone input
由: Hua, C.-C., et al.
出版: (2014)

REAL-TIME TWEET SENTIMENT ANALYSIS BASED ON DEEP LEARNING
由: FENG PIAOPIAO
出版: (2019)

Automatic debugging of real-time systems based on incremental satisfiability counting
由: Andrei, Ş., et al.
出版: (2013)

TI: An efficient indexing mechanism for real-time search on tweets
由: Chen, C., et al.
出版: (2013)

Modeling and verifying hierarchical real-time systems using stateful timed CSP
由: Sun, J., et al.
出版: (2013)

A robust real-time embedded vision system on an unmanned rotorcraft for ground target following
由: Lin, F., et al.
出版: (2014)

PRTS: An approach for model checking probabilistic real-time hierarchical systems
由: Sun, J., et al.
出版: (2013)

modes of real-time content transformation for web intermediaries in active network
由: Li, X., et al.
出版: (2013)

Improved Symbolic Model Checking of Real-Time Systems
由: NGUYEN TRUONG KHANH
出版: (2014)

A verification system for timed interval calculus
由: CHEN, Chunqing, et al.
出版: (2008)

Integrated instruction cache analysis and locking in multitasking real-time systems
由: Ding, H., et al.
出版: (2014)

Use of a real-time locating system for contact tracing of health care workers during the COVID-19 pandemic at an infectious disease center in Singapore : validation study
由: Ho, Hanley J., et al.
出版: (2021)

Real time stereo vision using exponential step cost aggregation on GPU
由: Yu W., et al.
出版: (2018)

PSyHCoS: Parameter synthesis for hierarchical concurrent real-time systems
由: André, É., et al.
出版: (2014)