22 search results - page 3 / 5 » Declarative fence insertion |
ICIW
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper, we present an extension of PHIL, a declarative language for filtering information from XML data. The proposed approach allows us to extract relevant data as well a...
ADBIS
2005
Springer
13 years 10 months ago
2005
Springer
A key observation is that the invariants in database management determine the mapping steps of the supporting architecture. Referring to the multi-layered architecture of record-or...
HIPC
2003
Springer
13 years 10 months ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
ICLP
1993
Springer
13 years 9 months ago
1993
Springer
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...
CL
2012
Springer
11 years 7 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...