8190 search results - page 1307 / 1638 » From Timed to Hybrid Systems |
169
click to vote
IOLTS
2005
IEEE
16 years 12 days ago
2005
IEEE
As device geometries continue to shrink, single event upsets are becoming of concern to a wider spectrum of system designers. These “soft errors” can be a nuisance or catastro...
210
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
181
Voted
ICML
1999
IEEE
15 years 11 months ago
1999
IEEE
Developing automated agents that intelligently perform complex real world tasks is time consuming and expensive. The most expensive part of developing these intelligent task perfo...
195
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
185
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Effective norms, emerging from sustained individual interactions over time, can complement societal rules and significantly enhance performance of individual agents and agent soci...