15485 search results - page 2926 / 3097 » Computing Optimal Subsets |
117
click to vote
ISCA
2006
IEEE
15 years 8 months 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 ...
156
click to vote
ACL2
2006
ACM
15 years 8 months 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...
133
click to vote
ACMSE
2006
ACM
15 years 8 months 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...
ASSETS
2006
ACM
15 years 8 months 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...
124
Voted
CONEXT
2006
ACM
15 years 8 months 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...