868 search results - page 92 / 174 » Debugging for Model Expansion |
SIAMAM
2008
13 years 10 months ago
2008
In this paper we present a semi-analytical thermal stress solution for directional growth of type III-V compounds with small lateral heat flux and weak anisotropy. Both geometric a...
CVPR
2008
IEEE
15 years 1 days ago
2008
IEEE
In the last decade, graph-cut optimization has been popular for a variety of pixel labeling problems. Typically graph-cut methods are used to incorporate a smoothness prior on a l...
SIGMETRICS
2003
ACM
14 years 3 months ago
2003
ACM
Distributed hash table (DHT) systems are an important class of peer-to-peer routing infrastructures. They enable scalable wide-area storage and retrieval of information, and will ...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...