Sciweavers

4839 search results - page 341 / 968
» A survey of computational complexity results in systems and ...
Sort
View
DCC
2008
IEEE
16 years 6 months ago
An Estimation-Theoretic Interpretation of Video Rate Distortion Optimization with Lagrangian Formulation
Rate distortion optimization with Lagrangian formulation is widely used in video encoder control and has proved effective in achieving a good trade-off between coding efficiency a...
Zhen Li, Alexis Michael Tourapis
ESCIENCE
2007
IEEE
15 years 10 months ago
Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
Ping Yang, Zijiang Yang, Shiyong Lu
SACMAT
2006
ACM
16 years 21 days ago
The secondary and approximate authorization model and its application to Bell-LaPadula policies
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
Jason Crampton, Wing Leung, Konstantin Beznosov
ISORC
2007
IEEE
16 years 1 months ago
Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...
Raimund Kirner, Peter P. Puschner
159
Voted
ICAC
2005
IEEE
16 years 11 days ago
Dynamic Black-Box Performance Model Estimation for Self-Tuning Regulators
Methods for automatically managing the performance of computing services must estimate a performance model of that service. This paper explores properties that are necessary for p...
Magnus Karlsson, Michele Covell