Sciweavers

12052 search results - page 210 / 2411
» computer 2010
Sort
View
90
Voted
IPPS
2010
IEEE
15 years 1 months ago
Modeling bounds on migration overhead for a traveling thread architecture
Patrick Anthony La Fratta, Peter M. Kogge
78
Voted
IPPS
2010
IEEE
15 years 1 months ago
High-level synthesis techniques for in-circuit assertion-based verification
John Curreri, Greg Stitt, Alan D. George
77
Voted
IPPS
2010
IEEE
15 years 1 months ago
Towards execution guarantees for stream queries
Rafael Fernández-Moctezuma, David Maier, Kr...