1142 search results - page 183 / 229 » Approximability of Clausal Constraints |
138
click to vote
ICNP
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper focuses on understanding the scale and the distribution of “state overhead” (briefly load) that is incurred on the routers by various value-added network services,...
164
click to vote
INFOCOM
2005
IEEE
15 years 11 months ago
2005
IEEE
— Wireless sensor networks offer the potential to span and monitor large geographical areas inexpensively. Sensor network databases like TinyDB [1] are the dominant architectures...
165
click to vote
PDP
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we consider the problem of allocating and scheduling a collection of independent, equal-sized tasks on heterogeneous star-shaped platforms. We also address the same...
181
click to vote
EDCC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
143
click to vote
SAS
2005
Springer
15 years 11 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...