Gotowa bibliografia na temat „Distributed contraint solving”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Distributed contraint solving”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Distributed contraint solving"
SO, YOUNG-PA, i EDMUND H. DURFEE. "A DISTRIBUTED PROBLEM-SOLVING INFRASTRUCTURE FOR COMPUTER NETWORK MANAGEMENT". International Journal of Cooperative Information Systems 01, nr 02 (czerwiec 1992): 363–92. http://dx.doi.org/10.1142/s0218215792000246.
Pełny tekst źródłaEt al., *Wan Nur Izzah Wan Muhamad Fokri. "THE UNCLAIMED INHERITANCE ISSUES: A SOLUTION USING BLOCKCHAIN TECHNOLOGY". Psychology and Education Journal 58, nr 1 (15.01.2021): 4709–17. http://dx.doi.org/10.17762/pae.v58i1.1630.
Pełny tekst źródłaSHEKHAR, SHASHI, i C. V. RAMAMOORTHY. "COOP: A SELF-ASSESSMENT BASED APPROACH TO COOPERATING EXPERT SYSTEMS". International Journal on Artificial Intelligence Tools 01, nr 02 (czerwiec 1992): 175–204. http://dx.doi.org/10.1142/s0218213092000181.
Pełny tekst źródłaNanayakkara, Samudaya, Srinath Perera, Sepani Senaratne, Geeganage Thilini Weerasuriya i Herath Mudiyanselage Nelanga Dilum Bandara. "Blockchain and Smart Contracts: A Solution for Payment Issues in Construction Supply Chains". Informatics 8, nr 2 (27.05.2021): 36. http://dx.doi.org/10.3390/informatics8020036.
Pełny tekst źródłaHongmei, Zhao. "A Cross-Border E-Commerce Approach Based on Blockchain Technology". Mobile Information Systems 2021 (15.07.2021): 1–10. http://dx.doi.org/10.1155/2021/2006082.
Pełny tekst źródłaRauzana, Anita, Muhammad Hafidz Akbar i Wira Dharma. "The influence of project manager competencies on the success of construction projects: A case of Indonesia". Problems and Perspectives in Management 20, nr 4 (18.10.2022): 67–75. http://dx.doi.org/10.21511/ppm.20(4).2022.06.
Pełny tekst źródłaGuan, Yurong, Muhammad Aamir, Zaheer Ahmed Dayo, Ziaur Rahman, Waheed Ahmed Abro, Irfan Ali i Zhihua Hu. "A Coordinated Optimization Model of the Complex System of the Green Supply Chain Distribution Network". Discrete Dynamics in Nature and Society 2021 (12.08.2021): 1–12. http://dx.doi.org/10.1155/2021/4077151.
Pełny tekst źródłaGatitu, J. N., C. K. Kabubo i P. Ajwang. "Approaches on Mitigating Variation Orders in Road Construction Industry in Kenya: The Case of Kenya National Highways Authority (KeNHA)". Engineering, Technology & Applied Science Research 10, nr 5 (26.10.2020): 6195–99. http://dx.doi.org/10.48084/etasr.3737.
Pełny tekst źródłaЗавгородній, В. А. "Theoretical Tools for Studying the Phenomenon of the Influence of the European Court of Human Rights Practice on Legal Activities in Ukraine". Науково-теоретичний журнал «Вісник Луганського державного університету внутрішніх справ імені Е.О. Дідоренка» 1, nr 85 (28.03.2019): 20–30. http://dx.doi.org/10.33766/2524-0323.85.20-30.
Pełny tekst źródła"Modeling And Optimization Of The Construction Organization's Production Program". Promyshlennoe i Grazhdanskoe Stroitel'stvo, nr 6 (czerwiec 2020): 49–56. http://dx.doi.org/10.33622/0869-7019.2020.06.49-56.
Pełny tekst źródłaRozprawy doktorskie na temat "Distributed contraint solving"
Fu, Ser-Geon. "Genetic and evolionary protocols for solving distributed asymmetric contraint satisfaction problems". Auburn, Ala., 2007. http://repo.lib.auburn.edu/07M%20Dissertations/FU_SER-GEON_10.pdf.
Pełny tekst źródłaZhou, Lingzhong, i n/a. "Agent Ordering and Nogood Repairs in Distributed Constraint Solving". Griffith University. School of Information and Communication Technology, 2006. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20070713.162515.
Pełny tekst źródłaZhou, Lingzhong. "Agent Ordering and Nogood Repairs in Distributed Constraint Solving". Thesis, Griffith University, 2006. http://hdl.handle.net/10072/365303.
Pełny tekst źródłaThesis (PhD Doctorate)
Doctor of Philosophy (PhD)
School of Information and Communication Technology
Full Text
Hoessen, Benoît. "Solving the Boolean satisfiability problem using the parallel paradigm". Thesis, Artois, 2014. http://www.theses.fr/2014ARTO0406/document.
Pełny tekst źródłaThis thesis presents different technique to solve the Boolean satisfiability problem using parallel and distributed architectures. In order to provide a complete explanation, a careful presentation of the CDCL algorithm is made, followed by the state of the art in this domain. Once presented, two propositions are made. The first one is an improvement on a portfolio algorithm, allowing to exchange more data without loosing efficiency. The second is a complete library with its API allowing to easily create distributed SAT solver
Benharrat, Nassim. "Model-Based Testing of Timed Distributed Systems : A Constraint-Based Approach for Solving the Oracle Problem". Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLC021/document.
Pełny tekst źródłaModel-based testing of reactive systems is the process of checking if a System Under Test (SUT) conforms to its model. It consists of handling both test data generation and verdict computation by using models. We specify the behaviour of reactive systems using Timed Input Output Symbolic Transition Systems (TIOSTS) that are timed automata enriched with symbolic mechanisms to handle data. When TIOSTSs are used to test systems with a centralized interface, the user may completely order events occurring at this interface (i.e., inputs sent to the system and outputs produced from it). Interactions between the tester and the SUT are sequences of inputs and outputs named traces, separated by delays in the timed framework, to form so-called timed traces. Distributed systems are collections of communicating local components which interact with their environment at physically distributed interfaces. Interacting with such a distributed system requires exchanging values with it by means of several interfaces in the same testing process. Different events occurring at different interfaces cannot be ordered any more. This thesis focuses on conformance testing for distributed systems where a separate tester is placed at each localized interface and may only observe what happens at this interface. We assume that there is no global clock but only local clocks for each localized interface. The semantics of such systems can be seen as tuples of timed traces. We consider a framework for distributed testing from TIOSTS along with corresponding test hypotheses and a distributed conformance relation called dtioco. Global conformance can be tested in a distributed testing architecture using only local testers without any communication between them. We propose an algorithm to check communication policy for a tuple of timed traces by formulating the verification of message passing in terms of Constraint Satisfaction Problem (CSP). Hence, we were able to implement the computation of test verdicts by orchestrating both localised off-line testing algorithms and the verification of constraints defined by message passing that can be supported by a constraint solver. Lastly, we validated our approach on a real case study of a telecommunications distributed system
Części książek na temat "Distributed contraint solving"
Cammarata, Stephanie, David McArthur i Randall Steeb. "STRATEGIES OF COOPERATION IN DISTRIBUTED PROBLEM SOLVING††The work reported here was supported by Contract MDA903-82-C-0061 from the Information Processing Technology Office of the Defense Advanced Projects Agency (DOD)." W Readings in Distributed Artificial Intelligence, 102–5. Elsevier, 1988. http://dx.doi.org/10.1016/b978-0-934613-63-7.50012-7.
Pełny tekst źródłaStreszczenia konferencji na temat "Distributed contraint solving"
Alexandridis, Paschalis, Dengpan Dong, Dmitry Bedrov, Marina Tsianou i Samhitha Kancharla. "Surfactant micelle structure and composition". W 2022 AOCS Annual Meeting & Expo. American Oil Chemists' Society (AOCS), 2022. http://dx.doi.org/10.21748/hwzn7583.
Pełny tekst źródłaPanchal, Jitesh H., Marco Gero Ferna´ndez, Janet K. Allen, Christiaan J. J. Paredis i Farrokh Mistree. "An Interval-Based Focalization Method for Decision-Making in Decentralized, Multi-Functional Design". W ASME 2005 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2005. http://dx.doi.org/10.1115/detc2005-85322.
Pełny tekst źródła