1809 search results - page 304 / 362 » Software Model Checking Using Linear Constraints |
165
Voted
IJRR
2007
15 years 4 months ago
2007
An algorithm is presented for wheeled mobile robot trajectory generation that achieves a high degree of generality and efficiency. The generality derives from numerical lineariza...
154
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
119
click to vote
AADEBUG
1997
Springer
15 years 8 months ago
1997
Springer
This paper introduces the bisection debugging model. The key idea is to use a debugger to identify the semantic differences between two versions of the same program. The debugger ...
139
Voted
EWSA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
152
Voted
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...