330 search results - page 26 / 66 » Analyzing Large Spreadsheet Programs |
108
Voted
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Large linguistic databases, especially databases having a global coverage such as The World Atlas of Language Structures (Haspelmath et al. 2005), The Automated Simility Judgment ...
66
Voted
CLUSTER
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract—Large-scale parallel applications often produce immense quantities of data that need to be analyzed. To avoid performing repeated, costly disk accesses, analysis of larg...
IFIP12
2008
14 years 11 months ago
2008
Go is a strategic two player boardgame of Chinese origin. In terms of game theory, it is a deterministic perfect information game. But despite of these factors it is terribly comp...
ANLP
1992
14 years 10 months ago
1992
This paper presents a system which detects and corrects morpho-syntactic errors in Dutch texts. It includes a spelling corrector and a shift-reduce parser for Augmented Context-fr...