3902 search results - page 98 / 781 » Hardware Synthesis from C C Models |
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
CAINE
2006
13 years 11 months ago
2006
This research addresses a major gap in our conceptual understanding of synaptic and brain-like network dynamics. Over the course of several years we have designed and implemented ...
MICCAI
2002
Springer
14 years 11 months ago
2002
Springer
A large number of test images and their "ground truth" segmentations are needed for performance characterization of the many image segmentation methods. In this work we ...
C5
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper explores ways by which multiple authors can annotate 3D models from multiple viewpoints in a 3D collaborative environment, with particular reference to the environment ...
ASPDAC
2005
ACM
14 years 6 days ago
2005
ACM
The synthesis of clock network in the presence of process variation is becoming a vital design issue towards the performance of digital circuits. In this paper, we propose a clock ...