12774 search results - page 2427 / 2555 » A Framework for Proof Systems |
266
click to vote
INFOCOM
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract— This paper considers jointly optimal design of crosslayer congestion control, routing and scheduling for ad hoc wireless networks. We first formulate the rate constrai...
154
click to vote
ISCAS
2006
IEEE
16 years 15 days ago
2006
IEEE
We describe a sensor network based on smart requirements of the network. This will provide a new approach imager sensors able to extract events of interest from a scene. for compos...
180
click to vote
MEMOCODE
2006
IEEE
16 years 15 days ago
2006
IEEE
The theory of latency-insensitive design (LID) was recently invented to cope with the time closure problem in otherwise synchronous circuits and programs. The idea is to allow the...
152
click to vote
APGV
2006
ACM
16 years 14 days ago
2006
ACM
Understanding the robustness and rapidness of human scene categorization has been a focus of investigation in the cognitive sciences over the last decades. At the same time, progr...
182
click to vote
CASES
2006
ACM
16 years 14 days ago
2006
ACM
Technology trends have led to the advent of multi-core chips in the form of both general-purpose chip multiprocessors (CMPs) and embedded multi-processor systems-on-a-chip (MPSoCs...