Sciweavers

3281 search results - page 241 / 657
» An Approach to use Executable Models for Testing
Sort
View
148
Voted
ASPDAC
2005
ACM
106views Hardware» more  ASPDAC 2005»
15 years 5 months ago
Using loop invariants to fight soft errors in data caches
Ever scaling process technology makes embedded systems more vulnerable to soft errors than in the past. One of the generic methods used to fight soft errors is based on duplicati...
Sri Hari Krishna Narayanan, Seung Woo Son, Mahmut ...
IPPS
1998
IEEE
15 years 8 months ago
A Comparative Study of Five Parallel Genetic Algorithms Using the Traveling Salesman Problem
Parallel genetic algorithms (PGAs) have been developed to reduce the large execution times that are associated with serial genetic algorithms (SGAs). They have also been used to s...
Lee Wang, Anthony A. Maciejewski, Howard Jay Siege...
129
Voted
EUROCRYPT
2007
Springer
15 years 10 months ago
Universally Composable Multi-party Computation Using Tamper-Proof Hardware
Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” m...
Jonathan Katz
ICPR
2006
IEEE
16 years 4 months ago
Initialization Techniques for Segmentation with the Chan-Vese Model
This paper introduces an effective initialization approach for segmentation using the Chan-Vese model. The initial curve is found by searching among the extremals of the fidelity ...
Jan Erik Solem, Niels Chr. Overgaard, Anders Heyde...
130
Voted
IPPS
2005
IEEE
15 years 9 months ago
MaTCH : Mapping Data-Parallel Tasks on a Heterogeneous Computing Platform Using the Cross-Entropy Heuristic
We propose in this paper a heuristic for mapping a set of interacting tasks of a parallel application onto a heterogeneous computing platform such as a computational grid. Our nov...
Soumya Sanyal, Sajal K. Das