300 search results - page 1 / 60 » Using probabilistic reasoning to automate software tuning |
157
Voted
SIGMETRICS
2004
ACM
16 years 13 days ago
2004
ACM
299
Voted
FASE
2011
Springer
14 years 10 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...
180
Voted
KBSE
2007
IEEE
16 years 1 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...
163
click to vote
DAC
2008
ACM
16 years 8 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...