Search Results - constraint-based concurrency
-
1
Authors: Kazunori Ueda
Source: Electronic Notes in Theoretical Computer Science. 162:327-331
Subject Terms: concurrent logic programming, LMNtal, concurrent constraint programming, hierarchical graph rewriting, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice, constraint-based concurrency, mobility, multiset rewriting, Theoretical Computer Science, Computer Science(all)
-
2
-
3
Authors:
Contributors:
Source: Electronic Notes in Theoretical Computer Science. 351:25-50
Subject Terms: General Computer Science, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Concurrency theory, Constraints, Multiparty interactions, 01 natural sciences, Theoretical Computer Science
File Description: application/pdf
-
4
Authors: Joachim Klein
Source: Lecture Notes in Computer Science ISBN: 9783642155758
Access URL: http://wwwlgis.informatik.uni-kl.de/cms/fileadmin/users/jklein/documents/JK10.ADBIS.pdf
http://wwwlgis.informatik.uni-kl.de/cms/fileadmin/users/jklein/documents/JK10.ADBIS.pdf
https://doi.org/10.1007/978-3-642-15576-5_24
https://link.springer.com/chapter/10.1007%2F978-3-642-15576-5_24
https://dblp.uni-trier.de/db/conf/adbis/adbis2010.html#Klein10
https://rd.springer.com/chapter/10.1007/978-3-642-15576-5_24 -
5
Authors: Kazunori Ueda
Source: Lecture Notes in Computer Science ISBN: 9783540429357
-
6
Authors: Kusano, Markus Jan Urban
Thesis Advisors: Electrical and Computer Engineering, Wang, Chao, Hsiao, Michael S., Zeng, Haibo, Lee, Dongyoon, Schaumont, Patrick R.
Subject Terms: abstract interpretation, concurrency, verification, static analysis
File Description: ETD; application/pdf
Availability: http://hdl.handle.net/10919/84399
-
7
Authors: et al.
Contributors: et al.
Source: CONCUR 2012 - 23rd International Conference on Concurrency Theory ; https://hal.science/hal-00761116 ; CONCUR 2012 - 23rd International Conference on Concurrency Theory, Sep 2012, Newcastle upon Tyne, United Kingdom. pp.317-332, ⟨10.1007/978-3-642-32940-1⟩
Subject Terms: Modal Logic, Social Networks, Epistemic Logic, Knowledge, Constraint Programming, Cloud Storage, Concurrency, F.4.1, D.1.3, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Newcastle upon Tyne, United Kingdom
Relation: info:eu-repo/grantAgreement//295261/EU/Mobility between Europe and Argentina applying Logics to Systems/MEALS
-
8
Authors:
Source: Information Technology & People; 2025, Vol. 38 Issue 8, p140-171, 32p
-
9
Authors: Ueda, Kazunori1 ueda@ueda.info.waseda.ac.jp
Source: ENTCS: Electronic Notes in Theoretical Computer Science. Sep2006, Vol. 162, p327-331. 5p.
Subject Terms: Computer multitasking, Logic programming, Calculus, Computer programming, Mathematical analysis
-
10
Authors: Klein, Joachim
Source: Advances in Databases & Information Systems: 14th East European Conference, ADBIS 2010, Novi Sad, Serbia, September 20-24, 2010. Proceedings; 2011, p305-319, 15p
-
11
Authors: et al.
Source: Entropy; Mar2025, Vol. 27 Issue 3, p294, 20p
Subject Terms: FLOWGRAPHS, ENTROPY (Information theory), ACCURACY of information, ENTROPY, EVERYDAY life
-
12
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783642042379
Subject Terms: Action language, Combined effect, Concurrency constraints, Constraint logic programming, Constraint-based, Declarative descriptions, Delayed effects, Interacting agents, Large class, Multi-Agent, Multi-agent planning, Planning domains, Action Description Languages, Multi-agent systems, Knowledge Representation, Planning, Constraint Logic Programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
-
13
Authors:
Source: Proceedings of the 2015 International Symposium on Software Testing and Analysis. :165-176
Subject Terms: 13. Climate action, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 7. Clean energy
-
14
Authors: et al.
Source: Software & Systems Modeling; Aug2023, Vol. 22 Issue 4, p1319-1340, 22p
Subject Terms: DEBUGGING
Geographic Terms: JAVA (Indonesia)
-
15
Authors:
Source: ICSE: International Conference on Software Engineering; 2024, p1-12, 12p
Subject Terms: FINANCIAL management, DEBUGGING, ELECTRONIC data processing, BENCHMARKING (Management), COMPUTER software
-
16
-
17
Authors:
Source: ENTCS: Electronic Notes in Theoretical Computer Science. Sep2020, Vol. 351, p25-50. 26p.
-
18
Authors:
Source: Normann, H, Johansen, C & Hildebrandt, T 2015, 'Declarative event based models of concurrency and refinement in psi-calculi', Journal of Logic and Algebraic Programming, vol. 85, no. 3, pp. 368-398. https://doi.org/10.1016/j.jlamp.2015.12.007
Subject Terms: Action refinement, Concurrency, 0202 electrical engineering, electronic engineering, information engineering, Declarative models, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Prime event structures, DCR graphs, Psi-calculi
File Description: application/pdf
-
19
Authors: Ueda, Kazunori
Source: Functional & Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings; 2016, p1-11, 11p
-
20
Authors:
Index Terms: Bug Reproduction, Concurrency, Constraint Solving, Local Execution, Conference paper
URL:
http://repository.hkust.edu.hk/ir/Record/1783.1-55340 https://doi.org/10.1145/2462156.2462167 http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=1523-2867&rft.volume=&rft.issue=&rft.date=2013&rft.spage=141&rft.aulast=Huang&rft.aufirst=J.&rft.atitle=CLAP%3A+Recording+local+executions+to+reproduce+concurrency+failures&rft.title=Proceedings+of+the+ACM+SIGPLAN+Conference+on+Programming+Language+Design+and+Implementation http://www.scopus.com/record/display.url?eid=2-s2.0-84883060129&origin=inward http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=LinksAMR&SrcApp=PARTNER_APP&DestLinkType=FullRecord&DestApp=WOS&KeyUT=000321865400015
Full Text Finder
Nájsť tento článok vo Web of Science