Sciweavers

2585 search results - page 44 / 517
» computing 1999
Sort
View
ICCV
1999
IEEE
16 years 7 months ago
A Theory of Shape by Space Carving
Kiriakos N. Kutulakos, Steven M. Seitz
DAC
1999
ACM
15 years 10 months ago
Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits
Valeria Bertacco, Maurizio Damiani, Stefano Quer
DAC
1999
ACM
15 years 10 months ago
Improving Symbolic Traversals by Means of Activity Profiles
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
DAC
1999
ACM
15 years 10 months ago
Virtual Simulation of Distributed IP-based Designs
Marcello Dalpasso, Alessandro Bogliolo, Luca Benin...