Sciweavers

777 search results - page 109 / 156
» presence 2010
Sort
View
ACSAC
2010
IEEE
14 years 10 months ago
Analyzing and improving Linux kernel memory protection: a model checking approach
Code injection continues to pose a serious threat to computer systems. Among existing solutions, W X is a notable approach to prevent the execution of injected code. In this paper...
Siarhei Liakh, Michael C. Grace, Xuxian Jiang
ACSD
2010
IEEE
224views Hardware» more  ACSD 2010»
14 years 10 months ago
Robustness of Sequential Circuits
Digital components play a central role in the design of complex embedded systems. These components are interconnected with other, possibly analog, devices and the physical environm...
Laurent Doyen, Thomas A. Henzinger, Axel Legay, De...
107
Voted
ANTSW
2010
Springer
14 years 10 months ago
Mobile Stigmergic Markers for Navigation in a Heterogeneous Robotic Swarm
We study self-organized navigation in a heterogeneous robotic swarm consisting of two types of robots: small wheeled robots, called foot-bots, and flying robots that can attach to ...
Frederick Ducatelle, Gianni A. Di Caro, Alexander ...
111
Voted
ANTSW
2010
Springer
14 years 10 months ago
Evaluating the Robustness of Activator-Inhibitor Models for Cluster Head Computation
Activator-inhibitor models have been widely used to explain several morphogenetic processes. They have also been used to engineer algorithms for computer graphics, distributed syst...
Lidia Yamamoto, Daniele Miorandi
ATS
2010
IEEE
229views Hardware» more  ATS 2010»
14 years 10 months ago
Variation-Aware Fault Modeling
Abstract--To achieve a high product quality for nano-scale systems both realistic defect mechanisms and process variations must be taken into account. While existing approaches for...
Fabian Hopsch, Bernd Becker, Sybille Hellebrand, I...