9626 search results - page 1299 / 1926 » Invariant Based Programming |
223
click to vote
WSC
2008
15 years 9 months ago
2008
We consider a portfolio allocation problem where the objective function is a tail event such as probability of large portfolio losses. The dependence between assets is captured th...
212
click to vote
APLAS
2008
ACM
15 years 9 months ago
2008
ACM
JavaScript has been exploited to launch various browser-based attacks. Our previous work proposed a theoretical framework applying policy-based code instrumentation to JavaScript. ...
167
click to vote
ICALP
2010
Springer
15 years 9 months ago
2010
Springer
Given a connected graph G and a failure probability pe for each edge e in G, the reliability of G is the probability that G remains connected when each edge e is removed independe...
202
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Hangal et. al. [3] have developed a procedure to check if an instance of the execution of a shared memory multiprocessor program, is consistent with the Total Store Order (TSO) mem...
197
click to vote
DAC
2005
ACM
15 years 9 months ago
2005
ACM
This paper focuses on designing network processing software for embedded processors. Our design flow CRACC represents an efficient path to implementation based on a modular applic...