1411 search results - page 154 / 283 » Interactive Coding for Interactive Proofs |
115
Voted
SC
1990
ACM
15 years 6 months ago
1990
ACM
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...
111
Voted
IJRR
2000
15 years 2 months ago
2000
Dynamics simulation can play a critical role in the engineering of robotic control code, and there exist a variety of strategies both for building physical models and for interact...
111
Voted
PROCEDIA
2010
15 years 28 days ago
2010
We discuss the scaling behavior of a state-of-the-art Configuration Interaction code for nuclear physics on modern multicore computer architectures. In the CI approach, the quant...
83
Voted
PVLDB
2010
15 years 28 days ago
2010
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...
124
Voted
IPPS
2010
IEEE
15 years 13 days ago
2010
IEEE
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...