4101 search results - page 499 / 821 » Differential Power Analysis |
154
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
In order to deal efficiently with infinite regular trees (or other pointed graph structures), we give new algorithms to store such structures. The trees are stored in such a way th...
161
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: Scout II, an autonomous four-legged robot with only one actuator per compliant leg is described. We demonstrate the need to model the actuators and the power source of the robot ...
266
click to vote
JMLC
2000
Springer
15 years 10 months ago
2000
Springer
The principle of modularisation is one of the main techniques that software designers use to tame the complexity of programming. A software project, however, is complex in many oth...
173
click to vote
WSC
2007
15 years 9 months ago
2007
Generation of traces from a simulation model and their analysis is a powerful and common mean to debug simulation models. In this paper, we define a measure of progress for simul...
163
Voted
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically...