Searching for "Linear Duration Invariants." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

19 documents found, showing 1 through 10. Next 10 →

Checking Linear Duration Invariants by Linear Programming
by Li Xuandong, Li Xu, Dang Van Hung — 1996
… Duration Invariants by Linear Programming Li Xuandong and Dang Van Hung May 1996 UNU/IIST UNU…
Cited by 12 (9 self) – Add To MetaCart

Checking Hybrid Automata for Linear Duration Invariants
by Li Xuandong, Li Xu, Dang Van Hung, Zheng Tao — 1997
… Hybrid Automata for Linear Duration Invariants Li Xuandong, Dang Van Hung, Zheng Tao June 1997 UNU…
Cited by 10 (7 self) – Add To MetaCart

On Checking Timed Automata for Linear Duration Invariants
by Victor A. Braberman, Dang Van Hung — 1998
… Timed Automata for Linear Duration Invariants Victor A. Braberman and Dang Van Hung 22 April 1998 UNU…
Cited by 9 (7 self) – Add To MetaCart

A Technique for Improvement of Model-checking Linear Duration Invariants
by Dangaasuren Garmaa, Dang Van Hung — 2000
… for Improvement of Modelchecking Linear Duration Invariants Dangaasuren Garmaa and Dang Van Hung March 2000 UNU…
Cited by 1 (0 self) – Add To MetaCart

On Checking Parallel Real-Time Systems for Linear Duration Invariants
by Dang Van, Pham Hong Thai — 1998 — Proceedings of the Inter. Symposium on Software Engineering for Parallel and Distributed Systems
…On Checking Parallel Real-Time Systems for Linear Duration Invariants Dang Van Hung and Pham…
Add To MetaCart

Software Technology Verification of Linear Duration Invariants by Model Checking CTL Properties
by Miaomiao Zhang, Dang Van Hung, Zhiming Liu — 2008
… Institute for Software Technology P.O. Box 3058 Macao Verification of Linear Duration Invariants by Model…
Add To MetaCart

Model Checking Durational Probabilistic Systems against Probabilistic Linear Duration Invariants
by Choe Changil, Dang Van Hung — 2006
… Systems against Probabilistic Linear Duration Invariants Choe Changil and Dang Van Hung June 2006 UNU…
Cited by 2 (1 self) – Add To MetaCart

On Checking Parallel Real-time Systems for Linear Duration Invariants
by Zhao Jianhua, Dang Van Hung — 1998 — Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE’98), 20
…On Checking Parallel Real-Time Systems for Linear Duration Properties Zhao Jianhua ⋆ and Dang Van…
Cited by 1 (0 self) – Add To MetaCart

Hung and Pham Hong Thai. On Checking Parallel Real-Time Systems for Linear Duration Invariants
by David J. Finton — 2002 — Proceedings of the International Symposium of Software Engineering for Parallel and Distributed Systems (PDSE'98
…How can an intelligent agent learn an effective representation of its world? This dis-sertation applies the psychological principle of cognitive economy to the problem of representation in reinforcement learning. Psychologists have shown that humans cope with difficult tasks by simplifying the task …
Cited by 1 (0 self) – Add To MetaCart

Verifying Linear Duration . . .
by Thai, Pham Hong Thai, Dang Van Hung — 2004 — Presented at and published in the proceedings of ICTAC’04, Gui Yang
… duration invariants - a simple class of Chop-free Duration Calculus (DC) formulas. We prove that linear…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB