1776 search results - page 309 / 356 » Using a Logic Programming Language with Persistence and Cont... |
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Babel is a high-performance, n-way language interoperability tool for the HPC community that now includes support for distributed computing via Remote Method Invocation (RMI). We ...
EMSOFT
2006
Springer
14 years 15 days ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
ICALP
2011
Springer
13 years 8 days ago
2011
Springer
We study the problem of navigating through a database of similar objects using comparisons. This problem is known to be strongly related to the small-world network design problem....
KBSE
2000
IEEE
14 years 12 days ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
ASPLOS
2004
ACM
14 years 2 months ago
2004
ACM
Power density in high-performance processors continues to increase with technology generations as scaling of current, clock speed, and device density outpaces the downscaling of s...