
Index Terms
Annex SPARK -- final draft: SPARK.Specific information for vulnerabilities
Recommendations
ITU-T G.722.1 annex C: the first ITU-T superwideband audio coder
In May 2005 the ITU-T approved ITU-T G.722.1 Annex C. This Annex extends the G.722.1 codec from 7 kHz audio bandwidth to 14 kHz, 1 octave better than the current ITU-T wideband algorithms. It is a low-complexity audio codec operating at 24, 32, and 48 ...
Testing Ada Annex E-distributed systems
WPDRTS '95: Proceedings of the 3rd Workshop on Parallel and Distributed Real-Time SystemsWith the addition of special needs annexes to Ada 95, the traditional reliance on Ada Compiler Validation Capability style testing may not suffice. This paper explores some alternatives for testing a portion of the Distributed Systems Annex that deals ...
Software vulnerabilities precluded by spark
SIGAda '11: Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming languageSoftware vulnerabilities are defined as a property of a system's security requirements, design, implementation, or operation that could be accidentally triggered or intentionally exploited and result in a security failure [1]. Many organizations ...






Comments