3441 search results - page 588 / 689 » Parallel Logic Programming Systems |
147
click to vote
HPCA
1999
IEEE
15 years 6 months ago
1999
IEEE
Much research has been done in fast communication on clusters and in protocols for supporting software shared memory across them. However, the end performance of applications that...
147
Voted
TLDI
2005
ACM
15 years 8 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
127
click to vote
INAP
2001
Springer
15 years 7 months ago
2001
Springer
Mobile agent technology is an emerging technology that allows easier design, implementation, and maintenance of distributed systems. Mobility enables agents to reduce network load,...
131
Voted
ICSE
2005
IEEE-ACM
16 years 2 months ago
2005
IEEE-ACM
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
125
click to vote
EDBT
1990
ACM
15 years 6 months ago
1990
ACM
Deductive Databases are coming of age with the emergence of efficient and easy to use systems that support queries, reasoning, and application development on databases through dec...