16 search results - page 1 / 4 » A randomized scheduler with probabilistic guarantees of find... |
ASPLOS
2010
ACM
13 years 11 months ago
2010
ACM
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
Intuition is often not a good guide to know which testing strategies will work best. There is no substitute for experimental analysis based on objective criteria: how many bugs a ...
SIGMOD
2008
ACM
14 years 5 months ago
2008
ACM
Computing statistical information on probabilistic data has attracted a lot of attention recently, as the data generated from a wide range of data sources are inherently fuzzy or ...
DAC
2005
ACM
14 years 5 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
HASE
2008
IEEE
13 years 5 months ago
2008
IEEE
In this paper, we propose a randomization based technique to verify whether a manufactured chip conforms to its design or is infected by any trojan circuit. A trojan circuit can be...