Sciweavers

4426 search results - page 86 / 886
» Concurrent Constraint Programming
Sort
View
JAIR
2006
102views more  JAIR 2006»
15 years 4 months ago
Properties and Applications of Programs with Monotone and Convex Constraints
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...
Lengning Liu, Miroslaw Truszczynski
SOFTVIS
2010
ACM
15 years 4 months ago
TIE: an interactive visualization of thread interleavings
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
Gowritharan Maheswara, Jeremy S. Bradbury, Christo...
CERA
2006
36views more  CERA 2006»
15 years 4 months ago
Federated Grid Computing with Interactive Service-oriented Programing
er.sagepub.com/cgi/content/abstract/14/1/55 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineering...
Michael W. Sobolewski, Raymond M. Kolonay
KBSE
2003
IEEE
15 years 9 months ago
Testing Database Transaction Concurrency
Database application programs are often designed to be executed concurrently by many clients. By grouping related database queries into transactions, DBMS systems can guarantee th...
Yuetang Deng, Phyllis G. Frankl, Zhongqiang Chen
156
Voted
WFLP
2000
Springer
163views Algorithms» more  WFLP 2000»
15 years 7 months ago
Cooperative Constraint Functional Logic Programming
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
Mircea Marin, Tetsuo Ida