the BSMLlib library is a library for Bulk Synchronous Parallel (BSP) programming withthe functional language Objective Caml. It is based on an extension of the lambda-calculus by parallel operations on a data structu...
详细信息
the BSMLlib library is a library for Bulk Synchronous Parallel (BSP) programming withthe functional language Objective Caml. It is based on an extension of the lambda-calculus by parallel operations on a data structure named parallel vector, which is given by intention. In order to have an execution that follows the BSP model, and to have a simple cost model, nesting of parallel vectors is not allowed. the novelty of this paper is a type system which prevents such nesting. this system is correct w.r.t. the dynamic semantics. (c) 2004 Elsevier B.V. All rights reserved.
Dynamic supply chain model is presented in this paper, mixed integer programming method is used. We combine strategy level with operation level. Simulation effect of two supply chain networks is analyzed by z transfor...
详细信息
ISBN:
(纸本)1595931120
Dynamic supply chain model is presented in this paper, mixed integer programming method is used. We combine strategy level with operation level. Simulation effect of two supply chain networks is analyzed by z transformation and exponential smoothing method, the objective is that obtains minimal cost of supply chain network structure.
the proceedings contain 33 papers from Logic programming and Nonmonotonic Reasoning : 7thinternationalconference LPNMR 2004. the topics discussed include: semantics for dynamic logic programming;probabilistic reason...
详细信息
the proceedings contain 33 papers from Logic programming and Nonmonotonic Reasoning : 7thinternationalconference LPNMR 2004. the topics discussed include: semantics for dynamic logic programming;probabilistic reasoning with answer sets;answer sets: from constraint programming towards qualitative optimization;a logic of non-monotonic inductive definitions and its modularity properties, and reasoning about actions and change in answer set programming.
the BSMLlib library is a library for Bulk Synchronous Parallel (BSP) programming withthe functional language Objective Caml. It is based on an extension of the lambda-calculus by parallel operations on a data structu...
详细信息
the BSMLlib library is a library for Bulk Synchronous Parallel (BSP) programming withthe functional language Objective Caml. It is based on an extension of the lambda-calculus by parallel operations on a data structure named parallel vector, which is given by intention. In order to have an execution that follows the BSP model, and to have a simple cost model, nesting of parallel vectors is not allowed. the novelty of this paper is a type system which prevents such nesting. this system is correct w.r.t. the dynamic semantics. (c) 2004 Elsevier B.V. All rights reserved.
the proceedings contain 19 papers from the Practical Aspects of Declarative Languages - 7thinternational Symposium, PADL 2005. the topics discussed include: functional framework for sound synthesis;specializing narro...
详细信息
the proceedings contain 19 papers from the Practical Aspects of Declarative Languages - 7thinternational Symposium, PADL 2005. the topics discussed include: functional framework for sound synthesis;specializing narrowing for time table generation;character-based cladistics and answer set programming;role-based declarative synchronization for reconfigurable systems;towards a more practical hybrid probabilistic logic;safe programming with pointers through stateful views;a provably correct compiler for efficient model checking of mobile processes;an ordered logic program solver;improving memory usage in the BEAM;and solving constraints on sets of spatial objects.
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Compiler. Despite not being full-fledged d...
详细信息
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Compiler. Despite not being full-fledged dependent types, GADTs still offer considerably enlarged scope for enforcing important code and data invariants statically. Moreover, GADTs offer the tantalizing possibility of writing more efficient programs since capturing invariants statically through the type system sometimes obviates entire layers of dynamic tests and associated data markup. this paper is a case study on the applications of GADTs in the context of Yampa, a domain-specific language for functional Reactive programming in the form of a self-optimizing, arrow-based Haskell combinator library. the paper has two aims. Firstly, to explore what kind of optimizations GADTs make possible in this context. Much of that should also be relevant for other domain-specific embedded language implementations, in particular arrow-based ones. Secondly, as the actual performance impact of the GADT-based optimizations is not obvious, to quantify this impact, both on tailored micro benchmarks, to establish the effectiveness of individual optimizations, and on two fairly large, realistic applications, to gauge the overall impact. the performance gains for the micro benchmarks are substantial. this implies that the Yampa API could be simplified as a number of "pre-composed" primitives that were there mainly for performance reasons are no longer needed. As to the applications, a worthwhile performance gain was obtained in one case whereas the performance was more or less unchanged in the other.
In the Vehicle Routing Problem with Multiple Trips, besides the classic Vehicle Routing Problem constraints, each vehicle is allowed to perform several routes in the same planning period. In this paper we propose an a...
详细信息
ISBN:
(纸本)9974002745
In the Vehicle Routing Problem with Multiple Trips, besides the classic Vehicle Routing Problem constraints, each vehicle is allowed to perform several routes in the same planning period. In this paper we propose an adaptive memory algorithm to solve this problem. High quality solutions were found over a set of benchmark problem instances, including some new best solutions.
In this paper, we evaluate the intrinsic survivability of packet-path networks such as ORION ones. By intrinsic survivability we refer to the ability to activate packet routing around node/link failures affecting path...
详细信息
ISBN:
(纸本)0780392361
In this paper, we evaluate the intrinsic survivability of packet-path networks such as ORION ones. By intrinsic survivability we refer to the ability to activate packet routing around node/link failures affecting paths. this can be considered as an automatic increase of traffic granularity (path to packet) around the failure. A distinctive feature of our model is that downstream nodes (after the failures) "catch" re-routed packets of the LSPs they recognize, and route them in path mode afterwards.
Business Process Modeling (BPM) is one of the key factors in defining service-oriented solutions for business collaborations. Like in traditional software engineering there is a need for adaptable methodologies to dev...
详细信息
ISBN:
(纸本)0769523846
Business Process Modeling (BPM) is one of the key factors in defining service-oriented solutions for business collaborations. Like in traditional software engineering there is a need for adaptable methodologies to develop information and communication technology (ICT) systems supporting collaborative business processes. In this work we introduce a categorization for the classification of modeling languages and approaches used to model collaborative business processes. Considering an example, we will show how the classification of modeling languages and approaches facilitates the development of methodologies for collaborative business processes.
this report summarizes the outcome of the 5(th) Workshop on Aspect-Oriented Modeling (AOM) held in conjunction withthe 7(th) internationalconference on the Unified Modeling Language - UML 2004 - in Lisbon, Portugal....
详细信息
ISBN:
(数字)9783540317975
ISBN:
(纸本)3540250816
this report summarizes the outcome of the 5(th) Workshop on Aspect-Oriented Modeling (AOM) held in conjunction withthe 7(th) internationalconference on the Unified Modeling Language - UML 2004 - in Lisbon, Portugal. the workshop brought together researchers and practitioners from two communities: aspect-oriented software development (AOSD) and software model engineering. It provided a forum for discussing the state of the art in modeling crosscutting concerns at different stages of the software development process: requirements elicitation and analysis, software architecture, detailed design, and mapping to aspect-oriented programming constructs.. this paper gives an overview of the accepted submissions, and summarizes the results of the different discussion groups.
暂无评论