Suchergebnisse - Soft Concurrent Constraint Programming*

Observational and behavioural equivalences for soft concurrent constraint programming von Gadducci, Fabio, Santini, Francesco, Pino, Luis F., Valencia, Frank D.

“… We present a labelled semantics for Soft Concurrent Constraint Programming (SCCP), a meta-language where concurrent agents may synchronise on a shared store by either posting or checking the satisfaction …”
Volltext

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

Timed soft concurrent constraint programs: An interleaved and a parallel approach von BISTARELLI, STEFANO, GABBRIELLI, MAURIZIO, MEO, MARIA CHIARA, SANTINI, FRANCESCO

“… We propose a timed and soft extension of Concurrent Constraint Programming. The time extension is based on the hypothesis of bounded asynchrony …”
Volltext

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

Soft Concurrent Constraint Programming von Bistarelli, S, Montanari, U, Rossi, F

“… While there are many soft constraint solving formalisms, even distributed ones, by now there seems to be no concurrent programming framework where soft constraints can be handled …”
Volltext

Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach von Bistarelli, Stefano, Gabbrielli, Maurizio, Meo, Maria Chiara, Santini, Francesco

“… We propose a timed and soft extension of Concurrent Constraint Programming. The time extension is based on the hypothesis of bounded asynchrony …”
Volltext

Subexponential concurrent constraint programming von Olarte, Carlos, Pimentel, Elaine, Nigam, Vivek

“… In previous works we have shown that linear logic with subexponentials (SELL), a refinement of linear logic, can be used to specify emergent features of concurrent constraint programming (CCP …”
Volltext

Constraint programming model for resource-constrained assembly line balancing problem von Alakaş, Hacı Mehmet, Pınarbaşı, Mehmet, Yüzükırmızı, Mustafa

“… However, tasks may need to be processed by general resource requirements in real life. These general resources could be classified by usage of resources such as simple or multiple, alternative and concurrent …”
Volltext

Balancing of cost-oriented U-type general resource-constrained assembly line: new constraint programming models von Alakaş, Hacı Mehmet, Pınarbaşı, Mehmet

“… Two different constraint programming (CP) models that define the resource constraints as “and/or” constraint …”
Volltext

Scheduling of repetitive construction processes with concurrent work of similarly specialized crews von Jaskowski, Piotr, Biruk, Slawomir

“… The highest degree of construction works harmonization can be achieved when planning a repetitive project with processes replicated many times in work zones of …”
Volltext

A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation von Bistarelli, Stefano, Santini, Francesco

“… We present an extension of the Soft Concurrent Constraint language that allows the nonmonotonic evolution of the constraint store …”
Volltext

A bottom-up intra-hour proactive scheduling of thermal appliances for household peak avoiding based on model predictive control von Zheng, Zhuang, Pan, Jia, Huang, Gongsheng, Luo, Xiaowei

“… •MPC controller formulation with soft constraints and flat tariffs.•Minimization of high-power appliances …”
Volltext

Optimal multi-reservoir network control by augmented Lagrange programming neural network von Sharma, V., Jha, R., Naresh, R.

Volltext

Reconciling fault-tolerant distributed computing and systems-on-chip von Függer, Matthias, Schmid, Ulrich

“… ) and other Very Large Scale Integrated (VLSI) circuits: Massively concurrent, continuous computations undermine the concept of sequential processes executing sequences of atomic zero-time computing steps, and very limited computational resources at gate …”
Volltext

Supporting Selective Formalism in CSP++ with Process-Specific Storage von Gardner, William B., Gumtie, Alicia, Carter, John D.

“… Communicating Sequential Processes (CSP) is a formal language whose primary purpose is to model and verify concurrent systems. The CSP …”
Volltext

Constraint-Based Policy Negotiation and Enforcement for Telco Services von Buscemi, M.G., Ferrari, L., Moiso, C., Montanari, U.

“… In this paper we show how to specify, negotiate, and enforce policies for Telco services by using a constraint-based model, the cc …”
Volltext

Unifying behavioral equivalences of timed transition systems von Virbitskaite, I. B., Gribovskaya, N. S.

“… Timed transition systems are one of the most popular real-time models for concurrency. In the paper, various behavioral equivalences of timed transition …”
Volltext

Multiquality Data Replication in Multimedia Databases von Tu, Y.-C., Yan, J., Shen, G., Sunil Prabhakar

“… On-the-fly conversion of multimedia data (such as video transcoding) is very CPU intensive and can limit the level of concurrent access supported by the database …”
Volltext

Small-strain folding of semi-rigid elastomer derives high-performance 3D-printable soft origami actuators von Liu, Sicong, Chen, Fang, Duanmu, Dehao, Wang, Yaxi, Liu, Jianhui, Yang, Wenjian, Zhu, Yuming, Wu, Yige, Yi, Juan, Dai, Jian S., Wang, Zheng

“… [Display omitted] •The approach of using semi-rigid elastomer to create soft actuator is proposed …”
Volltext

Exploiting Aperiodic Server to Improve Aperiodic Responsiveness for LET-Based Real-Time Systems von Wan, Bo, Li, Xi, Luo, Haizhao, Sun, Beilei, Wang, Chao, Chen, Xianglan, Zhou, Xuehai

“… Real-time systems often have to satisfy stringent timing constraints. However, to fully utilize system resources for the increasing needs of soft real-time …”
Volltext