352 search results - page 70 / 71 » On implementation choices for iterative improvement partitio... |
EMSOFT
2004
Springer
14 years 12 days ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
CIKM
2010
Springer
13 years 5 months ago
2010
Springer
Non-negative tensor factorization (NTF) is a relatively new technique that has been successfully used to extract significant characteristics from polyadic data, such as data in s...
EUROSYS
2008
ACM
14 years 4 months ago
2008
ACM
Video-on-demand (VoD) is increasingly popular with Internet users. It gives users greater choice and more control than live streaming or file downloading. Systems such as MSN Vid...
DAC
2001
ACM
14 years 8 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
WWW
2006
ACM
14 years 7 months ago
2006
ACM
Contextual search refers to proactively capturing the information need of a user by automatically augmenting the user query with information extracted from the search context; for...