559 search results - page 77 / 112 » An Interactive Approach to Timing Accurate PCI-X Simulation |
114
click to vote
ICSEA
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
96
Voted
WSC
2000
15 years 1 months ago
2000
Discrete event simulations often require a future event list structure to manage events according to their timestamp. The choice of an efficient data structure is vital to the per...
94
Voted
MICCAI
2008
Springer
16 years 1 months ago
2008
Springer
Nonrigid registration of contrast-enhanced MR images is a difficult problem due to the change in pixel intensity caused by the washin and wash-out of the contrast agent. In this pa...
101
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, a Triangularization Based Structure preserving (TBS) model order reduction is proposed to verify power integrity of on-chip structured power grid. The power grid is...
125
click to vote
PATMOS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Reduction of chip packaging and cooling costs for deep sub-micron SystemOn-Chip (SOC) designs is an emerging issue. We present a simulation-based methodology able to real...