*Search Results* - Concurrent constraint programming

sublabel_EDS

*license_notice_EDS_guest_loggedout* *Login*

1
2
3
4
5
6
7
8
9
10
11
*Next*

A Variant of Concurrent Constraint Programming on GPU
Talbot, Pierre ; Pinel, Frédéric ; Bouvry, Pascal
(2022) Proceedings of the AAAI Conference on Artificial Intelligence, 36(4), 3830-3839

Computer Science - Distr... Computer Science - Artif... Computer Science - Progr...

*Report*

*CL-Zum Volltext*

Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems
Guzmán, Michell ; Knight, Sophia ; Quintero, Santiago ; et al.

Computer Science - Multi...

*Report*

*CL-Zum Volltext*

Soft Concurrent Constraint Programming with Local Variables
24th IFIP WG 6.1 International conference on coordination models and languages, COORDINATION 2022
Bussi, Laura ; Gadducci, Fabio ; Santini, Francesco
Lecture notes in computer science. 13271:159-180

*Conference*

*CL-Check availability*

Subexponential concurrent constraint programming
Olarte, Carlos ; Pimentel, Elaine ; Nigam, Vivek
In Theoretical Computer Science 16 November 2015 606:98-120

*Academic Journal*

*CL-View this record from ScienceDirect*

A Concurrent Constraint Programming Interpretation of Access Permissions
Olarte, Carlos ; Pimentel, Elaine ; Rueda, Camilo

Computer Science - Logic...

*Report*

*CL-Zum Volltext*

Proving Concurrent Constraint Programming Correct, Revisited
Olarte, Carlos ; Pimentel, Elaine
In Electronic Notes in Theoretical Computer Science 24 April 2015 312:179-195

*Academic Journal*

*CL-View this record from ScienceDirect*

A Symbolic Model for Timed Concurrent Constraint Programming
Arias, Jaime ; Guzmán, Michell ; Olarte, Carlos
In Electronic Notes in Theoretical Computer Science 24 April 2015 312:161-177

*Academic Journal*

*CL-View this record from ScienceDirect*

Efficient algorithms for program equivalence for confluent concurrent constraint programming
Pino, Luis F. ; Bonchi, Filippo ; Valencia, Frank
In Science of Computer Programming 1 November 2015 111 Part 1:135-155

*Academic Journal*

*CL-View this record from ScienceDirect*

Dynamic Spaces in Concurrent Constraint Programming
Olarte, Carlos ; Nigam, Vivek ; Pimentel, Elaine
In Electronic Notes in Theoretical Computer Science 11 July 2014 305:103-121

*Academic Journal*

*CL-View this record from ScienceDirect*

Towards non-threaded Concurrent Constraint Programming for implementing multimedia interaction systems
Toro, Mauricio

Computer Science - Multi... Computer Science - Logic... D.1.6 H.5.5

*Report*

*CL-Zum Volltext*

A Proof Theoretic Study of Soft Concurrent Constraint Programming
Pimentel, Elaine ; Olarte, Carlos ; Nigam, Vivek
Theory and Practice of Logic Programming 14 (2014) 649-663

Computer Science - Logic... F.3.1 D.3.2

*Report*

*CL-Zum Volltext*

Soft Concurrent Constraint Programming
Bistarelli, S. ; Montanari, U. ; Rossi, F.
ACM Trans. Comput. Log. 7(3): 563-589 (2006)

Computer Science - Progr... Computer Science - Artif... D.1.3 D.3.1 D.3.2 D.3.3 …

*Report*

*CL-Zum Volltext*

Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming
International workshop on rewriting logic and its applications
Ramírez, Sergio ; Romero, Miguel ; Rocha, Camilo ; et al.
Lecture notes in computer science. 11152:226-244

*Conference*

*CL-Check availability*

Towards Non-Threaded Concurrent Constraint Programming for Implementing Multimedia Interaction Systems
Universidad EAFIT. Departamento de Ingeniería de Sistemas ; I+D+I en Tecnologías de la Información y las Comunicaciones ; Toro, Mauricio ; et al.
International Journal of Advancements in Computing Technology

*Electronic Resource*

*CL-View this record from OAIster*

On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation
Bortolussi, Luca
In Electronic Notes in Theoretical Computer Science 12 December 2008 220(3):163-180

*Academic Journal*

*CL-View this record from ScienceDirect*

Stochastic Concurrent Constraint Programming and Differential Equations
Bortolussi, Luca ; Policriti, Alberto
In Electronic Notes in Theoretical Computer Science 6 September 2007 190(3):27-42

*Academic Journal*

*CL-View this record from ScienceDirect*

Stochastic Concurrent Constraint Programming
Bortolussi, Luca
In Electronic Notes in Theoretical Computer Science 26 October 2006 164(3):65-80

*Academic Journal*

*CL-View this record from ScienceDirect*

A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice
Theoretical aspects of computing -- ICTAC 2014: 11th International Colloquium
Pino, L.F. ; Bonchi, F. ; Valencia, F.D.
LECTURE NOTES IN COMPUTER SCIENCE. (8687):351-368

*Conference*

*CL-Check availability*

Timed Concurrent Constraint Programming for Analysing Biological Systems
Gutiérrez, Julian ; Pérez, Jorge A. ; Rueda, Camilo ; et al.
In Electronic Notes in Theoretical Computer Science 5 July 2007 171(2):117-137

*Academic Journal*

*CL-View this record from ScienceDirect*

Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
International conference on logic programming
Hildebrandt, T. ; Lopez, H.A.
LECTURE NOTES IN COMPUTER SCIENCE. (5649):417-431

*Conference*

*CL-Check availability*

1
2
3
4
5
6
7
8
9
10
11
*Next*

*Remove Filters*

*eds_limiter_FT**eds_limiter_RV**eds_expander_fulltext*

*SourceEDS*

Complementary Index 69*number_thousands_separator*372 Gale Academic OneFile 9*number_thousands_separator*292 Books at JSTOR 4*number_thousands_separator*990 Gale General OneFile 3*number_thousands_separator*851 Gale Academic OneFile Select 2*number_thousands_separator*435 BASE 2*number_thousands_separator*085 *more* ...

*sublabel_EDS*

*Showing* 1 - 20 *of* 92*number_thousands_separator*181

*pagination*

*pagination*

*Refine Results*

sublabel_EDS

Showing 1 - 20 of **92number_thousands_separator181**

pagination

pagination

Refine Results