INTELLIGENT SOLVING MACHINES ON MODERN PARALLEL ARCHITECTURES
نویسندگان
چکیده
منابع مشابه
Modern Cooperative Parallel SAT Solving
Nowadays, powerful parallel SAT solvers are based on an algorithm portfolio. The alternative approach, (iterative) search space partitioning, cannot keep up, although, according to the literature, iterative partitioning systems should scale better than portfolio solvers. This rises often! In this paper we identify key problems in current parallel cooperative SAT solving approaches, most importa...
متن کاملModern architectures for intelligent systems: reusable ontologies and problem-solving methods
When interest in intelligent systems for clinical medicine soared in the 1970s, workers in medical informatics became particularly attracted to rule-based systems. Although many successful rule-based applications were constructed, development and maintenance of large rule bases remained quite problematic. In the 1980s, an entire industry dedicated to the marketing of tools for creating rule-bas...
متن کاملPerformance analysis of parallel applications on modern multithreaded processor architectures
In this whitepaper we describe the effort we have made to measure performance of applications and synthetic benchmarks with the use of different simultaneous multithreading (SMT) modes. This specific processor architecture feature is currently available in many petascale HPC systems worldwide. Both IBM Power7 processors available in Power775 (IH) and IBM Power A2 processors available in Blue Ge...
متن کاملIntelligent Parallel Volume Rendering Using View Coherence on Mimd Architectures
Although volume rendering is a powerful computer graphics technique for visualizing data represented at three spatial dimensions, it is computationally intensive. Parallel Computing represents the most promising solutions for computationally expensive problems. This paper aims to introduce some new concepts and proposes a new method for parallel volume rendering on MIMD architectures. The metho...
متن کاملSolving Quadratic Equations with XL on Parallel Architectures
Solving a system of multivariate quadratic equations (MQ) is an NP-complete problem whose complexity estimates are relevant to many cryptographic scenarios. In some cases it is required in the best known attack; sometimes it is a generic attack (such as for the multivariate PKCs), and sometimes it determines a provable level of security (such as for the QUAD stream ciphers). Under reasonable as...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computing
سال: 2014
ISSN: 2312-5381,1727-6209
DOI: 10.47839/ijc.3.2.280