3441 search results - page 274 / 689 » Parallel Logic Programming Systems |
171
Voted
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
Recent advances in polyhedral compilation technology have made it feasible to automatically transform affine sequential loop nests for tiled parallel execution on multi-core proce...
140
Voted
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
Tools for parallel systems today range from specification over debugging to performance analysis and more. Typically, they help the programmers of parallel algorithms from the ea...
122
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
138
Voted
CCS
2011
ACM
14 years 3 months ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
150
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...