3535 search results - page 212 / 707 » Logic Program Specialisation |
129
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
108
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
Grid Computing is becoming more popular. The traditional role of the Internet as being an information repository is evolving to become a resource repository. People using the Inte...
128
click to vote
IWAN
1999
Springer
15 years 8 months ago
1999
Springer
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
140
click to vote
HPCN
1998
Springer
15 years 8 months ago
1998
Springer
An increasing number of science and engineering applications require distributed and parallel computing resources to satisfy user response-time requirements. Distributed science a...
130
click to vote
ETFA
2008
IEEE
15 years 6 months ago
2008
IEEE
A remarkable research activity has been carried out in the past few years to support real-time applications by means of appropriate scheduling solutions. For scarcely known or hig...