314 search results - page 10 / 63 » Generating Path Conditions for Timed Systems |
QUESTA
2000
13 years 7 months ago
2000
Define the traffic intensity as the ratio of the arrival rate to the service rate. This paper shows that the BMAP/PH/s/s+K retrial queue with PH-retrial times is ergodic if and onl...
CAD
2008
Springer
13 years 7 months ago
2008
Springer
: This paper deals with optimization of 5-axis trajectories in the context of high-speed machining. The objective is to generate tool paths suited to high speed follow-up during ma...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Activity recognition is a key component for creating intelligent, multi-agent systems. Intrinsically, activity recognition is a temporal classification problem. In this paper, we...
MM
2010
ACM
13 years 6 months ago
2010
ACM
Travel route planning is an important step for a tourist to prepare his/her trip. As a common scenario, a tourist usually asks the following questions when he/she is planning his/...
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...