12741 search results - page 256 / 2549 » Editorial and call for papers |
169
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we present a thorough analysis of thread-level parallelism available in production High Performance Computing (HPC) codes. We survey a number of techniques that are...
260
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages that treat probability distributions as primit...
174
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...
193
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
150
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
In this paper we define a new clausal class, called BU, which can be decided by hyperresolution with splitting. We also consider the model generation problem for BU and show that h...