Sciweavers

699 search results - page 53 / 140
» Computation of Interprocedural Control Dependence
Sort
View
CVPR
2007
IEEE
15 years 20 days ago
A Quasi-Minimal Model for Paper-Like Surfaces
Smoothly bent paper-like surfaces are developable. They are however difficult to minimally parameterize since the number of meaningful parameters is intrinsically dependent on the...
Mathieu Perriollat, Adrien Bartoli
ICSM
2008
IEEE
14 years 5 months ago
Dynamic slicing of multithreaded programs for race detection
Prior work has shown that computing dynamic slices of erroneous program values can greatly assist in locating the root cause of erroneous behavior by identifying faulty statements...
Sriraman Tallam, Chen Tian, Rajiv Gupta
AIMS
2010
Springer
14 years 3 months ago
Scalable Service Performance Monitoring
Abstract. Dependable performance measurement is a common requirement for all on-line services. The ongoing tendency to outsource not only infrastructure, but also software parts to...
Idilio Drago, Aiko Pras
SACMAT
2006
ACM
14 years 4 months 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
DCC
2008
IEEE
14 years 10 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