Sciweavers

1045 search results - page 75 / 209
» Improving SHA-2 Hardware Implementations
Sort
View
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
14 years 1 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
ICPR
2002
IEEE
14 years 11 months ago
A New Shape Transformation Approach to Handwritten Character Recognition
A new simple algorithm, based on dynamic programming is presented, for handwritten character recognition, with improved accuracy. The proposed Shape Transform (ST) approach is bas...
Nikos Liolios, Ergina Kavallieratou, Nikos Fakotak...
FPL
2007
Springer
78views Hardware» more  FPL 2007»
14 years 4 months ago
Dynamic Cache Switching in Reconfigurable Embedded Systems
The idea of changing cache attributes to suit an application has been explored for single programs. As the popularity of reconfigurable softcore systems grows and these systems in...
John Shield, Peter Sutton, Philip Machanick
DATE
2002
IEEE
118views Hardware» more  DATE 2002»
14 years 2 months ago
A Complete Data Scheduler for Multi-Context Reconfigurable Architectures
: A new technique is presented in this paper to improve the efficiency of data scheduling for multi-context reconfigurable architectures targeting multimedia and DSP applications. ...
Marcos Sanchez-Elez, Milagros Fernández, Ra...
SBACPAD
2004
IEEE
112views Hardware» more  SBACPAD 2004»
13 years 11 months ago
Performance Characterisation of Intra-Cluster Collective Communications
Although recent works try to improve collective communication in grid systems by separating intra and intercluster communication, the optimisation of communications focus only on ...
Luiz Angelo Barchet-Estefanel, Grégory Moun...