28962 search results - page 161 / 5793 » Computational Mechanism Design |
JCP
2008
15 years 4 months ago
2008
The effect of finite wordlength on coefficients in implementing discrete-time controllers has been a subject of many recent studies. Especially, this issue is more severe in the lo...
123
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
130
click to vote
CCR
2004
15 years 3 months ago
2004
Distributed denial-of-service (DDoS) is a rapidly growing problem. The multitude and variety of both the attacks and the defense approaches is overwhelming. This paper presents tw...
141
click to vote
PPSN
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we aim to design decision-making mechanisms for an autonomous robot equipped with simple sensors, which integrates over time its perceptual experience in order to in...
161
click to vote
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
This work is devoted to the numerical resolution of the 4D Vlasov equation using an adaptive mesh of phase space. We previously proposed a parallel algorithm designed for distribut...