17967 search results - page 3281 / 3594 » Functional timing optimization |
152
click to vote
IFL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
132
click to vote
XPU
2005
Springer
15 years 10 months ago
2005
Springer
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...
138
click to vote
ASSETS
2004
ACM
15 years 10 months ago
2004
ACM
These days, accessibility-related regulations and guidelines have been accelerating the improvement of Web accessibility. One of the accelerating factors is the development and de...
132
click to vote
MOBICOM
2004
ACM
15 years 10 months ago
2004
ACM
Sensor networks are often desired to last many times longer than the active lifetime of individual sensors. This is usually achieved by putting sensors to sleep for most of their ...
127
click to vote
SIGMETRICS
2004
ACM
15 years 10 months ago
2004
ACM
Measurement studies indicate a high rate of node dynamics in p2p systems. In this paper, we address the question of how high a rate of node dynamics can be supported by structured...