Search Results - publications of) concurrent constraint programming*

A Proof Theoretic Study of Soft Concurrent Constraint Programming by PIMENTEL, ELAINE, OLARTE, CARLOS, NIGAM, VIVEK

“…Concurrent Constraint Programming (CCP) is a simple and powerful model for concurrency where agents interact by telling and asking constraints…”
Get full text

Abstract diagnosis for timed concurrent constraint programs by COMINI, MARCO, TITOLO, LAURA, VILLANUEVA, ALICIA

“…The timed concurrent constraint language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat…”
Get full text

Logic and Computation

“… These topics include the model theory for formal logic-based formal specification and programming, logic mining and logic for games…”
Get full text

Observational equivalences for linear logic concurrent constraint languages by Haemmerle, Remy

“…Linear logic Concurrent Constraint programming (LCC) is an extension of concurrent constraint programming (CC…”
Get full text

Program sketching by Solar-Lezama, Armando

“…Sketching is a synthesis methodology that aims to bridge the gap between a programmer’s high-level insights about a problem and the computer’s ability to…”
Get full text

Concurrent goal-based execution of Constraint Handling Rules by LAM, EDMUND S. L., SULZMANN, MARTIN

“…We introduce a systematic, concurrent execution scheme for Constraint Handling Rules (CHR…”
Get full text

Biomass energy production in agriculture: A weighted goal programming analysis by Ballarin, A., Vecchiato, D., Tempesta, T., Marangon, F., Troiano, S.

“… A multi-period Weighted Goal Programming model (MpWGP) has been applied to identify the optimal land use combinations that simultaneously maximise farmers' income and biomass energy production under three concurrent constraints…”
Get full text

Upper and lower bounds for the sales force deployment problem with explicit contiguity constraints by Haase, Knut, Müller, Sven

“…•Exact and explicit contiguity constraints for sales territory alignment.•Branch-and-Price algorithm, column generation…”
Get full text

Automatic verification of timed concurrent constraint programs by FALASCHI, MORENO, VILLANUEVA, ALICIA

“…The language Timed Concurrent Constraint (tccp) is the extension over time of the Concurrent Constraint Programming (cc…”
Get full text

Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios by Toro, Mauricio, Desainte-Catherine, Myriam, Rueda, Camilo

“… Interactive scores (is) is a formalism based on temporal constraints to describe interactive scenarios…”
Get full text

Taming the Duplication-Loss-Coalescence Model with Integer Linear Programming by Paszek, Jarosław, Markin, Alexey, Górecki, Paweł, Eulenstein, Oliver

“…The duplication-loss-coalescence (DLC) parsimony model is invaluable for analyzing the complex scenarios of concurrent duplication loss and deep coalescence events in the evolution of gene families…”
Get more information

Interference aware resource allocation for hybrid hierarchical wireless networks by Thulasiraman, Preetha, Shen, Xuemin (Sherman)

“…) interference aware routing using maximum concurrent flow optimization; and (2) rate adaptive joint subcarrier and power allocation algorithm under interference and QoS constraints…”
Get full text

Evolutionary multi-objective concurrent maximisation of process tolerances by Sivakumar, K., Balamurugan, C., Ramabalan, S.

“…Concurrent tolerancing which simultaneously optimises process tolerance based on constraints of both dimensional and geometrical tolerances (DGTs…”
Get full text

Abstract Diagnosis for tccp using a Linear Temporal Logic by COMINI, MARCO, TITOLO, LAURA, VILLANUEVA, ALICIA

“…Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based on browsing the…”
Get full text

Logic programming in the context of multiparadigm programming: the Oz experience by VAN ROY, PETER, BRAND, PER, DUCHIER, DENYS, HARIDI, SEIF, SCHULTE, CHRISTIAN, HENZ, MARTIN

“… A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc.) with equal ease…”
Get full text

Petri Net Decomposition Approach to Optimization of Route Planning Problems for AGV Systems by Nishi, Tatsushi, Maeno, Ryota

“…) in semiconductor fabrication bays. An augmented PN is developed to model the concurrent dynamics for multiple AGVs…”
Get full text

A Concurrent Constraint Programming Interpretation of Access Permissions by Olarte, Carlos, Pimentel, Elaine, Rueda, Camilo

“… This paper presents a declarative interpretation of APs as Linear Concurrent Constraint Programs (lcc…”
Get full text

Programmable stream processors by Kapasi, U.J., Rixner, S., Dally, W.J., Khailany, B., Jung Ho Ahn, Mattson, P., Owens, J.D.

“…The demand for flexibility in media processing motivates the use of programmable processors. Stream processing bridges the gap between inflexible…”
Get full text

Concurrent optimal allocation of design and process tolerances for mechanical assemblies with interrelated dimension chains by Peng, H. P., Jiang, X. Q., Liu, X. J.

“…Concurrent tolerance allocation has been the focus of extensive research, yet very few researchers have considered how to concurrently allocate design and process tolerances for mechanical assemblies…”
Get full text

Static analysis for concurrent programs with applications to data race detection by Kahlon, Vineet, Sankaranarayanan, Sriram, Gupta, Aarti

“…We propose a general framework for static analysis of concurrent multi-threaded programs in the presence of various types of synchronization primitives such as locks and pairwise rendezvous…”
Get full text