1767 search results - page 171 / 354 » An Integrated Model for Cellular Analysis |
153
click to vote
ICCAD
2001
IEEE
16 years 3 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...
158
click to vote
TACAS
2010
Springer
16 years 1 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 ...
161
click to vote
GLVLSI
2006
IEEE
16 years 15 days 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...
150
click to vote
ICPADS
2005
IEEE
16 years 1 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...
152
click to vote
RE
2005
Springer
15 years 12 months 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...