Suchergebnisse - constraint-based concurrency

Constraint-Based Concurrency and Beyond von 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 …”
Volltext

Constraint-Based Concurrency and Beyond von Kazunori Ueda

Volltext

Compiling a Calculus for Relaxed Memory: Practical constraint-based low-level concurrency von 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 …”
Volltext

Targeting the Cell Broadband Engine for constraint-based local search von 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 …”
Volltext

LMNtal as a hierarchical logic programming language von Ueda, Kazunori

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

SAT-based planning in complex domains: Concurrency, constraints and nondeterminism von 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 …”
Volltext

Formalization of Workflows and Correctness Issues in the Presence of Concurrency von 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 …”
Volltext

A Constraint-based Language for Multiparty Interactions von 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 …”
Volltext

Scheduling with Concurrency-Based Constraints von 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 …”
Volltext

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

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

A Lightweight Type-and-Effect System for Invalidation Safety: Tracking Permanent and Temporary Invalidation with Constraint-Based Subtype Inference von 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 …”
Volltext

Specification and analysis of system architecture using Rapide von 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 …”
Volltext

Scheduling Weakly Consistent C Concurrency for Reconfigurable Hardware von 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 …”
Volltext

Session-based concurrency, declaratively von 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 …”
Volltext

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

Volltext

Autonomous Runtime Composition of Sensor-Based Skills Using Concurrent Task Planning von 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 …”
Volltext

Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty von 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 …”
Volltext

Broker-supported and constraint-based infrastructure for collaborative systems von 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 …”
Volltext

A Thread Modularity Approach for Verification Concurrent Software Based on Abstract Interpretation von 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 …”
Volltext

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

Volltext