178 search results - page 3 / 36 » Splitting a CR-Prolog Program |
Publication
_1990.jpg "Arity Raiser and its Use in Program Specialization")
Experiments on generating compilers by specializing specializers with respect to interpreters have shown that the compilers thus obtained have a natural structure only if the speci...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
ICTAI
2009
IEEE
14 years 2 months ago
2009
IEEE
Inference in constraint programming is usually based on the deductions generated by individual constraints which are then communicated to other constraints through domain filteri...
OOPSLA
1999
Springer
14 years 3 days ago
1999
Springer
The proliferation of the Internet is fueling the development of mobile computing environments in which mobile code is executed on remote sites. In such environments, the end user ...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
With the increasing gap between processor speed and memory latency, the performance of data-dominated programs are becoming more reliant on fast data access, which can be improved...