1767 search results - page 171 / 354 » An Integrated Model for Cellular Analysis |
167
click to vote
ICCAD
2001
IEEE
16 years 4 months ago
2001
IEEE
Interconnect structures including dielectrics can be modeled by an integral equation method using volume currents and surface charges for the conductors, and volume polarization c...
183
click to vote
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
184
Voted
GLVLSI
2006
IEEE
16 years 1 months ago
2006
IEEE
State-space modeling of fully differential Gm-C filters with weak nonlinearities is used to develop a fast algorithm for intermodulation distortion estimation. It results in sim...
165
Voted
ICPADS
2005
IEEE
16 years 20 days ago
2005
IEEE
Accurate measurement and modeling of IP networks is essential for network design, planning, and management. Efforts are being made to detect the state of the network from end-to-e...
169
click to vote
RE
2005
Springer
16 years 16 days ago
2005
Springer
This paper describes the requirements handling process of a set of research projects, the ATHENA IP, and how this process is supported by modeling and visualizing requirement stru...