Suchergebnisse - (publications of) concurrent constraint programming

A Proof Theoretic Study of Soft Concurrent Constraint Programming von 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 …”
Volltext

Abstract diagnosis for timed concurrent constraint programs von 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 …”
Volltext

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

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

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

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

Concurrent product configuration and process planning: Some optimization experimental results von Pitiot, Paul, Aldanondo, Michel, Vareilles, Elise

“… The configuration and planning problems are considered as constraint satisfaction problems (CSPs). After some recalls about this two-step approach, we propose to evaluate a recent evolutionary optimization algorithm called CFB-EA …”
Volltext

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

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

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

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

Logic and Computation

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

Program sketching von 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 …”
Volltext

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

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

Logic programming in the context of multiparadigm programming: the Oz experience von 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 …”
Volltext

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

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

Abstract Diagnosis for tccp using a Linear Temporal Logic von 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 …”
Volltext

Interference aware resource allocation for hybrid hierarchical wireless networks von 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 …”
Volltext

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

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

Biomass energy production in agriculture: A weighted goal programming analysis von 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 …”
Volltext

Concurrent optimal allocation of design and process tolerances for mechanical assemblies with interrelated dimension chains von 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 …”
Volltext

Static analysis for concurrent programs with applications to data race detection von 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 …”
Volltext

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

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

An integrated model and a decomposition-based approach for concurrent layout and material handling system design von Ioannou, George

“… This paper presents an integer programming formulation that integrates decisions concerning the layout of the resource groups on the shop floor with the design of the material handling system …”
Volltext