Model-driven timing analysis of embedded software

Model-driven timing analysis of embedded software

Ph.D

Saved in:

書目詳細資料
主要作者:	JU LEI
其他作者:	COMPUTER SCIENCE
格式:	Theses and Dissertations
語言:	English
出版:	2010
主題:	Embedded system design, Model based design, Timing analysis, WCET analysis, Schedulability analysis, Synchronous language
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/18424
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	National University of Singapore
語言:	English

相似書籍

Chronos: A timing analyzer for embedded software
由: Li, X., et al.
出版: (2013)

TIME-PREDICTABLE EXECUTION OF EMBEDDED SOFTWARE ON MULTI-CORE PLATFORMS
由: SUDIPTA CHATTOPADHYAY
出版: (2013)

Performance debugging of Esterel specifications
由: Ju, L., et al.
出版: (2013)

Context-sensitive timing analysis of Esterel programs
由: Ju, L., et al.
出版: (2013)

Two concrete problems in timing analysis of embedded software
由: HEMENDRA SINGH NEGI
出版: (2011)

Memory Optimizations for Time-Predictable Embedded Software
由: VIVY SUHENDRA
出版: (2010)

Integrated timing analysis of application and operating systems code
由: Chong, L.K., et al.
出版: (2014)

Performance debugging of Esterel specifications
由: Ju, L., et al.
出版: (2013)

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

Instruction Cache Optimizations in Embedded Real-Time Systems
由: DING HUPING
出版: (2014)

Efficient detection and exploitation of infeasible paths for software timing analysis
由: Suhendra, V., et al.
出版: (2013)

Timing analysis of Esterel programs on general-purpose multiprocessors
由: Ju, L., et al.
出版: (2013)

Unified cache modeling for WCET analysis and layout optimizations
由: Chattopadhyay, S., et al.
出版: (2013)

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

Scalable and precise refinement of cache timing analysis via path-sensitive verification
由: Chattopadhyay, S., et al.
出版: (2014)

A hybrid strategy for mapping multiple throughput-constrained applications on MPSoCs
由: Singh, A.K., et al.
出版: (2014)

Symbolic simulation on complicated loops for WCET path analysis
由: Chu, D.-H., et al.
出版: (2013)

Bus-aware multicore WCET analysis through TDMA offset bounds
由: Kelter, T., et al.
出版: (2013)

System-level modeling and analysis of multimedia-soc platforms
由: LIU YANHONG
出版: (2010)

Core-Java: An expression-oriented Java
由: Craciun, F., et al.
出版: (2013)

Scope-aware data cache analysis for WCET estimation
由: HUYNH BACH KHOA
出版: (2011)

MC-Fluid: Multi-core Fluid-based Mixed-Criticality Scheduling
由: Lee, Jaewoo, et al.
出版: (2017)

A Design Framework for Reactive and Time-triggered Embedded Systems via the UML-SystemC bridge
由: KATHY NGUYEN DANG
出版: (2010)

Scratchpad allocation for concurrent embedded software
由: Suhendra, V., et al.
出版: (2013)

Timing analysis of concurrent programs running on shared cache multi-cores
由: Liang, Y., et al.
出版: (2013)

Design of fast and efficient energy-aware gradient-based scheduling algorithms heterogeneous embedded multiprocessor systems
由: Goh, L.K., et al.
出版: (2014)

A generic data-driven software reliability model with model mining technique
由: Yang, B., et al.
出版: (2014)

Model compression for design synchronization within distributed environments
由: Bok, S.H., et al.
出版: (2014)

Interactive schedulability analysis
由: Bordoloi, U.D., et al.
出版: (2013)

Applied control theory for embedded systems [electronic resource] / by Tim Wescott.
由: Wescott, Tim
出版: (2018)

Analysis, design and management of multimedia multi- processor systems
由: AKASH KUMAR
出版: (2010)

A unified WCET analysis framework for multi-core platforms
由: Chattopadhyay, S., et al.
出版: (2013)

Incorporating Analytics into a Business Process Modelling Course
由: GOTTIPATI Swapna,, et al.
出版: (2015)

Quality-driven dynamic scheduling for real-time adaptive applications on multiprocessor systems
由: Yu, H., et al.
出版: (2014)

Project-based learning in embedded systems education using an FPGA platform
由: Kumar, A., et al.
出版: (2014)

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

PRECISE YET SCALABLE RESOURCE ANALYSIS VIA SYMBOLIC EXECUTION
由: RASOOL MAGHAREH
出版: (2017)

Modeling out-of-order processors for WCET analysis
由: Li, X., et al.
出版: (2013)

Fault-tolerant vibration control in a networked and embedded rocket fairing system
由: Wang, L., et al.
出版: (2014)

Modeling control speculation for timing analysis
由: Li, X., et al.
出版: (2013)