A novel content-based feedback learning motion retrieval approach is presented. the approach includes two primary stages. (1) In the learning stage, fuzzy clustering is first utilized to get the representative frames ...
详细信息
Most parallel languages provide means to express parallelism, e.g. a parallel-do construct, but no means to terminate the parallel activities spawned by such constructs. We propose three high-level primitives for this...
详细信息
Most parallel languages provide means to express parallelism, e.g. a parallel-do construct, but no means to terminate the parallel activities spawned by such constructs. We propose three high-level primitives for this purpose, which are defined by analogies with primitives that break out of sequential iterative constructs. the primitives are pcontinue, which terminates the calling activity, pbreak, which terminates all the activities in the construct that spawned the calling activity, and return, which terminates all the activities created in the current function call. these constructs are especially useful in search problems, where an activity that finds a solution can terminate other activities that are investigating inferior approaches. Given that parallel constructs can be nested, activities form a tree rooted at the original activity that started the program. the main challenge in implementing pbreak and return is identifying the subtree of activities that should be killed. three algorithms were designed and implemented, and experiments show that using these constructs can provide significant performance benefits.
We propose a heap analysis for extracting data access summaries based on symbolic access paths (SAPs) of methods in object-oriented languages. the analysis takes advantage of the insight that typical programs access d...
详细信息
An extended practice in the realm of Software Engineering and programming in industry is the application of coding rules. Coding rules are customarily used to constrain the use (or abuse) of certain programming langua...
详细信息
Many real-world applications feature data accesses on periodic domains. Manually implementing the synchronizations and communications associated to the data dependences on each case is cumbersome and error-prone. It i...
详细信息
Many real-world applications feature data accesses on periodic domains. Manually implementing the synchronizations and communications associated to the data dependences on each case is cumbersome and error-prone. It is increasingly interesting to support these applications in high-level parallel programminglanguages or parallelizing compilers. In this paper, we present a technique that, for distributed-memory systems, calculates the specific communications derived from data-parallel codes with or without periodic boundary conditions on affine access expressions. It makes transparent to the programmer the management of aggregated communications for the chosen data partition. Our technique moves to runtime part of the compile-time analysis typically used to generate the communication code for affine expressions, introducing a complete new technique that also supports the periodic boundary conditions. We present an experimental study to evaluate our proposal using several study cases. Our experimental results show that our approach can automatically obtain communication codes as efficient as those found in MPI reference codes, reducing the development effort.
this book constitutes the proceedings of the 10thinternationalsymposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.;the 24 full and 7 short papers presented in this volume we...
详细信息
ISBN:
(数字)9783319779355
ISBN:
(纸本)9783319779348
this book constitutes the proceedings of the 10thinternationalsymposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.;the 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. the papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
We present a new approach to program testing which enables the programmer to specify test suites in terms of a versatile query language. Our query language subsumes standard coverage criteria ranging from simple basic...
详细信息
ISBN:
(纸本)9783540938996
We present a new approach to program testing which enables the programmer to specify test suites in terms of a versatile query language. Our query language subsumes standard coverage criteria ranging from simple basic block coverage all the way to predicate complete coverage and multiple condition coverage, but also facilitates on-the-fly requests for test suites specific to the code structure, to external requirements, or to ad hoc needs arising in program understanding/exploration. the query language is supported by a model checking backend which employs the CBMC framework. Our main algorithmic contribution is a method called iterative constraint strengthening which enables us to solve a query for an arbitrary coverage criterion by a single call to the model checker and a novel form of incremental SAT solving: Whenever the SAT solver finds a solution, our algorithm compares this solution against the coverage criterion, and strengthens the clause database with additional clauses which exclude redundant new solutions. We demonstrate the scalability of our approach and its ability to compute compact test suites with experiments involving device drivers, automotive controllers, and open source projects.
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system specification and verification. In particular...
详细信息
the proceedings contain 21 papers. the special focus in this conference is on Foundations of Information and Knowledge Systems. the topics include: Probabilistic team semantics;strategic dialogical argumentation using...
ISBN:
(纸本)9783319900490
the proceedings contain 21 papers. the special focus in this conference is on Foundations of Information and Knowledge Systems. the topics include: Probabilistic team semantics;strategic dialogical argumentation using multi-criteria decision making with application to epistemic and emotional aspects of arguments;first-order definable counting-only queries;the power of tarski’s relation algebra on trees;improving the performance of the k rare class nearest neighbor classifier by the ranking of point patterns;preference learning and optimization for partial lexicographic preference forests over combinatorial domains;enumeration complexity of poor man’s propositional dependence logic;refining semantic matching for job recruitment: An application of formal concept analysis;ontodebug: Interactive ontology debugging plug-in for protégé;concatenation, separation, and other properties of variably polyadic relations;a framework for comparing query languages in their ability to express boolean queries;a generalized iterative scaling algorithm for maximum entropy model computations respecting probabilistic independencies;compilation of conditional knowledge bases for computing C-inference relations;characterizing and computing causes for query answers in databases from database repairs and repair programs;inferences from attribute-disjoint and duplicate-preserving relational fragmentations;ASP programs with groundings of small treewidth;rationality and context in defeasible subsumption;haydi: Rapid prototyping and combinatorial objects;argumentation frameworks with recursive attacks and evidence-based supports.
this book constitutes the refereed proceedings of the 10thinternationalsymposium on Foundations of Information and Knowledge Systems, FoIKS 2018, held in Budapest, Hungary, in May 2018.;the 20 revised full pape...
详细信息
ISBN:
(数字)9783319900506
ISBN:
(纸本)9783319900490
this book constitutes the refereed proceedings of the 10thinternationalsymposium on Foundations of Information and Knowledge Systems, FoIKS 2018, held in Budapest, Hungary, in May 2018.;the 20 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions. the papers address various topics such as big data; database design; dynamics of information; information fusion; integrity and constraint management; intelligent agents; knowledge discovery and information retrieval; knowledge representation, reasoning and planning; logics in databases and AI; mathematical foundations; security in information and knowledge systems; semi-structured data and XML; social computing; the semantic web and knowledge management; and the world wide web.
暂无评论