Concurrent and distributed programming using constraint logic programs

Concurrent and distributed programming using constraint logic programs

Proceedings of the ACM Symposium on Applied Computing

Saved in:

書目詳細資料
Main Authors:	Ramirez, R., Santosa, A.
其他作者:	COMPUTER SCIENCE
格式:	Conference or Workshop Item
出版:	2013
主題:	Concurrency Constraints Separation of concerns
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/40722
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	National University of Singapore

相似書籍

Barriers in concurrent separation logic: Now with tool support!
由: Hobor, A., et al.
出版: (2013)

Parallel execution of constraint handling rules - Theory, implementation and application
由: LAM SOON LEE, EDMUND
出版: (2011)

A concurrent constraint handling rules implementation in Haskell with software transactional memory
由: Lam, E.S.L., et al.
出版: (2013)

Specification and Verification of Shared-Memory Concurrent Programs
由: LE DUY KHANH
出版: (2014)

Formal verification of concurrent and distributed constraint-based java programs
由: Ramirez, R., et al.
出版: (2013)

Open constraint programming
由: ZHU QILI, KENNY
出版: (2011)

Constraint-based program reasoning with heaps and separation
由: Duck, G.J., et al.
出版: (2014)

Variable permissions for concurrency verification
由: Le, D.-K., et al.
出版: (2013)

Constraint Programming 2000: A Position Paper
由: Jaffar, J., et al.
出版: (2014)

A SESSION LOGIC FOR RELAXED COMMUNICATION PROTOCOLS
由: MIRELA ANDREEA COSTEA
出版: (2018)

A semantics comparison workbench for a concurrent, asynchronous, distributed programming language
由: CORRODI, Claudio, et al.
出版: (2017)

Using contracts to guide the search-based verification of concurrent programs
由: POSKITT, Christopher M., et al.
出版: (2013)

Schedulers for rule-based constraint programming
由: Apt, K.R., et al.
出版: (2013)

A framework for construction requirements based planning utilizing constraints logic programming
由: Chua, D.K.H., et al.
出版: (2014)

Exploring Alternative Restoration Techniques in Constraint Programming
由: LIN YONG
出版: (2014)

Concurrent liability in tort and contract
由: GOH, Yihan, et al.
出版: (2017)

An Overview of Finite Domain Constraint Programming
由: Henz, M, et al.
出版: (2021)

Adaptive randomized scheduling for concurrency bug detection
由: WANG, Zan, et al.
出版: (2019)

A robust SQP method for mathematical programs with linear complementarity constraints
由: Liu, X., et al.
出版: (2013)

Concurrency control and consistency over erasure coded data
由: Datta, Anwitaman, et al.
出版: (2023)

A framework for program reasoning based on constraint traces
由: ANDREW EDWARD SANTOSA
出版: (2010)

Neural regret-matching for distributed constraint optimization problems
由: DENG, Yanchen, et al.
出版: (2021)

Constraint handling methods in pavement maintenance programming
由: Chan, W.T., et al.
出版: (2014)

IFIX: Fixing concurrency bugs while they are introduced
由: WANG, Zan, et al.
出版: (2020)

Semantic web to aid interoperability in concurrent engineering
由: Pinpin, Lord Kenneth M.
出版: (2004)

Logical reasoning for disjoint permissions
由: Le X.-B., et al.
出版: (2020)

TOWARDS AN INTEGRATED FRAMEWORK FOR DESIGNING CONCURRENCY CONTROL AND LOGGING FOR IN-MEMORY DATABASES
由: YAO CHANG
出版: (2017)

Achieving high MAP-coverage through pattern constraint reduction
由: ZHAO, Yingquan, et al.
出版: (2023)

An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
由: Cheng, K.C.K., et al.
出版: (2013)

“Shift-Left” Algorithms transforming sequential processes into concurrent ones
由: Hoang, Chi Thanh
出版: (2017)

An Internet-enabled integrated system for co-design and concurrent engineering
由: Li, W.D., et al.
出版: (2014)

Improving GPGPU Energy-Efficiency through Concurrent Kernel Execution and DVFS
由: JIAO QING
出版: (2014)

Implementation and Applications of Ad Hoc Constraints
由: CHENG CHI KAN
出版: (2010)

STEP-based integration of feature recognition and design-by-feature for manufacturing applications in a concurrent engineering environment
由: Ong, S.K., et al.
出版: (2014)

Solving functional constraints by variable substitution
由: Zhang, Y., et al.
出版: (2013)

Integrity constraint checking in deductive databases using the Prolog not-predicate
由: Ling, T.-W.
出版: (2014)

A distributive and collaborative concurrent product design system through the WWW/Internet
由: Qiang, L., et al.
出版: (2014)

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
出版: (2017)

A framework for separation of concerns in concurrent programming
由: Ramirez, R., et al.
出版: (2013)

Neoadjuvant chemotherapy followed by concurrent chemoradiation for locoregionally advanced nasopharyngeal carcinoma: Interim results from 2 prospective phase 2 clinical trials
由: Kong, L., et al.
出版: (2016)