504 search results - page 77 / 101 » Explaining Verification Conditions |
CHI
2005
ACM
14 years 8 months ago
2005
ACM
When on the move, cognitive resources are reserved partly for passively monitoring and reacting to contexts and events, and partly for actively constructing them. The Resource Com...
VLDB
2008
ACM
14 years 8 months ago
2008
ACM
The existing predictive spatiotemporal indexes can be classified into two categories, depending on whether they are based on the primal or dual methodology. Although we have gaine...
ICCAD
2005
IEEE
14 years 4 months ago
2005
IEEE
— Standard small-signal analysis methods for circuits break down for oscillators because small input perturbations result in arbitrarily large output changes, thus invalidating f...
ICCAD
2005
IEEE
14 years 4 months ago
2005
IEEE
— Variability in the chip design process has been relatively increasing with technology scaling to smaller dimensions. Using worst case analysis for circuit optimization severely...
IEEECIT
2009
IEEE
14 years 2 months ago
2009
IEEE
—Ageing populations and the necessity to reduce environmental impact raise new challenges on our living buildings. Convergence of home control systems (air conditioning, light ma...