Sciweavers

3705 search results - page 472 / 741
» Building Documentation Generators
Sort
View
COMPSAC
2003
IEEE
15 years 12 months ago
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
Robert John Walters
IPPS
2003
IEEE
15 years 12 months ago
Remote and Partial Reconfiguration of FPGAs: Tools and Trends
This work describes the implementation of digital reconfigurable systems (DRS) using commercial FPGA devices. This paper has three main goals. The first one is to present the tren...
Daniel Mesquita, Fernando Gehm Moraes, José...
ISCAS
2003
IEEE
169views Hardware» more  ISCAS 2003»
15 years 12 months ago
Efficient implementation of complex exponentially-modulated filter banks
In Exponentially-ModulatedFilter Bank (EMFB) the complex subfilters are generated from a real-valued prototype filter by multiplying the filter impulse response with complex expon...
Juuso Alhava, Ari Viholainen, Markku Renfors
149
Voted
CRYPTO
2003
Springer
101views Cryptology» more  CRYPTO 2003»
15 years 12 months ago
The Impact of Decryption Failures on the Security of NTRU Encryption
NTRUEncrypt is unusual among public-key cryptosystems in that, with standard parameters, validly generated ciphertexts can fail to decrypt. This affects the provable security prop...
Nick Howgrave-Graham, Phong Q. Nguyen, David Point...
ICCBR
2003
Springer
15 years 12 months ago
Soft Interchangeability for Case Adaptation
In [1] we propose interchangeability based algorithms as methods for solving the case adaptation for the domain of problems which can be expressed as Constraint Satisfaction Proble...
Nicoleta Neagu, Boi Faltings