Sciweavers

2610 search results - page 267 / 522
» Computational Probabilistic Non-interference
Sort
View
TGC
2007
Springer
15 years 10 months ago
Formal Approaches to Information-Hiding (Tutorial)
Abstract. In this survey paper we consider the class of protocols for informationhiding which use randomization to obfuscate the link between the observables and the information to...
Romain Beauxis, Konstantinos Chatzikokolakis, Catu...
ICRA
2005
IEEE
130views Robotics» more  ICRA 2005»
15 years 9 months ago
Constraint-Based Motion Planning of Deformable Robots
Abstract— We present a novel algorithm for motion planning of a deformable robot in a static environment. Given the initial and final configuration of the robot, our algorithm ...
Russell Gayle, Ming C. Lin, Dinesh Manocha
SCVMA
2004
Springer
15 years 9 months ago
A Generative Model of Dense Optical Flow in Layers
We introduce a generative model of dense flow fields within a layered representation of 3-dimensional scenes. Using probabilistic inference and learning techniques (namely, varia...
Anitha Kannan, Brendan J. Frey, Nebojsa Jojic
DAC
1996
ACM
15 years 8 months ago
Hot-Carrier Reliability Enhancement via Input Reordering and Transistor Sizing
Hot-carrier eects and electromigration are the two important failure mechanisms that signi cantly impact the long-term reliability of high-density VLSI ICs. In this paper, we prese...
Aurobindo Dasgupta, Ramesh Karri
ISHPC
1997
Springer
15 years 8 months ago
Resource Management Methods for General Purpose Massively Parallel OS SSS-Core
We propose two resource management methods; a scheduling policy that re ects resource consumption states and a memory-replacement strategy based on page classi cation under distrib...
Yojiro Nobukuni, Takashi Matsumoto, Kei Hiraki