Výsledky vyhľadávania - (publications of) concurrent constraint programming

A Proof Theoretic Study of Soft Concurrent Constraint Programming Autor 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…”
Získať plný text

Abstract diagnosis for timed concurrent constraint programs Autor 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…”
Získať plný text

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

“…Linear logic Concurrent Constraint programming (LCC) is an extension of concurrent constraint programming (CC…”
Získať plný text

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

“…We introduce a systematic, concurrent execution scheme for Constraint Handling Rules (CHR…”
Získať plný text

Concurrent product configuration and process planning: Some optimization experimental results Autor 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…”
Získať plný text

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

“…The language Timed Concurrent Constraint (tccp) is the extension over time of the Concurrent Constraint Programming (cc…”
Získať plný text

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

“… Interactive scores (is) is a formalism based on temporal constraints to describe interactive scenarios…”
Získať plný text

Logic and Computation

“… These topics include the model theory for formal logic-based formal specification and programming, logic mining and logic for games…”
Získať plný text

Program sketching Autor 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…”
Získať plný text

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

“…•Exact and explicit contiguity constraints for sales territory alignment.•Branch-and-Price algorithm, column generation…”
Získať plný text

Logic programming in the context of multiparadigm programming: the Oz experience Autor 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…”
Získať plný text

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

“… This paper presents a declarative interpretation of APs as Linear Concurrent Constraint Programs (lcc…”
Získať plný text

Abstract Diagnosis for tccp using a Linear Temporal Logic Autor 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…”
Získať plný text

Interference aware resource allocation for hybrid hierarchical wireless networks Autor 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…”
Získať plný text

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

“…Concurrent tolerancing which simultaneously optimises process tolerance based on constraints of both dimensional and geometrical tolerances (DGTs…”
Získať plný text

Biomass energy production in agriculture: A weighted goal programming analysis Autor 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…”
Získať plný text

Concurrent optimal allocation of design and process tolerances for mechanical assemblies with interrelated dimension chains Autor 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…”
Získať plný text

Static analysis for concurrent programs with applications to data race detection Autor 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…”
Získať plný text

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

“…) in semiconductor fabrication bays. An augmented PN is developed to model the concurrent dynamics for multiple AGVs…”
Získať plný text

An integrated model and a decomposition-based approach for concurrent layout and material handling system design Autor 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…”
Získať plný text