3156 search results - page 340 / 632 » An address translation simulator |
172
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
This paper addresses the problem of jointly clustering two segmentations of closely correlated images. We focus in particular on the application of reconstructing neuronal structu...
175
click to vote
SCA
2007
15 years 9 months ago
2007
We introduce a framework for advanced behavioral animation in virtual humans, which addresses the challenging open problem of simulating social interactions between pedestrians in...
193
click to vote
CAMP
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— In this paper we address the problem of the architectural exploration from the energy/performance point of view of a VLIW processor for embedded systems. We also consid...
202
click to vote
CSFW
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
187
click to vote
DFT
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper addresses a new threat to the security of integrated circuits (ICs). The migration of IC fabrication to untrusted foundries has made ICs vulnerable to malicious alterat...