2916 search results - page 260 / 584 » The simulation power of automod |
153
click to vote
ISQED
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper challenges observed in 65nm technology for circuits utilizing subthreshold region operation are presented. Different circuits are analyzed and simulated for ultra lo...
108
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
152
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Many surgical robots use cable-conduit pairs in a pull-pull configuration to actuate the instruments and transmit power into the patient’s body. Friction between the cable an...
197
click to vote
ASIASIM
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. Recently, flash memory is widely used in embedded applications since it has strong points: non-volatility, fast access speed, shock resistance, and low power consumption...
185
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...