1114 search results - page 163 / 223 » Validating optimizations of concurrent C C programs |
231
click to vote
SIAMJO
2011
14 years 9 months ago
2011
Suppose we are given a matrix that is formed by adding an unknown sparse matrix to an unknown low-rank matrix. Our goal is to decompose the given matrix into its sparse and low-ran...
192
click to vote
CASES
2005
ACM
15 years 8 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...
172
click to vote
ECOOP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. OpenJIT is an open-ended, reflective JIT compiler framework for Java being researched and developed in a joint project by Tokyo Inst. Tech. and Fujitsu Ltd. Although in g...
162
click to vote
IEEEPACT
2008
IEEE
16 years 16 days ago
2008
IEEE
Both commercial and scientific workloads benefit from concurrency and exhibit data sharing across threads/processes. The resulting sharing patterns are often fine-grain, with t...
171
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
A token is hidden in one of several boxes and then the boxes are locked. The probability of placing the token in each of the boxes is known. A searcher is looking for the token by...