Sciweavers

5757 search results - page 68 / 1152
» Dynamic Policy Programming
Sort
View
TLDI
2010
ACM
190views Formal Methods» more  TLDI 2010»
15 years 11 months ago
Distributed programming with distributed authorization
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
Kumar Avijit, Anupam Datta, Robert Harper
PLDI
1990
ACM
15 years 6 months ago
Dynamic Program Slicing
Hiralal Agrawal, Joseph Robert Horgan
110
Voted
HPCA
2008
IEEE
16 years 2 months ago
Branch-mispredict level parallelism (BLP) for control independence
A microprocessor's performance is fundamentally limited by the rate at which it can resolve branch mispredictions. Control independence (CI) architectures look for useful con...
Kshitiz Malik, Mayank Agarwal, Sam S. Stone, Kevin...
173
Voted
JDCTA
2010
146views more  JDCTA 2010»
14 years 9 months ago
Modelling for Cruise Two-Dimensional Online Revenue Management System
To solve the cruise two-dimensional revenue management problem and develop such an automated system under uncertain environment, a static model which is a stochastic integer progr...
Bingzhou Li