691 search results - page 35 / 139 » Automatically Proving Linearizability |
TSMC
2002
13 years 9 months ago
2002
By exploiting the Fourier series expansion, we have developed a new constructive method of automatically generating a multivariable fuzzy inference system from any given sample set...
IJCAI
2003
13 years 11 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
ICSE
2005
IEEE-ACM
14 years 10 months ago
2005
IEEE-ACM
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
DOCENG
2006
ACM
14 years 3 months ago
2006
ACM
Category ranking provides a way to classify plain text documents into a pre-determined set of categories. This work proposes to have a look at typical document collections and ana...
CCS
2006
ACM
14 years 1 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...