Sciweavers

2018 search results - page 108 / 404
» Code Normal Forms
Sort
View
ICIP
2008
IEEE
16 years 4 months ago
Parallel CABAC for low power video coding
With the growing presence of high definition video content on battery-operated handheld devices such as camera phones, digital still cameras, digital camcorders, and personal medi...
Vivienne Sze, Anantha P. Chandrakasan, Madhukar Bu...
ACSC
2006
IEEE
15 years 8 months ago
Manufacturing opaque predicates in distributed systems for code obfuscation
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
Anirban Majumdar, Clark D. Thomborson
ASE
2008
102views more  ASE 2008»
15 years 2 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
TCSV
2008
192views more  TCSV 2008»
15 years 2 months ago
3-D Shape-Adaptive Directional Wavelet Transform for Object-Based Scalable Video Coding
This paper presents a 3-D shape-adaptive directional wavelet coding technique for object-based scalable video coding. This technique includes 3-D object-based directional threading...
Yu Liu, King Ngi Ngan, Feng Wu
CN
2000
88views more  CN 2000»
15 years 2 months ago
JavaML: a markup language for Java source code
The classical plain-text representation of source code is convenient for programmers but requires parsing to uncover the deep structure of the program. While sophisticated softwar...
Greg J. Badros