8492 search results - page 638 / 1699 » Modelling and Design of Multi-Agent Systems |
162
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
249
click to vote
PAMI
2012
13 years 9 months ago
2012
A novel system for long-term tracking of a human face in unconstrained videos is built on Tracking-Learning-Detection (TLD) approach. The system extends TLD with the concept of a ...
160
click to vote
ISSS
2002
IEEE
16 years 9 days ago
2002
IEEE
This paper proposes an original model of the execution time of assembly instructions in superscalar architectures. The approach is based on a rigorous mathematical model and provi...
152
click to vote
WSC
2000
15 years 8 months ago
2000
This paper describes a recently completed project involving the development of simulation models for the new international terminal at Istanbul Ataturk Airport, Istanbul, Turkey. ...
195
Voted
ICS
2005
Tsinghua U.
16 years 27 days ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...