Sciweavers

4285 search results - page 120 / 857
» Differential Behavioral Analysis
Sort
View
FORMATS
2007
Springer
15 years 9 months ago
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
APVIS
2010
15 years 6 months ago
CycleStack: Inferring periodic behavior via temporal sequence visualization in ultrasound video
A range of well-known treatment methods for destroying tumor and similar harmful growth in human body utilizes the coherence between the inherently periodic movement of the affect...
Teng-Yok Lee, Abon Chaudhuri, Fatih Porikli, Han-W...
SIAMREV
2010
140views more  SIAMREV 2010»
15 years 4 days ago
What Shape Is Your Conjugate? A Survey of Computational Convex Analysis and Its Applications
Computational Convex Analysis algorithms have been rediscovered several times in the past by researchers from different fields. To further communications between practitioners, we ...
Yves Lucet
CHES
2005
Springer
109views Cryptology» more  CHES 2005»
15 years 11 months ago
Security Evaluation Against Electromagnetic Analysis at Design Time
Electromagnetic analysis (EMA) can be used to compromise secret information by analysing the electric and/or magnetic fields emanating from a device. It follows differential power...
Huiyun Li, A. Theodore Markettos, Simon W. Moore
EUROPAR
2003
Springer
15 years 10 months ago
KOJAK - A Tool Set for Automatic Performance Analysis of Parallel Programs
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...
Bernd Mohr, Felix Wolf