Výsledky vyhľadávania - constraint-based concurrency

Constraint-Based Concurrency and Beyond Autor 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…”
Získať plný text

Constraint-Based Concurrency and Beyond Autor Kazunori Ueda

Získať plný text

Compiling a Calculus for Relaxed Memory: Practical constraint-based low-level concurrency Autor 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…”
Získať plný text

Targeting the Cell Broadband Engine for constraint-based local search Autor 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…”
Získať plný text

LMNtal as a hierarchical logic programming language Autor Ueda, Kazunori

“… LMNtal is an outcome of the attempt to unify constraint-based concurrency and Constraint Handling Rules (CHR…”
Získať plný text

SAT-based planning in complex domains: Concurrency, constraints and nondeterminism Autor 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…”
Získať plný text

Formalization of Workflows and Correctness Issues in the Presence of Concurrency Autor 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…”
Získať plný text

A Constraint-based Language for Multiparty Interactions Autor 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…”
Získať plný text

Scheduling with Concurrency-Based Constraints Autor 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…”
Získať plný text

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

“… However, programming search strategies in the existing constraint solvers is a daunting task and constraint-based languages usually have compositionality issues…”
Získať plný text

A Lightweight Type-and-Effect System for Invalidation Safety: Tracking Permanent and Temporary Invalidation with Constraint-Based Subtype Inference Autor 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…”
Získať plný text

Specification and analysis of system architecture using Rapide Autor 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…”
Získať plný text

Scheduling Weakly Consistent C Concurrency for Reconfigurable Hardware Autor 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…”
Získať plný text

Session-based concurrency, declaratively Autor 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…”
Získať plný text

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

Získať plný text

Autonomous Runtime Composition of Sensor-Based Skills Using Concurrent Task Planning Autor 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…”
Získať plný text

Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty Autor 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…”
Získať plný text

Broker-supported and constraint-based infrastructure for collaborative systems Autor 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…”
Získať plný text

A Thread Modularity Approach for Verification Concurrent Software Based on Abstract Interpretation Autor 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…”
Získať plný text

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

Získať plný text