2935 search results - page 185 / 587 » An Integrated Approach to High Integrity Software Verificati... |
166
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents two novel and high performance hardware architectures, implemented in FPGA technology, for the KASUMI block cipher; this algorithm lies at the core of the conf...
162
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
158
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
ion that the system under development is looked at. We outline a mapping relating exceptions at a high level action to exceptions and other software artifacts at vels of abstractio...
154
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
Interconnect structures including dielectrics can be modeled by an integral equation method using volume currents and surface charges for the conductors, and volume polarization c...
188
click to vote
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
Collective operations and non-blocking point-to-point operations are two important parts of MPI that each provide important performance and programmability benefits. Although non...