5838 search results - page 339 / 1168 » A File System for System Programming in Ubiquitous Computing |
129
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
Stencil computation (SC) is of critical importance for broad scientific and engineering applications. However, it is a challenge to optimize complex, highorder SC on emerging clus...
150
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
Scientific workflows are increasingly used for rapid integration of existing algorithms to form larger and more comgrams. Such workflows promise to provide more abstract, yet execu...
131
click to vote
ICLP
2004
Springer
15 years 10 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
141
click to vote
ILP
2003
Springer
15 years 10 months ago
2003
Springer
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...
141
click to vote
ASP
2001
Springer
15 years 9 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...