Incremental deterministic planning
10.1109/SYNASC.2006.47
Saved in:
Main Authors: | Andrei, Ş., Chin, W.-N., Rinard, M. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/40160 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Deterministic construction of sparse binary matrices via incremental integer optimization
by: Zhang, Jun, et al.
Published: (2020) -
Incremental satisfiability counting for real-time systems
by: Andrei, Ş., et al.
Published: (2013) -
Runtime-coordinated scalable incremental checksum testing of combinational circuits
by: Andrei, Ş., et al.
Published: (2013) -
Systematic debugging of real-time systems based on incremental satisfiability counting
by: Andrei, Ş., et al.
Published: (2013) -
Automatic debugging of real-time systems based on incremental satisfiability counting
by: Andrei, Ş., et al.
Published: (2013)