Incremental satisfiability counting for real-time systems

Incremental satisfiability counting for real-time systems

Proceedings - IEEE Real-Time and Embedded Technology and Applications Symposium

Saved in:

書目詳細資料
Main Authors:	Andrei, Ş., Chin, W.-N.
其他作者:	COMPUTER SCIENCE
格式:	Conference or Workshop Item
出版:	2013
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/41484
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	National University of Singapore

相似書籍

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

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

Counting for satisfiability by inverting resolution
由: Andrei, S.
出版: (2014)

Approximate satisfiability counting
由: Andrei, Ş., et al.
出版: (2013)

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

Incremental deterministic planning
由: Andrei, Ş., et al.
出版: (2013)

Incremental schedulability analysis of hierarchical real-time components
由: Easwaran, Arvind, et al.
出版: (2013)

Satisfiability modulo heap-based programs
由: LE, Quang Loc, et al.
出版: (2016)

Application of satisfiability to examination timetabling
由: TANG HAIYING
出版: (2010)

Optimization of real-time systems timing specifications
由: Andrei, Ş., et al.
出版: (2013)

Real-time method for counting unseen stacked objects in mobile
由: Phawis Thammasorn, et al.
出版: (2018)

Real-time method for counting unseen stacked objects in mobile
由: Phawis Thammasorn, et al.
出版: (2018)

On differential equations satisfied by modular forms
由: Yang, Y.
出版: (2016)

Congruences satisfied by Apéry-like numbers
由: Chan, H.H., et al.
出版: (2014)

FoodMask: Real-time food instance counting, segmentation and recognition
由: NGUYEN, Huu-Thanh, et al.
出版: (2024)

Runtime-coordinated scalable incremental checksum testing of combinational circuits
由: Andrei, Ş., et al.
出版: (2013)

Relaxed survey propagation for the weighted maximum satisfiability problem
由: Chieu, H.L., et al.
出版: (2013)

Improved algorithms for the general exact satisfiability problem
由: Hoi, G, et al.
出版: (2023)

Real-time UAV-based vehicle counting method based on deep learning
由: Dang, Zichen
出版: (2024)

Do satisfied employees deliver better service experiences that result in satisfied customers, and, what are the factors affecting employee satisfaction and customer satisfaction?
由: CHEONG, Chuen Kong Kevin
出版: (2019)

Life on board: seafarer's resistance to satisfying libidinal energy.
由: Sanares, Crisly Mei S.
出版: (2013)

Humble leaders and satisfied followers: The roles of LMX and neuroticism
由: Daniels, M. A., et al.
出版: (2013)

Considering circuit observability don't cares in CNF satisfiability
由: Fu, Z., et al.
出版: (2013)

Permutable entire functions satisfying algebraic differential equations
由: Jian Hua Zheng, et al.
出版: (2018)

Permutable entire functions satisfying algebraic differential equations
由: Zheng J.-H., et al.
出版: (2014)

Permutable entire functions satisfying algebraic differential equations
由: Jian Hua Zheng, et al.
出版: (2018)

Divisible quantum dynamics satisfies temporal Tsirelson’s bound
由: Le, Thao, et al.
出版: (2017)

On prefix codes satisfying RLL-constraint for Zipf distribution
由: Ho, Shaun
出版: (2020)

SUBGROUPS WHOSE GENERATORS SATISFY SOME COMMUTATOR CONDITIONS
由: CHENG KAI NAH
出版: (2020)

On commutative noetherian rings which satisfy the radical formula
由: Leung, K.H., et al.
出版: (2014)

MEASURES AND ALGORITHMS FOR THE EXACT SATISFIABILITY PROBLEM AND ITS VARIANTS
由: HOI CHI KIT GORDON
出版: (2021)

ENHANCING FEATURES OF TRAVY APPLICATION IN SATISFYING CUSTOMER NEEDS
由: Shohibulhaq, Zubair

High count rate pseudo-random single photon counting system for time-resolved diffuse optical imaging
由: Zhang, Q., et al.
出版: (2014)

Design and implementation of formal verification methodology using Boolean satisfiability
由: Phone, Thet Khaing.
出版: (2011)

Logic locking satisfiability evaluation based on machine learning techniques
由: Han, Yifei
出版: (2024)

On commutative Noetherian rings which satisfy the generalized radical formula
由: Man, S.H.
出版: (2014)

Measures in M(G) which satisfy certain integrability conditions
由: Quek, T.S., et al.
出版: (2014)

Single adults' notion of a satisfying life across three income levels
由: Bacani, Peter C., et al.
出版: (1999)

Design of compensators for power systems operating under load voltage fluctuation satisfying bounding conditions
由: Kittichai Tia
出版: (2012)

Effective Use of Non-Reliance Clauses: Satisfying Lowe v Lombank
由: LOW, Kee Yang
出版: (2009)