Sciweavers

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