Sciweavers

533 search results - page 42 / 107
» Control flow based obfuscation
Sort
View
CSFW
2006
IEEE
15 years 8 months ago
Encoding Information Flow in Haskell
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
Peng Li, Steve Zdancewic
ISER
2004
Springer
108views Robotics» more  ISER 2004»
15 years 7 months ago
Comparison of Temporal Filters for Optical Flow Estimation in Continuous Mobile Robot Navigation
We present our complete study involving comparisons of three spatio-temporal used in the estimation of optical flow for continuous mobile robot navigation. Previous comparisons of...
Chris McCarthy, Nick Barnes
122
Voted
ICRA
1999
IEEE
140views Robotics» more  ICRA 1999»
15 years 6 months ago
Optimal Control of Production Systems with Unreliable Machines and Finite Buffers
In this paper we present a novel formulation for the optimal control of discrete event dynamic processes which represent production systems with unreliable machines and buffers of...
Fabio Balduzzi, Giuseppe Menga, Alessandro Giua
144
Voted
ESTIMEDIA
2006
Springer
15 years 6 months ago
Loop Nest Splitting for WCET-Optimization and Predictability Improvement
This paper presents the influence of the loop nest splitting source code optimization on the worst-case execution time (WCET). Loop nest splitting minimizes the number of executed...
Heiko Falk, Martin Schwarzer
134
Voted
ICC
2007
IEEE
144views Communications» more  ICC 2007»
15 years 8 months ago
Buffer Occupancy-Based CAC in Converged IP and Broadcasting Networks
— This paper introduces a buffer occupancy -based admission control mechanism aimed to counter link congestion while fairly sharing the bandwidth in converged IP and broadcasting...
Yassine Hadjadj Aoul, Abdelhamid Nafaa, Ahmed Meha...