300 search results - page 1 / 60 » Using probabilistic reasoning to automate software tuning |
SIGMETRICS
2004
ACM
15 years 2 months ago
2004
ACM
146
click to vote
FASE
2011
Springer
14 years 28 days 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
15 years 3 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
15 years 3 months ago
2005
Springer
DAC
2008
ACM
15 years 10 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...