Sciweavers

180 search results - page 7 / 36
» Typing Local Control and State Using Flow Analysis
Sort
View
CDC
2009
IEEE
177views Control Systems» more  CDC 2009»
15 years 27 days ago
Exponential stability region estimates for the State-Dependent Riccati Equation controllers
We investigate the nonlinear exponential stability of the State-Dependent Riccati Equation (SDRE)-based control. The SDRE technique is a nonlinear control method, which has emerged...
Insu Chang, Soon-Jo Chung
CC
2008
Springer
144views System Software» more  CC 2008»
15 years 1 months ago
Control Flow Emulation on Tiled SIMD Architectures
Heterogeneous multi-core and streaming architectures such as the GPU, Cell, ClearSpeed, and Imagine processors have better power/ performance ratios and memory bandwidth than tradi...
Ghulam Lashari, Ondrej Lhoták, Michael McCo...
ICTCS
2005
Springer
15 years 5 months ago
A Typed Assembly Language for Non-interference
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
Ricardo Medel, Adriana B. Compagnoni, Eduardo Bone...
WWW
2004
ACM
16 years 14 days ago
Securing web application code by static analysis and runtime protection
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung...
INFOCOM
1996
IEEE
15 years 4 months ago
Integrated Control of Connection Admission, Flow Rate, and Bandwidth for ATM Based Networks
: We consider the combined control problem of connection admission, flow rate, and bandwidth allocation (capacity, service-rate) under nonstationary conditions. A fluid flow model ...
Andreas Pitsillides, Petros A. Ioannou, David Tipp...