932 search results - page 97 / 187 » Verifying Progress in Timed Systems |
136
Voted
WSC
2004
15 years 5 months ago
2004
This paper discusses an extended adaptive supply network simulation model that explicitly captures growth (in terms of change in size over time, and birth and death) based on Utte...
150
click to vote
JSSPP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. As multi-core processors proliferate, it has become more important than ever to ensure efficient execution of parallel jobs on multiprocessor systems. In this paper, we s...
129
click to vote
USENIX
2001
15 years 5 months ago
2001
UNIX-derived operating systems have traditionally have a simplistic approach to process synchronization which is unsuited to multiprocessor application. Initial FreeBSD SMP suppor...
161
click to vote
ISM
2008
IEEE
15 years 4 months ago
2008
IEEE
We describe whiteboard content capture system from Presentations Automatically Organized from Lectures (PAOL) that captures content within the setting of a classroom environment. ...
127
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper we present an observability analysis for a mobile robot performing SLAM with a single monocular camera. The aim is to get a better understanding of the well known...