1605 search results - page 189 / 321 » Designing Parallel Operating Systems via Parallel Programmin... |
124
click to vote
CSFW
1995
IEEE
15 years 5 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
103
Voted
ESOP
1990
Springer
15 years 6 months ago
1990
Springer
The need to integrate several versions of a program into a common one arises frequently, but it is a tedious and time consuming task to merge programs by hand. The program-integrat...
241
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...
ICS
2009
Tsinghua U.
15 years 7 months ago
2009
Tsinghua U.
Single-particle 3D reconstruction from cryo-electron microscopy (cryo-EM) images is a kernel application of biological molecules analysis, as the computational requirement of whic...
117
click to vote
HCW
2000
IEEE
15 years 6 months ago
2000
IEEE
Applications that use collections of very large, distributed datasets have become an increasingly important part of science and engineering. With high performance wide-area networ...