Using state space reduction methods for deadlock analysis in Ada tasking

ACM SIGSOFT Software Engineering Notes ◽

10.1145/174146.154197 ◽

1993 ◽

Vol 18 (3) ◽

pp. 51-60 ◽

Author(s):

S. Duri ◽

U. Buy ◽

R. Devarapalli ◽

S. M. Shatz

Keyword(s):

State Space ◽

Space Reduction ◽

Deadlock Analysis ◽

Reduction Methods ◽

State Space Reduction

Download Full-text

Using state space reduction methods for deadlock analysis in Ada tasking

Proceedings of the 1993 international symposium on Software testing and analysis - ISSTA '93 ◽

10.1145/154183.154197 ◽

1993 ◽

Author(s):

S. Duri ◽

U. Buy ◽

R. Devarapalli ◽

S. M. Shatz

Keyword(s):

State Space ◽

Space Reduction ◽

Deadlock Analysis ◽

Reduction Methods ◽

State Space Reduction

Download Full-text

Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada

ACM Transactions on Software Engineering and Methodology ◽

10.1145/201024.201038 ◽

1994 ◽

Vol 3 (4) ◽

pp. 340-380 ◽

Author(s):

S. Duri ◽

U. Buy ◽

R. Devarapalli ◽

S. M. Shatz

Keyword(s):

State Space ◽

Experimental Evaluation ◽

Space Reduction ◽

Deadlock Analysis ◽

Reduction Methods ◽

State Space Reduction

Download Full-text

State space reduction by non-standard semantics for deadlock analysis

Science of Computer Programming ◽

10.1016/s0167-6423(97)00017-8 ◽

1998 ◽

Vol 30 (3) ◽

pp. 309-338 ◽

Author(s):

Nicoletta De Francesco ◽

Antonella Santone ◽

Gigliola Vaglini

Keyword(s):

State Space ◽

Space Reduction ◽

Deadlock Analysis ◽

State Space Reduction

Download Full-text

An approach to state space reduction for systems with dynamic process creation

2009 24th International Symposium on Computer and Information Sciences ◽

10.1109/iscis.2009.5291864 ◽

2009 ◽

Author(s):

Hanna Klaudel ◽

Maciej Koutny ◽

Elisabeth Pelz ◽

Franck Pommereau

Keyword(s):

State Space ◽

Dynamic Process ◽

Space Reduction ◽

Process Creation ◽

State Space Reduction

Download Full-text

State space reduction in abstract interpretation of parallel programs

Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94) ◽

10.1109/iccl.1994.288373 ◽

2002 ◽

Author(s):

Jyh-Herng Chow ◽

W.L. Harrison

Keyword(s):

State Space ◽

Abstract Interpretation ◽

Parallel Programs ◽

Space Reduction ◽

State Space Reduction

Download Full-text

On input state space reduction and buffer noneffective region

Proceedings of INFOCOM '94 Conference on Computer Communications ◽

10.1109/infcom.1994.337588 ◽

2002 ◽

Author(s):

Chia-Lin Hwang ◽

San-Qi Li

Keyword(s):

State Space ◽

Input State ◽

Space Reduction ◽

State Space Reduction

Download Full-text

Iterative state-space reduction for flexible computation

Artificial Intelligence ◽

10.1016/s0004-3702(00)00066-7 ◽

2001 ◽

Vol 126 (1-2) ◽

pp. 109-138 ◽

Author(s):

Weixiong Zhang

Keyword(s):

State Space ◽

Space Reduction ◽

State Space Reduction

Download Full-text

Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata

SIAM Journal on Computing ◽

10.1137/s0097539703420675 ◽

2005 ◽

Vol 34 (5) ◽

pp. 1159-1175 ◽

Author(s):

Kousha Etessami ◽

Thomas Wilke ◽

Rebecca A. Schuller

Keyword(s):

State Space ◽

Space Reduction ◽

Büchi Automata ◽

Parity Games ◽

Simulation Relations ◽

Buchi Automata ◽

State Space Reduction

Download Full-text

A state-space reduction method for computing the cell loss probability in ATM networks

Proceedings of ICC/SUPERCOMM'94 - 1994 International Conference on Communications ◽

10.1109/icc.1994.368824 ◽

2002 ◽

Author(s):

Jun Yei ◽

T. Yang

Keyword(s):

State Space ◽

Reduction Method ◽

Cell Loss ◽

Loss Probability ◽

Atm Networks ◽

Space Reduction ◽

State Space Reduction

Download Full-text

State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction

The Journal of Supercomputing ◽

10.1007/s11227-012-0755-0 ◽

2012 ◽

Vol 62 (2) ◽

pp. 828-854 ◽

Author(s):

Yang Guo ◽

Wanxia Qu ◽

Long Zhang ◽

Weixia Xu

Keyword(s):

State Space ◽

Cache Coherence ◽

Two Dimensional ◽

Space Reduction ◽

Cache Coherence Protocol ◽

State Space Reduction

Download Full-text