14056 search results - page 2681 / 2812 » Consistency in Model Integration |
210
click to vote
NOCS
2008
IEEE
16 years 25 days ago
2008
IEEE
We present a methodology to debug a SOC by concentrating on its communication. Our extended communication model includes a) multiple signal groups per interface protocol at each I...
164
click to vote
SCAM
2008
IEEE
16 years 25 days ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
175
click to vote
3DIM
2007
IEEE
16 years 24 days ago
2007
IEEE
In order to construct three dimensional shape models of large scale architectures by a laser range finder, a number of range images are normally taken from various viewpoints and...
180
click to vote
BIBE
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract—This paper develops an algorithm for NMR backbone resonance assignment given a 3D structure and a set of relatively sparse 15 N-edited NMR data, with the through-space 1...
193
click to vote
CEC
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...