9267 search results - page 1520 / 1854 » Expectation-Oriented Analysis and Design |
174
click to vote
CANDC
2009
ACM
16 years 2 months ago
2009
ACM
The RiTa Toolkit for Computation Literature is a suite of open-source components, tutorials, and examples, providing support for a range of tasks related to the practice of creati...
219
click to vote
ISLPED
2009
ACM
16 years 2 months ago
2009
ACM
Many techniques for power management employed in advanced RTL synthesis tools rely explicitly or implicitly on observability don’t-care (ODC) conditions. In this paper we presen...
175
click to vote
ITICSE
2009
ACM
16 years 2 months ago
2009
ACM
In general, university guidelines or policies on plagiarism are not sufficiently detailed to cope with the technical complexity of software. Software plagiarism can have a signiï¬...
223
click to vote
IWCMC
2009
ACM
16 years 2 months ago
2009
ACM
Proxy Mobile IP (PMIP) provides a solution for networkbased localized mobility management which in contrast to host-based mobility solutions, like Mobile IP (MIP), does not requir...
198
click to vote
SIGCOMM
2009
ACM
16 years 2 months ago
2009
ACM
Carrier sense is often used to regulate concurrency in wireless medium access control (MAC) protocols, balancing interference protection and spatial reuse. Carrier sense is known ...