Sciweavers

3897 search results - page 33 / 780
» complexity 2010
Sort
View
ATS
2010
IEEE
239views Hardware» more  ATS 2010»
13 years 5 months ago
Mining Complex Boolean Expressions for Sequential Equivalence Checking
Neha Goel, Michael S. Hsiao, Naren Ramakrishnan, M...
IPPS
2010
IEEE
13 years 5 months ago
Scheduling complex streaming applications on the Cell processor
Matthieu Gallet, Mathias Jacquelin, Loris Marchal
SAC
2010
ACM
13 years 2 months ago
Improving complex distributed software system availability through information hiding
Li Wang, Yair Leiferman, Shangping Ren, Kevin A. K...