15485 search results - page 2926 / 3097 » Computing Optimal Subsets |
175
click to vote
ISCA
2006
IEEE
16 years 14 days ago
2006
IEEE
The physical layer of most wireless protocols is traditionally implemented in custom hardware to satisfy the heavy computational requirements while keeping power consumption to a ...
219
click to vote
ACL2
2006
ACM
16 years 13 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
179
click to vote
ACMSE
2006
ACM
16 years 13 days ago
2006
ACM
Standardized middleware is used to build large distributed real-time and enterprise (DRE) systems. These middleware are highly flexible and support a large number of features sin...
152
click to vote
ASSETS
2006
ACM
16 years 13 days ago
2006
ACM
Mouse control has become a crucial aspect of many modern day computer interactions. This poses a challenge for individuals with motor impairments or those whose use of hands are r...
171
click to vote
CONEXT
2006
ACM
16 years 13 days ago
2006
ACM
While the IETF standardization process of the Mobile IPv6 and Network Mobility (NEMO) protocols is almost complete, their large-scale deployment is not yet possible. With these te...