Search Results - constraint-based concurrency

Constraint-Based Concurrency and Beyond by Ueda, Kazunori

“…Constraint-based concurrency is a simple and elegant formalism of concurrency with monotonic mobile channels, whose history started in early 1980's as a subfield of logic programming…”
Get full text

Constraint-Based Concurrency and Beyond by Kazunori Ueda

Get full text

Compiling a Calculus for Relaxed Memory: Practical constraint-based low-level concurrency by Sullivan, Michael J, Crary, Karl, Joshi, Salil

“…Crary and Sullivan's Relaxed Memory Calculus (RMC) proposed a new declarative approach for writing low-level shared memory concurrent programs in the presence…”
Get full text

Targeting the Cell Broadband Engine for constraint-based local search by Diaz, Daniel, Abreu, Salvador, Codognet, Philippe

“…SUMMARY We investigated the use of the Cell Broadband Engine (Cell/BE) for constraint‐based local search and combinatorial optimization applications…”
Get full text

LMNtal as a hierarchical logic programming language by Ueda, Kazunori

“… LMNtal is an outcome of the attempt to unify constraint-based concurrency and Constraint Handling Rules (CHR…”
Get full text

SAT-based planning in complex domains: Concurrency, constraints and nondeterminism by Castellini, Claudio, Giunchiglia, Enrico, Tacchella, Armando

“…Planning as satisfiability is a very efficient technique for classical planning, i.e., for planning domains in which both the effects of actions and the…”
Get full text

Formalization of Workflows and Correctness Issues in the Presence of Concurrency by Arpinar, ÏsmaÏlcem Budak, Halici, UĞur, Arpinar, Sena, DoĞaÇ, Asuman

“… Based on this criterion, the Constraint Based Concurrency Control (CBCC) mechanism is defined…”
Get full text

A Constraint-based Language for Multiparty Interactions by Brodo, Linda, Olarte, Carlos

“…Multiparty interactions are common place in today's distributed systems. An agent usually communicates, in a single session, with other agents to accomplish a…”
Get full text

Scheduling with Concurrency-Based Constraints by Berger, B., Cowen, L.

“…This paper considers scheduling problems with timing constraints of the forms < (precedence), ≤ (no later than), and ≐ (concurrence). Scheduling unit-time jobs…”
Get full text

Spacetime Programming: A Synchronous Language for Composable Search Strategies by Talbot, Pierre

“… However, programming search strategies in the existing constraint solvers is a daunting task and constraint-based languages usually have compositionality issues…”
Get full text

A Lightweight Type-and-Effect System for Invalidation Safety: Tracking Permanent and Temporary Invalidation with Constraint-Based Subtype Inference by Gao, Cunyuan, Parreaux, Lionel

“…In many programming paradigms, some program entities are only valid within delimited regions of the program, such as resources that might be automatically…”
Get full text

Specification and analysis of system architecture using Rapide by Luckham, D.C., Kenney, J.J., Augustin, L.M., Vera, J., Bryan, D., Mann, W.

“…) to adopt an execution model in which the concurrency, synchronization, dataflow, and timing properties of a prototype are explicitly represented…”
Get full text

Scheduling Weakly Consistent C Concurrency for Reconfigurable Hardware by Ramanathan, Nadesh, Wickerson, John, Constantinides, George A.

“…Lock-free algorithms, in which threads synchronise not via coarse-grained mutual exclusion but via fine-grained atomic operations (`atomics'), have been shown…”
Get full text

Session-based concurrency, declaratively by Cano, Mauricio, López, Hugo A., Pérez, Jorge A., Rueda, Camilo

“… ), a declarative model of concurrency based on partial information (constraints). We exploit session types to ensure that our encoding satisfies precise correctness properties…”
Get full text

Declarative event based models of concurrency and refinement in psi-calculi by Normann, Håkon, Johansen, Christian, Hildebrandt, Thomas

Get full text

Autonomous Runtime Composition of Sensor-Based Skills Using Concurrent Task Planning by Pane, Yudha, Mokhtari, Vahid, Aertbelien, Erwin, De Schutter, Joris, Decre, Wilm

“…Constraint-based robot programming allows for implementing sensor-based skills that react to disturbances on the one hand, and composable skills that dynamically create and reconfigure complex robot…”
Get full text

Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty by Bresolin, Davide, Zavatteri, Matteo

“…A recent direction in Business Process Management studied methodologies to control the execution of Business Processes under several sources of uncertainty in…”
Get full text

Broker-supported and constraint-based infrastructure for collaborative systems by Zhang, Peinan

“…A collaborative system is much more complicated than a single user system due to a variety of collaboration capability, distribution features and interaction…”
Get full text

A Thread Modularity Approach for Verification Concurrent Software Based on Abstract Interpretation by Jiang, Qingyu, Liu, Jing, Hu, Haodong

“… This article discusses the requirements for formal verification of concurrent embedded software and proposes a constraint-based flow-sensitive static analysis for concurrent avionics software…”
Get full text

Effect-polymorphic behaviour inference for deadlock checking by Pun, Ka I, Steffen, Martin, Stolz, Volker

Get full text