Search Results - constraint-based concurrency

Constraint-Based Concurrency and Beyond

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)

Access URL: https://dblp.uni-trier.de/db/journals/entcs/entcs162.html#Ueda06
https://waseda.pure.elsevier.com/ja/publications/constraint-based-concurrency-and-beyond
https://www.sciencedirect.com/science/article/pii/S1571066106004567
https://core.ac.uk/display/82680481

Compiling a Calculus for Relaxed Memory: Practical constraint-based low-level concurrency

Authors: Sullivan, Michael J. Crary, Karl Joshi, Salil

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/1904.05389

A Constraint-based Language for Multiparty Interactions

Authors: Linda Brodo Carlos Olarte Olarte, Carlos

Contributors: Linda Brodo Carlos Olarte Olarte, Carlos

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

Access URL: https://dblp.uni-trier.de/db/conf/lsfa/lsfa2020.html#BrodoO20
https://www.sciencedirect.com/science/article/pii/S1571066120300396
https://www.openaccessrepository.it/record/84689

Concurrency and Replica Control for Constraint-Based Database Caching

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

A Close Look at Constraint-Based Concurrency

Authors: Kazunori Ueda

Source: Lecture Notes in Computer Science ISBN: 9783540429357

Constraint-Based Thread-Modular Abstract Interpretation

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

Spatial and Epistemic Modalities in Constraint-Based Process Calculi

Authors: Knight, Sophia Palamidessi, Catuscia Panangaden, Prakash et al.

Contributors: Knight, Sophia Palamidessi, Catuscia Panangaden, Prakash 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

Availability: https://hal.science/hal-00761116
https://hal.science/hal-00761116v1/document
https://hal.science/hal-00761116v1/file/eccp.pdf
https://doi.org/10.1007/978-3-642-32940-1

Less is sometimes more – constraint-based design principles for creativity support systems.

Authors: Siemon, Dominik Pilcicki, Raoul Lattemann, Christoph

Source: Information Technology & People; 2025, Vol. 38 Issue 8, p140-171, 32p

Subject Terms: VIRTUAL work teams, COGNITIVE load, DESIGN techniques, DESIGN science, CREATIVE ability, GROUPWARE (Computer software), EMPIRICAL research

Constraint-Based Concurrency and Beyond

Authors: Ueda, Kazunori¹ 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

Concurrency and Replica Control for Constraint-Based Database Caching.

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

ESfix: An Embedded Program Repair Tool for Effective Removal of Concurrency Defects.

Authors: Zhao, Jingwen Wu, Yanxia Fu, Yan et al.

Source: Entropy; Mar2025, Vol. 27 Issue 3, p294, 20p

Subject Terms: FLOWGRAPHS, ENTROPY (Information theory), ACCURACY of information, ENTROPY, EVERYDAY life

Representing Multi-agent Planning in CLP

Authors: DOVIER, Agostino FORMISANO Andrea PONTELLI Enrico

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

Access URL: https://hdl.handle.net/11390/882279
https://doi.org/10.1007/978-3-642-04238-6_37
https://hdl.handle.net/11391/172865
https://doi.org/10.1007/978-3-642-04238-6_37

ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs

Authors: Sepideh Khoshnood Chao Wang Markus Kusano

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

Access URL: https://dblp.uni-trier.de/db/conf/issta/issta2015.html#KhoshnoodKW15
https://doi.org/10.1145/2771783.2771798
https://www.faculty.ece.vt.edu/chaowang/pubDOC/KhoshnoodKW15.pdf
http://www.ece.vt.edu/chaowang/pubDOC/KhoshnoodKW15.pdf

A generic framework for representing and analyzing model concurrency.

Authors: Zschaler, Steffen Bousse, Erwan Deantoni, Julien et al.

Source: Software & Systems Modeling; Aug2023, Vol. 22 Issue 4, p1319-1340, 22p

Subject Terms: DEBUGGING

Geographic Terms: JAVA (Indonesia)

Constraint Based Program Repair for Persistent Memory Bugs.

Authors: Huang, Zunchen Wang, Chao

Source: ICSE: International Conference on Software Engineering; 2024, p1-12, 12p

Subject Terms: FINANCIAL management, DEBUGGING, ELECTRONIC data processing, BENCHMARKING (Management), COMPUTER software

Constraint Solving for Diagnosing Concurrency Bugs

Authors: Khoshnood, Sepideh

Index Terms: Concurrency, Bug Localization, Bounded Model Checking, MAX-SAT, Thesis

URL: http://hdl.handle.net/10919/52784

A Constraint-based Language for Multiparty Interactions.

Authors: Brodo, Linda Olarte, Carlos

Source: ENTCS: Electronic Notes in Theoretical Computer Science. Sep2020, Vol. 351, p25-50. 26p.

Subject Terms: Service level agreements, Binary number system, Mechanical models, Credit cards, Constraint algorithms, Calculi

Declarative event based models of concurrency and refinement in psi-calculi

Authors: Normann, Håkon Johansen, Christian Hildebrandt, Thomas

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

Access URL: https://pure.itu.dk/ws/files/82357235/Declarative_event_based_models_of_concurrency_and_refinement_in_psi_calculi.pdf

Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project.

Authors: Ueda, Kazunori

Source: Functional & Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings; 2016, p1-11, 11p

CLAP: Recording local executions to reproduce concurrency failures

Authors: Huang, Jeff Shaoming Zhang, Charles C Dolby, Julian

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