3307 search results - page 368 / 662 » The meaning of concurrent programs |
210
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Software-based thread-level parallelization has been widely studied for exploiting data parallelism in purely computational loops to improve program performance on multiprocessors...
286
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
157
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— In the area of surgical robotics no standard means of performance evaluation has been established. Thousands of surgeons have gone through the SAGES FLS Program, and the psycho...
186
Voted
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
We prove that QIP(2), the class of problems having two-message quantum interactive proof systems, is a subset of PSPACE. This relationship is obtained by means of an efficient pa...
160
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present a framework for the programming of manipulation behavior by means of an intrinsic reward function that encourages the building of deep control knowledge. We show how...