7526 search results - page 209 / 1506 » The Design and Implementation of the A2QM3 System |
189
click to vote
SIGADA
2004
Springer
15 years 12 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
211
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Commodity operating systems entrusted with securing sensitive data are remarkably large and complex, and consequently, frequently prone to compromise. To address this limitation, ...
162
click to vote
RTAS
2005
IEEE
16 years 5 days ago
2005
IEEE
Control systems running on a computer are subject to timing disturbances coming from implementation constraints. Fortunately closed-loop systems behave robustly w.r.t. modelling e...
154
click to vote
MICRO
2008
IEEE
15 years 6 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
169
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
Technology scaling allows the integration of billions of transistors on the same die but CAD tools struggle in keeping up with the increasing design complexity. Design productivit...