4451 search results - page 762 / 891 » Continuous model synthesis |
189
click to vote
ISVLSI
2002
IEEE
15 years 10 months ago
2002
IEEE
With technology scaling, power supply and threshold voltage continue to decrease to satisfy high performance and low power requirements. In the past, subthreshold CMOS circuits ha...
146
click to vote
LICS
2002
IEEE
15 years 10 months ago
2002
IEEE
We observe that equivalence is not a robust concept in the presence of numerical information - such as probabilities - in the model. We develop a metric analogue of weak bisimulat...
136
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
Gas chemical sensors are strongly affected by the so-called drift, i.e., changes in sensors’ response caused by poisoning and aging that may significantly spoil the measures g...
144
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— The task in control allocation is to determine how to generate a specified generalized force from a redundant set of control effectors where the associated actuator control in...
148
click to vote
COLCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
The need for collaboration and information sharing has been recently growing dramatically with the convergence of outsourcing and offshoring, the increasing need to cut costs thro...