The proceedings contain 55 papers. The special focus in this conference is on Technical Track, Application Track, Computational Sustainability Track, CP, Biology Track, Music Track, Preference, Social Choice, Optimiza...
ISBN:
(纸本)9783319449524
The proceedings contain 55 papers. The special focus in this conference is on Technical Track, Application Track, Computational Sustainability Track, CP, Biology Track, Music Track, Preference, Social Choice, Optimization Track, Testing and Verification Track. The topics include: Exploiting short supports for improved encoding of arbitrary constraints into SAT;an adaptive parallel SAT solver;improved linearization of constraint programming models;impact of SAT-based preprocessing on core-guided MaxSAT solving;multiobjective optimization by decision diagrams;dependency schemes in QBF calculi;the multirate resource constraint;the dichotomy for conservative constraint satisfaction is polynomially decidable;the vertex cover constraint;extending broken triangles and enhanced value-merging;a bounded path propagator on directed graphs;interval constraints with learning: application to air traffic control;backdoors to tractable valued CSP;monte-carlo tree search for the maximum satisfiability problem;on finding minimum satisfying assignments;towards a dynamic decomposition of CSPs with separators of bounded size;a global constraint for closed frequent pattern mining;parallel strategies selection;learning parameters for the sequence constraint from solutions;explaining producer/consumer constraints;learning from learning solvers;on incremental core-guided MaxSAT solving;an implementation of MIP and CP for interactive soccer queries;solving a supply-delivery scheduling problem with constraint programming;availability optimization in cloud-based in-memory data grids;constraining redundancy to improve protein docking;finding alternative musical scales;morphing between stable matching problems;the power of propagation: when GAC is enough and AHP based portfolio selection with risk preference modeling.
The introduction of concurrency within emerging languages such as java brings challenging new concepts to the user. Owing to the inherent non-determinism of threads and multiple flow of control in concurrent programs,...
详细信息
ISBN:
(纸本)9780954414511
The introduction of concurrency within emerging languages such as java brings challenging new concepts to the user. Owing to the inherent non-determinism of threads and multiple flow of control in concurrent programs, traditional debugging and comprehension techniques, such as source code analysis, do not suffice. We believe that visualisation can assist in expediting comprehension of concurrent programs. We present, Jacot, a visualisation tool to depict the execution of concurrent java programs. Jacot has two views based on the Unified Modeling Language (UML) Sequence diagram paradigm. It is implemented in java and uses the java Debug Interface (JDI) for event gathering. It depicts the interaction between objects and the interleaving of threads in a timely fashion, using method invocations.
The development of distributed embedded real-time telecommunication systems requires close coupling of hardware and software components. Current component models lack support for large-scale reuse at the hardware/soft...
详细信息
ISBN:
(纸本)9780954414511
The development of distributed embedded real-time telecommunication systems requires close coupling of hardware and software components. Current component models lack support for large-scale reuse at the hardware/software interface. A component model is proposed that separates the component's core functionality from its variable facets. Generative programming techniques are applied to enable component-based engineering whilst maintaining close coupling with the underlying hardware. The described technique is illustrated by generating a simple device driver for a System on a Programmable Chip (SOPC) device from an XML specification.
This paper presents an approach to algorithm analysis that benefits from and exploits the OO characteristics of java and the organization java gives to build the inheritance trees of the classes and, finally, the use ...
ISBN:
(纸本)9780954414511
This paper presents an approach to algorithm analysis that benefits from and exploits the OO characteristics of java and the organization java gives to build the inheritance trees of the classes and, finally, the use of interfaces, collections, and iterators. After defining the inheritance structure of a collection of algorithms -- for instance, graph exploration algorithms - and the different levels of abstraction, we design both the verification and measures of complexity for the abstract algorithms. We prove as many properties as possible at the abstract levels assuming the implementations of the methods called upon will be correct. We also derive a complexity measure in terms of the complexity measures of the abstract methods. When a concrete algorithm is derived, we reuse the proofs we already have, plus the measures, and simply complete them by proving that the properties assumed for the concrete methods indeed hold and obtaining the exact complexity for the method. We call this inheritance tree a generic algorithm.
Recent improvements in constraint programming have made it possible to tackle hard problems in a practical way. Before this, these problems were solved only by specialized programs often complex to implement. Scheduli...
详细信息
The Unified Modeling Language (UML) is a visual language for modeling software designs and is currently the most widely accepted standard for Object Oriented software diagrams in the software engineering field. Howeve...
ISBN:
(纸本)9780954414511
The Unified Modeling Language (UML) is a visual language for modeling software designs and is currently the most widely accepted standard for Object Oriented software diagrams in the software engineering field. However UML diagrams can be complex, difficult to interpret and remember. Various visualisation techniques, when used adequately, can be of tremendous assistance in expediting comprehension of such complex diagrams. In this paper we introduce and discuss the design and implementation of a java 3D tool that uses a new diagrammatic method, known as a geon diagram, for visualising UML class diagrams. Existing research has indicated that the geon diagram is both easier to understand and easier to remember than traditional UML class diagrams, therefore a UML geon based visualisation tool has the potential to provide cognitive support in the comprehension of object-oriented program architecture.
暂无评论