482 search results - page 57 / 97 » A bitmask-based code compression technique for embedded syst... |
CODES
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
105
click to vote
ISCAS
1993
IEEE
15 years 4 months ago
1993
IEEE
An image compression system based on transform coding and zonal sampling is presented. It is based on the wellknown Chen-Smith coder, but with an improved technique for transform ...
124
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...
103
click to vote
JCIT
2008
15 years 14 days ago
2008
A new prediction for lossless intra coding technique employs source pixel based prediction in contrast to source block based prediction is presented as an enhancement of H.264/MPE...
123
click to vote
CASES
2007
ACM
15 years 4 months ago
2007
ACM
Embedded platforms are resource-constrained systems in which performance and memory requirements of executed code are of critical importance. However, standard techniques such as ...