Suchergebnisse - Concurrent Constraint Programming Abstract Interpretation

Abstract interpretation of temporal concurrent constraint programs von FALASCHI, MORENO, OLARTE, CARLOS, PALAMIDESSI, CATUSCIA

“… Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e …”
Volltext

A concurrent constraint programming interpretation of access permissions von OLARTE, CARLOS, PIMENTEL, ELAINE, RUEDA, CAMILO

“… This paper presents a declarative interpretation of APs as linear concurrent constraint programs (lcc …”
Volltext

Abstract diagnosis for timed concurrent constraint programs von COMINI, MARCO, TITOLO, LAURA, VILLANUEVA, ALICIA

“… The timed concurrent constraint language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat …”
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

Abstract Interpretation of Temporal Concurrent Constraint Programs von Moreno Falaschi, Olarte, Carlos, Palamidessi, Catuscia

“… Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e …”
Volltext

Trouble doing two differently timed actions at once: What is the problem? von Maslovat, Dana, Klapp, Stuart T

“… It is nearly impossible to concurrently initiate and execute two motor actions with independent timing. For example, it is difficult to tap one rhythm with the …”
Weitere Angaben

A semantic framework for the abstract model checking of tccp programs von Alpuente, María, del Mar Gallardo, María, Pimentel, Ernesto, Villanueva, Alicia

“… The Timed Concurrent Constraint programming language ( tccp) introduces time aspects into the Concurrent Constraint paradigm …”
Volltext

Abstract Diagnosis for tccp using a Linear Temporal Logic von COMINI, MARCO, TITOLO, LAURA, VILLANUEVA, ALICIA

“… (based on abstract interpretation techniques) does not require to build any model at all. Our results guarantee correctness but, as usual when using an abstract semantics, completeness is lost …”
Volltext

Timed Default Concurrent Constraint Programming von SARASWAT, VIJAY, JAGADEESAN, RADHA, GUPTA, VINEET

“… , extending the closure-operator model for untimed concurrent constraint programming (CCP). In Saraswat et al. (1994a) we had proposed a model for this called tcc …”
Volltext

LMNtal as a hierarchical logic programming language von Ueda, Kazunori

“… ), the two notable extensions to concurrent logic programming. LMNtal is intended to be a substrate language of various computational models, especially those addressing concurrency, mobility and multiset rewriting …”
Volltext

Static analysis for concurrent programs with applications to data race detection von Kahlon, Vineet, Sankaranarayanan, Sriram, Gupta, Aarti

“… We propose a general framework for static analysis of concurrent multi-threaded programs in the presence of various types of synchronization primitives such as locks and pairwise rendezvous …”
Volltext

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

“… This paper presents a declarative interpretation of APs as Linear Concurrent Constraint Programs (lcc …”
Volltext

Concurrent two-scale topological design of multiple unit cells and structure using combined velocity field level set and density model von Wang, Yaguang, Kang, Zhan

“… This paper studies concurrent two-scale design optimization of composite structures filled with multiple microstructural unit cells …”
Volltext

A Timed Concurrent Constraint Language von de Boer, F.S., Gabbrielli, M., Meo, M.C.

“… We study a timed concurrent constraint language, called tccp, which is obtained by a natural timed interpretation of the usual ccp constructs …”
Volltext

Confluence in concurrent constraint programming von Falaschi, Moreno, Gabbrielli, Maurizio, Marriott, Kim, Palamidessi, Catuscia

“… Concurrent constraint programming (ccp), like most of the concurrent paradigms, has a mechanism of global choice which makes computations dependent on the scheduling of processes …”
Volltext

LMNtal as a hierarchical logic programming language: Abstract Interpretation and Logic Programming: in Honor of professor Giorgio Levi von UEDA, Kazunori

Volltext

Abstract Model Checking of tccp programs von Alpuente, María, del Mar Gallardo, María, Pimentel, Ernesto, Villanueva, Alicia

“… The Timed Concurrent Constraint programming language (tccp) introduces time aspects into the Concurrent Constraint paradigm …”
Volltext

A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages von Bagnara, Roberto

“… Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation progresses …”
Volltext

Demand transformation analysis for concurrent constraint programs von Falaschi, Moreno, Hicks, Patrick, Winsborough, William

“… This backward dataflow analysis for concurrent constraint programs is constructed in the framework of abstract interpretation …”
Volltext

Stereo Matching with Mumford-Shah Regularization and Occlusion Handling von Ben-Ari, R, Sochen, N

“… The evaluation process is based on concurrent minimization of two coupled energy functionals, one for domain segmentation …”
Volltext