144 search results - page 5 / 29 » Towards Fuzzy Compositional Modelling |
TAMODIA
2004
15 years 1 months ago
2004
Much information and knowledge work (with and without information technology) can be characterised as multitasking and interrupt driven. A whole host of characterisations and buzz...
118
click to vote
SIGSOFT
2003
ACM
16 years 11 days ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
CAV
2009
Springer
15 years 6 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
89
Voted
CEC
2007
IEEE
15 years 6 months ago
2007
IEEE
— This paper presents a new method to generalize strategies in order to control parameters of Evolutionary Algorithms (EAs). A learning process establishes the relationship betwe...