53 search results - page 9 / 11 » Metric Embeddings with Relaxed Guarantees |
RTAS
2002
IEEE
13 years 10 months ago
2002
IEEE
Real-time scheduling theory has developed powerful tools for translating conditions on aggregate system utilization into per-task schedulability guarantees. The main breakthrough ...
IFL
2005
Springer
13 years 11 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...
CIA
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. We present a trust model extension that attempts to relax the assumptions that are currently taken by the majority of existing trust models: (i) proven identity of agents...
SAC
2009
ACM
13 years 10 months ago
2009
ACM
Wireless sensor networks (WSNs) are subject to significant resource constraints. Particularly, routing protocols for lowrate WSNs suffer from maintaining routing metrics and sta...
SIGOPS
2008
13 years 4 months ago
2008
Power management strategies for embedded systems typically rely on static, application driven deactivation of components (e.g. sleep, suspend), or on dynamic voltage and frequency...