5015 search results - page 796 / 1003 » Model Checking a Path |
104
click to vote
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
- Collision detection is a critical module in many applications such as computer graphics, robot motion planning, physical simulation, CAD/CAM, and molecular modeling. Many efficie...
108
Voted
IEEECIT
2006
IEEE
15 years 8 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 ...
104
Voted
AAECC
2006
Springer
15 years 8 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...
85
Voted
ISSTA
2006
ACM
15 years 8 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...
119
click to vote
ISSTA
2006
ACM
15 years 8 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...