4074 search results - page 651 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
159
click to vote
EUROPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
178
click to vote
CAV
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
180
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper addresses the problem of efficient and accurate performance analysis to drive the exploration and design of bus-based System-on-Chip (SOC) communication architectures. ...
189
click to vote
JUCS
2000
15 years 6 months ago
2000
: This paper presents an evaluation of our Scheduled Dataflow (SDF) Processor. Recent focus in the field of new processor architectures is mainly on VLIW (e.g. IA-64), superscalar ...
171
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Tracking multiple objects is important in many application domains. We propose a novel algorithm for multi-object tracking that is capable of working under very challenging conditi...