5377 search results - page 958 / 1076 » Programming Languages For Interactive Computing |
141
click to vote
AINA
2005
IEEE
15 years 8 months ago
2005
IEEE
Many existing software applications involve complex application layer implemented in OO programming languages and at the same time use relational database systems as back-end data...
113
click to vote
SC
2005
ACM
15 years 8 months ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...
116
Voted
CP
2005
Springer
15 years 8 months ago
2005
Springer
Classical methods for solving numerical CSPs are based on a branch and prune algorithm, a dichotomic enumeration process interleaved with a consistency filtering algorithm. In man...
137
click to vote
EDCC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
116
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Given two rooted, ordered, and labeled trees P and T the tree inclusion problem is to determine if P can be obtained from T by deleting nodes in T. This problem has recently been r...