8132 search results - page 1265 / 1627 » Dependability, Abstraction, and Programming |
173
click to vote
SAFECOMP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
145
click to vote
SAMOS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract— This paper explores the resistance of MOS Current Mode Logic (MCML) against Differential Power Analysis (DPA) attacks. Circuits implemented in MCML, in fact, have uniqu...
144
click to vote
SAT
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The adaptive noise mechanism was introduced in Novelty+ to automatically adapt noise settings during the search [4]. The local search algorithm G2 WSAT deterministically ...
179
click to vote
SCIA
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Since texture is scale dependent, multi-scale techniques are quite useful for texture classification. Scale-space theory introduces multi-scale differential operators. In...
191
click to vote
SCIA
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. This paper introduces a new concept within shadow segmentation for usage in shadow removal and augmentation through construction of a multiplicity alpha overlay shadow mo...