2896 search results - page 506 / 580 » Curricula Modeling and Checking |
142
click to vote
IEEECIT
2006
IEEE
15 years 11 months ago
2006
IEEE
Currently Configuration Management (CM) tool and Process Management (PM) tool are both largely applied in software organizations. However, neither of them can effectively support ...
139
click to vote
AAECC
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper compares two approaches to reliable communication over fading channels using low-density parity check (LDPC) codes. The particular model considered is the bloc...
142
click to vote
ASPDAC
2006
ACM
15 years 11 months ago
2006
ACM
— Process variations in digital circuits make sequential circuit timing validation an extremely challenging task. In this paper, a Statistical Bellman-Ford (SBF) algorithm is pro...
124
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
155
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...