Sciweavers

12052 search results - page 210 / 2411
» computing 2010
Sort
View
112
Voted
IPPS
2010
IEEE
15 years 5 months ago
High-level synthesis techniques for in-circuit assertion-based verification
John Curreri, Greg Stitt, Alan D. George
IPPS
2010
IEEE
15 years 5 months ago
Towards execution guarantees for stream queries
Rafael Fernández-Moctezuma, David Maier, Kr...