300 search results - page 1 / 60 » Using probabilistic reasoning to automate software tuning |
SIGMETRICS
2004
ACM
13 years 10 months ago
2004
ACM
FASE
2011
Springer
12 years 8 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
KBSE
2007
IEEE
13 years 11 months ago
2007
IEEE
Adoption of advanced automated SE (ASE) tools would be favored if a business case could be made that these tools are more valuable than alternate methods. In theory, software pred...
ECSQARU
2005
Springer
13 years 10 months ago
2005
Springer
DAC
2008
ACM
14 years 5 months ago
2008
ACM
Modern CMOS manufacturing processes have significant variability, which necessitates guard banding to achieve reasonable yield. We study an FPGA architecture with a dual voltage s...