1204 search results - page 24 / 241 » Parallel concurrent ML |
138
click to vote
EUROPAR
2004
Springer
15 years 7 months ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...
181
click to vote
SAS
2010
Springer
15 years 23 days ago
2010
Springer
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
103
click to vote
IWMM
2010
Springer
15 years 4 months ago
2010
Springer
With the current developments in CPU implementations, it becomes obvious that ever more parallel multicore systems will be used even in embedded controllers that require real-time...
127
click to vote
APPT
2003
Springer
15 years 7 months ago
2003
Springer
Increase in amount of data stored and requirement of fast response time has motivated the research in Parallel Database Systems (PDS). Requirement for correctness of data still rem...
104
click to vote
ECEASST
2010
14 years 9 months ago
2010
Abstract. We present Local Church-Rosser, Parallelism, and Concurrency Theorems for rules with nested application conditions in the framework of weak adhesive HLR categories includ...