Sciweavers

7429 search results - page 675 / 1486
» Embedded System Update
Sort
View
192
Voted
IH
1999
Springer
15 years 11 months ago
An Asymmetric Public Detection Watermarking Technique
The new watermarking technique1 presented in this paper is an example of an asymmetric public detection scheme. The detection process does not need the original picture nor the sec...
Teddy Furon, Pierre Duhamel
FMCAD
2007
Springer
15 years 11 months ago
A Mechanized Refinement Framework for Analysis of Custom Memories
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
Sandip Ray, Jayanta Bhadra
223
Voted
DATE
2004
IEEE
144views Hardware» more  DATE 2004»
15 years 11 months ago
Cache-Aware Scratchpad Allocation Algorithm
In the context of portable embedded systems, reducing energy is one of the prime objectives. Most high-end embedded microprocessors include onchip instruction and data caches, alo...
Manish Verma, Lars Wehmeyer, Peter Marwedel
180
Voted
EUC
2006
Springer
15 years 11 months ago
Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools
Software programmers want to manage pure software, not hardware-software entanglements. Unfortunately, traditional development methodologies cannot clearly separate hardware and so...
Jeong-Han Yun, Gunwoo Kim, Choonho Son, Taisook Ha...
MA
2000
Springer
125views Communications» more  MA 2000»
15 years 11 months ago
MobiDoc: A Framework for Building Mobile Compound Documents from Hierarchical Mobile Agents
MobiDoc is a framework for building mobile compound documents, where the compound document can be dynamically composed of mobile agents and can migrate itself over a network as a w...
Ichiro Satoh