759 search results - page 92 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
105
Voted
ICDE
2007
IEEE
15 years 6 months ago
2007
IEEE
Most database query optimizers use cost models to identify good query execution plans. Inaccuracies in the cost models can cause query optimizers to select poor plans. In this pap...
114
click to vote
ISPASS
2007
IEEE
15 years 6 months ago
2007
IEEE
The ongoing trend of increasing computer hardware and software complexity has resulted in the increase in complexity and overheads of cycle-accurate processor system simulation, e...
FORTE
2004
15 years 1 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
78
Voted
EUROSYS
2006
ACM
15 years 9 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
113
Voted
WSC
2008
15 years 2 months ago
2008
This paper presents a new method to identify and rank the bottlenecks in a manufacturing system. The proposed method is based on performance related data that are easy to capture,...