174 search results - page 28 / 35 » Automatic Parallelization with Separation Logic |
VLC
2002
13 years 8 months ago
2002
More powerful personal computers and higher network bandwidth has meant that graphics has become increasingly important on the web. Graph-based diagrams are one of the most import...
CASES
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
CCGRID
2007
IEEE
14 years 2 months ago
2007
IEEE
: Existing Content Delivery Networks (CDNs) exhibit the nature of closed delivery networks which do not cooperate with other CDNs and in practice, islands of CDNs are formed. The l...
MIDDLEWARE
2007
Springer
14 years 2 months ago
2007
Springer
Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a ...
ISPA
2005
Springer
14 years 1 months ago
2005
Springer
Grid technologies are becoming more and more mature in recent years. In contrast to this trend, the resource measurement landscape in Grids looks rather dismal. As part of ChinaGri...