16216 search results - page 108 / 3244 » Effective Modeling with Constraints |
139
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
WSC
2004
15 years 5 months ago
2004
In order to maintain an edge during this time of unprecedented technological growth, the Army must field Infantry soldier systems quickly; however, the cost of doing so without so...
141
click to vote
CGF
2010
15 years 4 months ago
2010
Many problems in geometric modeling can be described using variational formulations that define the smoothness of the shape and its behavior w.r.t. the posed modeling constraints....
106
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
Modulation filtering is a technique for filtering slowly-varying envelopes of frequency subbands of a nonstationary signal, ideally without affecting the signal’s phase and ...
123
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
In nanometer scaled CMOS devices significant increase in the subthreshold, the gate and the reverse biased junction band-toband-tunneling (BTBT) leakage, results in the large incr...