Sciweavers

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