5015 search results - page 430 / 1003 » Model Checking a Path |
117
click to vote
ISCAS
2006
IEEE
16 years 23 days ago
2006
IEEE
—Behavioral modeling with virtual built-in self-test verification of high-speed wired link designs is described in this paper. Our procedure is based on principles of top-down mi...
145
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
IC inductance extraction generally produces either port inductances based on simplified current path assumptions or a complete partial inductance matrix. Combining either of thes...
207
click to vote
INFOCOM
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract— This paper studies the problem of designing survivable optical wavelength division multiplexed (WDM) networks. A wavelength-routed wide area backbone network supporting...
159
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Needle insertion for percutaneous therapies is formulated as a trajectory planning and control problem. A new concept of needle steering is developed and a Needle Manipulation Jaco...
206
click to vote
APSCC
2009
IEEE
16 years 1 months ago
2009
IEEE
What is a cloud application precisely? In this paper, we formulate a computing cloud as a kind of graph, a computing resource such as services or intellectual property access righ...