Výsledky vyhledávání - (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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat plný text

Programmable stream processors Autor 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…”
Získat 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ískat 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ískat plný text

Taming the Duplication-Loss-Coalescence Model with Integer Linear Programming Autor 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…”
Zjistit podrobnosti o přístupu

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ískat plný text