Sciweavers

674 search results - page 61 / 135
» Resource Bound Certification
Sort
View
ICC
2007
IEEE
109views Communications» more  ICC 2007»
15 years 6 months ago
A TCP Connection Establishment Filter: Symmetric Connection Detection
— Network measurement at 10+Gbps speeds imposes many restrictions on the resource consumption of the measurement application, making any filtering of input data highly desirable...
Brad Whitehead, Chung-Horng Lung, Peter Rabinovitc...
LCTRTS
2001
Springer
15 years 4 months ago
Power-Aware Design Synthesis Techniques for Distributed Real-Time Systems
This paper presents an end-to-end synthesis technique for lowpower distributed real-time system design. This technique synthesizes supply voltages of resources to optimize system-...
Dong-In Kang, Stephen P. Crago, Jinwoo Suh
MM
1999
ACM
175views Multimedia» more  MM 1999»
15 years 4 months ago
A cross-media adaptation strategy for multimedia presentations
Adaptation techniques for multimedia presentations are mainly concerned with switching between different qualities of single media elements to reduce the data volume and by this ...
Susanne Boll, Wolfgang Klas, Jochen Wandel
ATAL
2010
Springer
15 years 1 months ago
Resource-bounded alternating-time temporal logic
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools ...
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, A...
PODC
2010
ACM
15 years 2 days ago
The k-bakery: local-spin k-exclusion using non-atomic reads and writes
Mutual exclusion is used to coordinate access to shared resources by concurrent processes. k-Exclusion is a variant of mutual exclusion in which up to k processes can simultaneous...
Robert Danek