9739 search results - page 294 / 1948 » Object-Oriented Analysis and Design |
174
click to vote
ICCAD
2005
IEEE
16 years 4 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
204
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— KNTU CDRPM is a cable driven redundant parallel manipulator, which is under investigation for possible high speed and large workspace applications. This newly developed mechani...
173
click to vote
APCCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
—The operating principle of MOS FETs AC/DC rectifier for passive RFID transponder is introduced and the power dissipation of MOS rectifier operating with 902M-928MHz industrial, ...
197
click to vote
IPPS
2005
IEEE
16 years 26 days ago
2005
IEEE
Embedded designers now have the capability of offloading software routines into custom applicationspecific hardware blocks. This paper evaluates a domain-specific design system fo...
220
click to vote
METRICS
2002
IEEE
16 years 6 days ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...