Search Results - (Applications of) Concurrent Constraint Programming

Refine Results
  1. 1

    Cyclic scheduling of multi-type wafers concurrent processing in single-arm cluster tools with residency time constraints by Li, Xin, Yang, Wen

    ISSN: 0957-4174
    Published: Elsevier Ltd 15.04.2025
    Published in Expert systems with applications (15.04.2025)
    “… This paper proposes an approach towards the generalized cyclic scheduling of multiple wafer types in single-arm cluster tools, considering residency time constraints…”
    Get full text
    Journal Article
  2. 2

    Concurrent multi-scale design optimization of composite frames with manufacturing constraints by Yan, Jun, Duan, Zunyi, Lund, Erik, Wang, Jingyuan

    ISSN: 1615-147X, 1615-1488
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.09.2017
    “…This paper presents a gradient based concurrent multi-scale design optimization method for composite frames considering specific manufacturing constraints raised from the aerospace industrial requirements…”
    Get full text
    Journal Article
  3. 3

    Models and emerging trends of concurrent constraint programming by Olarte, Carlos, Rueda, Camilo, Valencia, Frank D.

    ISSN: 1383-7133, 1572-9354
    Published: Boston Springer US 01.10.2013
    Published in Constraints : an international journal (01.10.2013)
    “…Concurrent Constraint Programming (CCP) has been used over the last two decades as an elegant and expressive model for concurrent systems…”
    Get full text
    Journal Article
  4. 4

    MAPS: Mapping Concurrent Dataflow Applications to Heterogeneous MPSoCs by Castrillon, J., Leupers, R., Ascheid, G.

    ISSN: 1551-3203, 1941-0050
    Published: Piscataway IEEE 01.02.2013
    “…Processor Systems on Chip (MPSoCs) in order to cope with the increasing applications demands and the tight energy budget of portable devices…”
    Get full text
    Journal Article
  5. 5

    Balancing of cost-oriented U-type general resource-constrained assembly line: new constraint programming models by Alakaş, Hacı Mehmet, Pınarbaşı, Mehmet

    ISSN: 1432-7643, 1433-7479
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2023
    Published in Soft computing (Berlin, Germany) (01.12.2023)
    “… Two different constraint programming (CP) models that define the resource constraints as “and/or” constraint…”
    Get full text
    Journal Article
  6. 6

    Concurrent two-scale topological design of multiple unit cells and structure using combined velocity field level set and density model by Wang, Yaguang, Kang, Zhan

    ISSN: 0045-7825, 1879-2138
    Published: Amsterdam Elsevier B.V 15.04.2019
    “…This paper studies concurrent two-scale design optimization of composite structures filled with multiple microstructural unit cells…”
    Get full text
    Journal Article
  7. 7

    Constraint programming model for resource-constrained assembly line balancing problem by Alakaş, Hacı Mehmet, Pınarbaşı, Mehmet, Yüzükırmızı, Mustafa

    ISSN: 1432-7643, 1433-7479
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2020
    Published in Soft computing (Berlin, Germany) (01.04.2020)
    “… However, tasks may need to be processed by general resource requirements in real life. These general resources could be classified by usage of resources such as simple or multiple, alternative and concurrent…”
    Get full text
    Journal Article
  8. 8

    Mitigation of adverse interactions in pairs of clinical practice guidelines using constraint logic programming by Wilk, Szymon, Michalowski, Wojtek, Michalowski, Martin, Farion, Ken, Hing, Marisela Mainegra, Mohapatra, Subhra

    ISSN: 1532-0464, 1532-0480, 1532-0480
    Published: United States Elsevier Inc 01.04.2013
    Published in Journal of biomedical informatics (01.04.2013)
    “… ► We propose a method for automatic mitigation of adverse interactions in CPGs. ► We combine constraint logic programming model with encoded clinical knowledge…”
    Get full text
    Journal Article
  9. 9

    TinyOS-New Trends, Comparative Views, and Supported Sensing Applications: A Review by Amjad, Muhammad, Sharif, Muhammad, Afzal, Muhammad Khalil, Sung Won Kim

    ISSN: 1530-437X, 1558-1748
    Published: New York IEEE 01.05.2016
    Published in IEEE sensors journal (01.05.2016)
    “… Tiny operating system (TinyOS) is a widely used operating system for sensor nodes, which provides concurrency and flexibility while adhering to the constraints of scarce resources…”
    Get full text
    Journal Article
  10. 10

    Concurrent product configuration and process planning: Some optimization experimental results by Pitiot, Paul, Aldanondo, Michel, Vareilles, Elise

    ISSN: 0166-3615, 1872-6194
    Published: Kidlington Elsevier B.V 01.05.2014
    Published in Computers in industry (01.05.2014)
    “… The configuration and planning problems are considered as constraint satisfaction problems (CSPs). After some recalls about this two-step approach, we propose to evaluate a recent evolutionary optimization algorithm called CFB-EA…”
    Get full text
    Journal Article
  11. 11

    Modeling Biological Systems in Stochastic Concurrent Constraint Programming by Bortolussi, Luca, Policriti, Alberto

    ISSN: 1383-7133, 1572-9354
    Published: Boston Springer US 01.06.2008
    Published in Constraints : an international journal (01.06.2008)
    “…We present an application of stochastic Concurrent Constraint Programming (sCCP) for modeling biological systems…”
    Get full text
    Journal Article
  12. 12

    A robust bi-objective model for concurrent planning of project scheduling and material procurement by Tabrizi, Babak H., Ghaderi, Seyed Farid

    ISSN: 0360-8352, 1879-0550
    Published: New York Elsevier Ltd 01.08.2016
    Published in Computers & industrial engineering (01.08.2016)
    “…•Application of tuned meta-heuristics to solve the model of different sizes. Simultaneous planning of project scheduling and material procurement can lead to the project execution costs improvement…”
    Get full text
    Journal Article
  13. 13

    Concurrent motion planning and reaction load distribution for redundant dynamic systems under external holonomic constraints by Kim, Joo H., Abdel-Malek, Karim, Xiang, Yujiang, Yang, Jingzhou (James), Arora, Jasbir S.

    ISSN: 0029-5981, 1097-0207, 1097-0207
    Published: Chichester, UK John Wiley & Sons, Ltd 07.10.2011
    “…Dynamics of mechanical systems during motion usually involves reaction forces and moments due to the interaction with external objects or constraints from the environment…”
    Get full text
    Journal Article
  14. 14

    Scheduling residency time-constrained single-armed cluster tools with two-wafer types via mixed integer programming model by Yang, Fajun, Li, Chao, Zhen, Lu, Zhang, Chunjiang, Wu, Naiqi

    ISSN: 0957-4174
    Published: Elsevier Ltd 01.09.2025
    Published in Expert systems with applications (01.09.2025)
    “…•A mixed integer programming model is formulated to determine the optimal wafer release sequence and robot task sequence…”
    Get full text
    Journal Article
  15. 15

    A sequential approximate programming strategy for reliability-based structural optimization by Cheng, Gengdong, Xu, Lin, Jiang, Lei

    ISSN: 0045-7949, 1879-2243
    Published: Oxford Elsevier Ltd 01.08.2006
    Published in Computers & structures (01.08.2006)
    “… A number of algorithms have been proposed to reduce the computational cost of such optimizations, such as performance measure approach, semi-infinite programming, and mono-level approach…”
    Get full text
    Journal Article
  16. 16

    Concurrent Cuba by Hahn, T.

    ISSN: 0010-4655, 1879-2944
    Published: Elsevier B.V 01.10.2016
    Published in Computer physics communications (01.10.2016)
    “… The parallelization is based on the fork/wait POSIX functions, needs no extra software installed, imposes almost no constraints on the integrand function, and works largely automatically. Program title…”
    Get full text
    Journal Article
  17. 17

    Concurrent Optimization of Subway Vertical Alignments and Station Elevations With Improved Particle Swarm Optimization Algorithm by Wei, Li, Qiu, Xiao, Pu, Hao, Schonfeld, Paul, Zhen, Shujun, Zhou, Yuhui, Xu, Zhanjun

    ISSN: 1524-9050, 1558-0016
    Published: New York IEEE 01.12.2022
    “… In this paper, a concurrent optimization model of stations and links is developed, in which the vertical points of intersection in stations and links are design variables…”
    Get full text
    Journal Article
  18. 18

    Optimal parameters and tolerances in concurrent product and process design using simulation and fuzzy goal programming by Al-Refaie, Abbas, Haddadin, Mays, Qabaja, Alaa

    ISSN: 0265-671X, 1758-6682
    Published: Bradford Emerald Publishing Limited 14.01.2020
    “…Purpose The purpose of this paper is to propose an approach to determine the optimal parameters and tolerances in concurrent product and process design in the early design stages utilizing fuzzy goal programming…”
    Get full text
    Journal Article
  19. 19

    Automated minimum-weight sizing design framework for tall self-standing modular buildings subjected to multiple performance constraints under static and dynamic wind loads by Wang, Zixiao, Rajana, Komal, Corfar, Dan-Adrian, Tsavdaridis, Konstantinos Daniel

    ISSN: 0141-0296, 1873-7323
    Published: Elsevier Ltd 01.07.2023
    Published in Engineering structures (01.07.2023)
    “…•The optimisation is relying on a novel discrete sizing formulation considering, concurrently, multiple structural serviceability and safety constraints related to static and dynamic wind loading…”
    Get full text
    Journal Article
  20. 20

    DSML4CP: A Domain-specific Modeling Language for Concurrent Programming by Azadi Marand, Elaheh, Azadi Marand, Elham, Challenger, Moharram

    ISSN: 1477-8424, 1873-6866
    Published: Elsevier Ltd 01.12.2015
    Published in Computer languages, systems & structures (01.12.2015)
    “…Nowadays, concurrent programs are an inevitable part of many software applications…”
    Get full text
    Journal Article