Resource allocation and scheduling for multicore platforms is one of the most critical challenges in today's embedded computing. In this paper we focus on a well-known multicore platform, namely the Cell BE proces...
详细信息
Resource allocation and scheduling for multicore platforms is one of the most critical challenges in today's embedded computing. In this paper we focus on a well-known multicore platform, namely the Cell BE processor, and we address the problem of allocating and scheduling its processors, communication channels and memories, withthe goal of minimizing execution time for complex data streaming applications. We propose three complete approaches that optimally solve the problem and prove optimality. the first is based on the recursive application of the logic Based Benders decomposition, resulting in a three stage algorithm. the second is a pure CP approach while the third is a hybrid approach integrating the first two. Extensive experimental evaluation shows the features of each approach and its effectiveness on a specific instance structure.
logicprogramming (LP) is often seen as a way to overcome several shortcomings of the Web Ontology Language (OWL), such as the inability to model integrity constraints or perform closed-world querying. However, the op...
详细信息
ISBN:
(纸本)3540490299
logicprogramming (LP) is often seen as a way to overcome several shortcomings of the Web Ontology Language (OWL), such as the inability to model integrity constraints or perform closed-world querying. However, the open-world semantics of OWL seems to be fundamentally incompatible withthe closed-world semantics of LP. this has sparked a heated debate in the Semantic Web community, resulting in proposals for alternative ontology languages based entirely on logicprogramming. To help resolving this debate, we investigate the practical use cases which seem to be addressed by logicprogramming. In fact, many of these requirements have already been addressed outside the Semantic Web. By drawing inspiration from these existing formalisms, we present a novel logic of hybrid MKNF knowledge bases, which seamlessly integrates OWL with LP. We are thus capable of addressing the identified use cases without a radical change in the architecture of the Semantic Web.
Fuzzy Description logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear programming has been proposed to deal with ...
详细信息
ISBN:
(纸本)9788073683870
Fuzzy Description logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear programming has been proposed to deal with fuzzy DLs under Lukasiewicz semantics in which typical membership functions, such as triangular and trapezoidal functions, can be explicitly represented in the language. A major theoretical and computational limitation so far is the inability to deal with General Concept Inclusions (GCIs), which is an important feature of classical DLs. In this paper, we address this issue and develop a calculus for fuzzy DLs with GCls under various semantics: classical logic, "Zadeh semantics", and Lukasiewicz logic.
the distribution of the genetic programming algorithm improves the efficiency of the search for the solution, but additional parameters of this distribution are undesirable. this paper presents the analysis of early e...
详细信息
In logic, there are various normal forms for formulae;for example, disjunctive and conjunctive normal form for formulae of propositional logic or prenex normal form for formulae of predicate logic. there are algorithm...
详细信息
ISBN:
(纸本)9783540877295
In logic, there are various normal forms for formulae;for example, disjunctive and conjunctive normal form for formulae of propositional logic or prenex normal form for formulae of predicate logic. there are algorithms for 'reducing' a given formula to a semantically equivalent formula in normal form. Normal forms are used in a variety of contexts including proofs of completeness, automated theorem proving, logicprogramming etc. In this paper, we develop a normal form for unitary Euler diagrams with shading. We give an algorithm for reducing a given Euler diagram to a semantically equivalent diagram in normal form and hence a decision procedure for determining whether two Euler diagrams are semantically equivalent. Potential applications of the normal form include clutter reduction and automated theorem proving in systems based on Euler diagrams.
Over the past few years, there has been an increasing demand for crowd sensing applications. While existing mobile app designers greatly facilitate the development of crowd sensing applications for non-ICT experts, th...
详细信息
ISBN:
(纸本)9781509026258
Over the past few years, there has been an increasing demand for crowd sensing applications. While existing mobile app designers greatly facilitate the development of crowd sensing applications for non-ICT experts, they do not yet provide technological support for other aspects required to manage crowd sensing applications, such as support for data gathering campaigns, advanced forms of data aggregation, and participant coordination. In this paper, we present DisCoPar, a novel platform for designing crowd sensing applications, which utilises a distributed flow-based programming approach to facilitate the development of mobile applications and their matching serverside logic. the data-driven nature of our approach enables users to contribute data and receive feedback in real-time, which greatly facilitates user collaboration. We demonstrate the features of our prototype platform by creating a noise measuring application with a corresponding collaborative data collection campaign.
the proceedings contain 33 papers. the special focus in this conference is on programming Language Implementation and logicprogramming. the topics include: Executable specifications for language implementation;avoidi...
ISBN:
(纸本)9783540571865
the proceedings contain 33 papers. the special focus in this conference is on programming Language Implementation and logicprogramming. the topics include: Executable specifications for language implementation;avoiding dynamic delays in functional logic programs;a debugging model for functional logic programs;a conservative approach to meta-programming in constraint logicprogramming;the versatility of handling disjunctions as constraints;improvements in compile-time analysis for ground prolog;a new top-down parsing algorithm for left-recursive DCGs;specification and implementation of grammar couplings using attribute grammars;programming language specification and prototyping using the MAX system;flang and its implementation;efficient lazy narrowing using demandedness analysis;a demand driven computation strategy for lazy narrowing;functional programming languages withlogical variables: a linear logic view;objects with state in contextual logicprogramming;a novel method for parallel implementation of findall;a parallel implementation for AKL;inlining to reduce stack space;a WAM-based implementation of a logic language with sets;executing bounded quantifications on shared memory multiprocessors;a lattice of abstract graphs;higher-order chaotic iteration sequences;proving the correctness of compiler optimisations based on strictness analysis;abstract complexity of prolog based on WAM;development of rewriting strategies;narrowing approximations as an optimization for equational logic programs;a back end generator;selflog: language and implementation;embedding declarative subprograms into imperative constructs;stack management of runtime structures in distributed implementations and efficient register allocation for large basic blocks.
this paper presents several basic results on compiling indefinite and GCWA(Generalized Closed World Assumption) inference in IDDB(Indefinite Dedutive Databases). We do not allow function symbols, but do allow non-Horn...
详细信息
the proceedings contain 9 papers. the topics discussed include: using Linux FIFOs to allow flexible hardware/software communications on reconfigurable systems-on-chip;improved parallelization of legacy embedded softwa...
ISBN:
(纸本)9783800747238
the proceedings contain 9 papers. the topics discussed include: using Linux FIFOs to allow flexible hardware/software communications on reconfigurable systems-on-chip;improved parallelization of legacy embedded software on soft-core MPSoCs through automatic loop transformations;exact mapping of rewritten linear functions to configurable logic;ZUCL: a ZYNQ UltraScale+ framework for OpenCL HLS applications;unfolding and folding: a new approach for code restructuring targeting HLS for FPGAs;HatScheT: a contribution to agile HLS;LeFlow: enabling flexible fpga high-level synthesis of tensorflow deep neural networks;a case study in using OpenCL on FPGAs: creating an open-source accelerator of the AutoDock molecular docking software;and a journey into DSL design using generative programming: FPGA mapping of image border handling through refinement.
暂无评论