1992 search results - page 148 / 399 » Memory modeling for system synthesis |
205
click to vote
ICANN
2011
Springer
14 years 9 months ago
2011
Springer
This article presents a novel approach for a real-time person tracking system based on particle filters that use different visual streams. Due to the difficulty of detecting a pe...
147
click to vote
CONCUR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
137
click to vote
ICDCS
2006
IEEE
16 years 1 days ago
2006
IEEE
Despite the large amount of Byzantine fault-tolerant algorithms for message-passing systems designed through the years, only recently algorithms for the coordination of processes ...
159
click to vote
ICRA
1993
IEEE
15 years 10 months ago
1993
IEEE
An issue central to the navigation problem is memory. Traditional systems build symbolic maps of the world for navigational reference. Reactive methods, in contrast, eliminate or m...
180
click to vote
ASWSD
2004
Springer
15 years 11 months ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...