981 search results - page 124 / 197 » Advanced Encryption Standard |
ATVA
2009
Springer
14 years 3 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
ISCAS
2008
IEEE
14 years 3 months ago
2008
IEEE
—The Multiview Video Coding (MVC) standard is currently under development by the Joint Video Team as an extension of the Advanced Video Coding (H.264/AVC) standard. An MVC encode...
MMSP
2008
IEEE
14 years 3 months ago
2008
IEEE
—In recent years advanced video codecs have been developed, such as standardized in MPEG-4. The latest video codec H.264/AVC provides compression performance superior to previous...
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
The increasing complexity of embedded systems pushes system designers to higher levels of abstraction. Transaction Level Modeling (TLM) has been proposed to model ation in systems...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
The emerging H.264 advanced video coding (H.264/AVC) standard achieves significant improvement in coding efficiency compared with previous standards such as MPEG-2 and H.263. On...