3335 search results - page 569 / 667 » Grid result checking |
162
click to vote
FDTC
2010
Springer
15 years 2 months ago
2010
Springer
Many implementations of cryptographic algorithms have shown to be susceptible to fault attacks. For some of them, countermeasures against specific fault models have been proposed. ...
123
click to vote
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
We propose a region-based foreground object segmentation method capable of dealing with image sequences containing noise, illumination variations and dynamic backgrounds (as often...
131
click to vote
SASO
2010
IEEE
15 years 1 months ago
2010
IEEE
Server consolidation through virtualization is becoming an effective way to save power and space in enterprise data centers. However, it also brings additional operational risks f...
168
click to vote
VLSID
2010
IEEE
15 years 1 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
157
click to vote
APSEC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...