1747 search results - page 105 / 350 » Long Range Dependence |
171
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
129
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper addresses the problem of planning for goal directed navigation in the environment that contains a number of possible adversary locations. It first shows that common...
191
click to vote
SENSYS
2009
ACM
15 years 10 months ago
2009
ACM
A specific application for wastewater monitoring and actuation, called CSOnet, deployed city-wide in a mid-sized US city, South Bend, Indiana, posed some challenges to a time syn...
205
click to vote
ISPDC
2008
IEEE
15 years 12 months ago
2008
IEEE
This paper presents a new approach for analyzing the performance of grid scheduling algorithms for tasks with dependencies. Finding the optimal procedures for DAG scheduling in Gr...
145
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
— It has been the conventional assumption that, due to the superlinear dependence of leakage power consumption on temperature, and widely varying on-chip temperature profiles, a...