1228 search results - page 222 / 246 » Continuations, proofs and tests |
SIGMOD
2006
ACM
14 years 8 months ago
2006
ACM
Data stream applications have made use of statistical summaries to reason about the data using nonparametric tools such as histograms, heavy hitters, and join sizes. However, rela...
MOBISYS
2008
ACM
14 years 7 months ago
2008
ACM
Proactively providing services to mobile individuals is essential for emerging ubiquitous applications. The major challenge in providing users with proactive services lies in cont...
EUROSYS
2008
ACM
14 years 5 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
ICCD
2007
IEEE
14 years 4 months ago
2007
IEEE
Scan chains are widely used to improve the testability of IC designs. In traditional 2D IC designs, various design techniques on the construction of scan chains have been proposed...
ICCAD
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— Power consumption has become a crucial problem in modern circuit design. Multiple Supply Voltage (MSV) design is introduced to provide higher flexibility in controllin...