10159 search results - page 1843 / 2032 » System Design Validation Using Formal Models |
104
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we incorporate autonomous agents' capability to perform parallel interactions into the cooperative search model, resulting in a new method which outperforms the...
162
Voted
VLSID
2001
IEEE
16 years 2 months ago
2001
IEEE
The emergence of several communication architectures for System-on-Chips provides designers with a variety of design alternatives. In addition, the need to customize the system ar...
115
click to vote
ICIP
2005
IEEE
16 years 3 months ago
2005
IEEE
Visual tracking is one of the key tasks in computer vision. The particle filter algorithm has been extensively used to tackle this problem due to its flexibility. However the conv...
132
Voted
MOBIHOC
2009
ACM
16 years 2 months ago
2009
ACM
Node mobility and end-to-end disconnections in Delay Tolerant Networks (DTNs) greatly impair the effectiveness of data dissemination. Although social-based approaches can be used ...
190
Voted
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
We present a novel design and implementation of relational join algorithms for new-generation graphics processing units (GPUs). The most recent GPU features include support for wr...