410 search results - page 38 / 82 » Interval Arithmetic and Standardization |
ISCAS
2003
IEEE
14 years 28 days ago
2003
IEEE
Polyphase IIR structures are known to be very attractive for very high performance filters that can be designed using very few coefficients. This combined with their reduced sensi...
AES
2000
Springer
14 years 10 hour ago
2000
Springer
The National Institute of Standards and Technology (NIST) has announced that one of the design criteria for the Advanced Encryption Standard (AES) algorithm was the ability to eļ¬...
ICLP
2010
Springer
2010
Springer
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
13 years 5 months ago
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to ...
DAC
1998
ACM
14 years 8 months ago
1998
ACM
The video signal processor AxPe1280V has been developed for implementation of different video coding applications according to standards like ITU-T H.261/H.263, and ISO MPEG-1/2. ...
WIA
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we propose a new data structure, called shared automata, for representing deterministic ļ¬nite automata (DFA). Shared automata admit a strong canonical form for DFA ...