摘要 :
General Purpose Graphical Processing Units (GPUs) are affordable multi-core platforms, providing access to large number of cores, but at the price of a complex architecture with non-trivial synchronization and communication costs....
展开
General Purpose Graphical Processing Units (GPUs) are affordable multi-core platforms, providing access to large number of cores, but at the price of a complex architecture with non-trivial synchronization and communication costs. This paper presents the design and implementation of a conflict-driven ASP solver, that is capable of exploiting the parallelism offered by GPUs. The proposed system builds on the notion of ASP computation, that avoids the generation of unfounded sets, enhanced by conflict analysis and learning. The proposed system uses the CPU exclusively for input and output, in order to reduce the negative impact of the expensive data transfers between the CPU and the GPU. All the solving components, i.e., the management of nogoods, the search strategy, backjumping, the search heuristics, conflict analysis and learning, and unit propagation, are performed on the GPU, by exploiting Single Instruction Multiple Threads (SIMT) parallelism. The preliminary experimental results confirm the feasibility and scalability of the approach, and the potential to enhance performance of ASP solvers.
收起
摘要 :
General Purpose Graphical Processing Units (GPUs) are affordable multi-core platforms, providing access to large number of cores, but at the price of a complex architecture with non-trivial synchronization and communication costs....
展开
General Purpose Graphical Processing Units (GPUs) are affordable multi-core platforms, providing access to large number of cores, but at the price of a complex architecture with non-trivial synchronization and communication costs. This paper presents the design and implementation of a conflict-driven ASP solver, that is capable of exploiting the parallelism offered by GPUs. The proposed system builds on the notion of ASP computation, that avoids the generation of unfounded sets, enhanced by conflict analysis and learning. The proposed system uses the CPU exclusively for input and output, in order to reduce the negative impact of the expensive data transfers between the CPU and the GPU. All the solving components, i.e., the management of nogoods, the search strategy, backjumping, the search heuristics, conflict analysis and learning, and unit propagation, are performed on the GPU, by exploiting Single Instruction Multiple Threads (SIMT) parallelism. The preliminary experimental results confirm the feasibility and scalability of the approach, and the potential to enhance performance of ASP solvers.
收起
摘要 :
Answer Set Programming (ASP) has become the paradigm of choice in the field of logic programming and non-monotonic reasoning. With the design of new and efficient solvers, ASP has been successfully adopted in a wide range of appli...
展开
Answer Set Programming (ASP) has become the paradigm of choice in the field of logic programming and non-monotonic reasoning. With the design of new and efficient solvers, ASP has been successfully adopted in a wide range of application domains. Recently, with the advent of GPU Computing, which allowed the use of modern parallel Graphical Processing Units (GPUs) for general-purpose computing, new opportunities for accelerating ASP computation has arisen. In this paper, we describe a new approach for solving ASP that exploits the parallelism provided by GPUs. The design of a GPU-based solver poses various challenges due to the peculiarities of GPU in terms of both programmability and architecture capabilities with respect to the intrinsic nature of the satisfiability problems, which exposes poor parallelism.
收起
摘要 :
Answer Set Programming (ASP) has become the paradigm of choice in the field of logic programming and non-monotonic reasoning. With the design of new and efficient solvers, ASP has been successfully adopted in a wide range of appli...
展开
Answer Set Programming (ASP) has become the paradigm of choice in the field of logic programming and non-monotonic reasoning. With the design of new and efficient solvers, ASP has been successfully adopted in a wide range of application domains. Recently, with the advent of GPU Computing, which allowed the use of modern parallel Graphical Processing Units (GPUs) for general-purpose computing, new opportunities for accelerating ASP computation has arisen. In this paper, we describe a new approach for solving ASP that exploits the parallelism provided by GPUs. The design of a GPU-based solver poses various challenges due to the peculiarities of GPU in terms of both pro-grammability and architecture capabilities with respect to the intrinsic nature of the satisfiability problems, which exposes poor parallelism.
收起
摘要 :
Since 2001 Application Service Providers (ASPs) have been aware of the need to integrate their offerings with the existing systems of their customers. At present, options for integrating ASP offerings involve considerable expense,...
展开
Since 2001 Application Service Providers (ASPs) have been aware of the need to integrate their offerings with the existing systems of their customers. At present, options for integrating ASP offerings involve considerable expense, time and a skilled workforce to achieve. Small and medium-sized enterprises (SMEs) were originally attracted to ASPs because of their low start-up costs and quick time to market. Therefore, with SMEs in particular the problems with present options for ASP integration can introduce barriers to its adoption. What is not known is how the integration of an ASP offering is perceived by its potential customers and whether concerns held by SMEs reflect those of the more general population. This paper attempts to identify whether integrating ASP offerings is perceived as a worthwhile undertaking. In understanding the perceptions of SMEs and larger organizations the paper also tries to identify if and how the perception of an integrated ASP differs with company size. The results of a survey suggested that ASP integration is perceived positively by both SMEs and larger organizations. While there were many general concerns held by both, there were also issues that appeared to be of concern to only SMEs and not larger organizations, and vice-versaYour paper should be in the same format as this file.
收起
摘要 :
Since 2001 Application Service Providers (ASPs) have been aware of the need to integrate their offerings with the existing systems of their customers. At present, options for integrating ASP offerings involve considerable expense,...
展开
Since 2001 Application Service Providers (ASPs) have been aware of the need to integrate their offerings with the existing systems of their customers. At present, options for integrating ASP offerings involve considerable expense, time and a skilled workforce to achieve. Small and medium-sized enterprises (SMEs) were originally attracted to ASPs because of their low start-up costs and quick time to market. Therefore, with SMEs in particular the problems with present options for ASP integration can introduce barriers to its adoption. What is not known is how the integration of an ASP offering is perceived by its potential customers and whether concerns held by SMEs reflect those of the more general population. This paper attempts to identify whether integrating ASP offerings is perceived as a worthwhile undertaking. In understanding the perceptions of SMEs and larger organizations the paper also tries to identify if and how the perception of an integrated ASP differs with company size. The results of a survey suggested that ASP integration is perceived positively by both SMEs and larger organizations. While there were many general concerns held by both, there were also issues that appeared to be of concern to only SMEs and not larger organizations, and vice-versa Your paper should be in the same format as this file.
收起
摘要 :
Since 2001 Application Service Providers (ASPs) have been aware of the need to integrate their offerings with the existing systems of their customers. At present, options for integrating ASP offerings involve considerable expense,...
展开
Since 2001 Application Service Providers (ASPs) have been aware of the need to integrate their offerings with the existing systems of their customers. At present, options for integrating ASP offerings involve considerable expense, time and a skilled workforce to achieve. Small and medium-sized enterprises (SMEs) were originally attracted to ASPs because of their low start-up costs and quick time to market. Therefore, with SMEs in particular the problems with present options for ASP integration can introduce barriers to its adoption. What is not known is how the integration of an ASP offering is perceived by its potential customers and whether concerns held by SMEs reflect those of the more general population. This paper attempts to identify whether integrating ASP offerings is perceived as a worthwhile undertaking. In understanding the perceptions of SMEs and larger organizations the paper also tries to identify if and how the perception of an integrated ASP differs with company size. The results of a survey suggested that ASP integration is perceived positively by both SMEs and larger organizations. While there were many general concerns held by both, there were also issues that appeared to be of concern to only SMEs and not larger organizations, and vice-versa Your paper should be in the same format as this file.
收起
摘要 :
Since 2001 Application Service Providers (ASPs) have been aware of the need to integrate their offerings with the existing systems of their customers. At present, options for integrating ASP offerings involve considerable expense,...
展开
Since 2001 Application Service Providers (ASPs) have been aware of the need to integrate their offerings with the existing systems of their customers. At present, options for integrating ASP offerings involve considerable expense, time and a skilled workforce to achieve. Small and medium-sized enterprises (SMEs) were originally attracted to ASPs because of their low start-up costs and quick time to market. Therefore, with SMEs in particular the problems with present options for ASP integration can introduce barriers to its adoption. What is not known is how the integration of an ASP offering is perceived by its potential customers and whether concerns held by SMEs reflect those of the more general population. This paper attempts to identify whether integrating ASP offerings is perceived as a worthwhile undertaking. In understanding the perceptions of SMEs and larger organizations the paper also tries to identify if and how the perception of an integrated ASP differs with company size. The results of a survey suggested that ASP integration is perceived positively by both SMEs and larger organizations. While there were many general concerns held by both, there were also issues that appeared to be of concern to only SMEs and not larger organizations, and vice-versa Your paper should be in the same format as this file.
收起
摘要 :
Researchers have used Distributed Constraint Optimization Problems (DCOPs) to model various multi-agent coordination and resource allocation problems. However, existing DCOP algorithms have focused almost exclusively on imperative...
展开
Researchers have used Distributed Constraint Optimization Problems (DCOPs) to model various multi-agent coordination and resource allocation problems. However, existing DCOP algorithms have focused almost exclusively on imperative programming techniques. This paper explores a new direction, which is to develop algorithms that use declarative programming, specifically logic programming, techniques.
收起
摘要 :
In the development of practical applications of answer set programming (ASP), encodings that use well-established solvers such as CLASP and DLV are sometimes affected by scalability issues. In those situations, one can resort to m...
展开
In the development of practical applications of answer set programming (ASP), encodings that use well-established solvers such as CLASP and DLV are sometimes affected by scalability issues. In those situations, one can resort to more sophisticated ASP tools exploiting, for instance, incremental and constraint ASP. However, today there is no specific methodology for the selection or use of such tools. In this paper we describe how we used such cutting-edge ASP tools on challenging problems from the Third Answer Set Programming Competition. We view this paper as a first step in the development of a general methodology for the use of advanced ASP tools.
收起
原文获取