1077 search results - page 194 / 216 » Formal Checking of Properties in Complex Systems Using Abstr... |
135
click to vote
CPM
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We apply the Boyer–Moore technique to compressed pattern matching for text string described in terms of collage system, which is a formal framework that captures variou...
216
Voted
POPL
2010
ACM
16 years 28 days ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...
126
click to vote
APN
2008
Springer
15 years 5 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
129
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The memory consistency model is a fundamental system property characterizing a multiprocessor. The relative merits of strict versus relaxed memory models have been widely debated ...
163
Voted
DILS
2006
Springer
15 years 7 months ago
2006
Springer
Scientific experiments are becoming increasingly large and complex, with a commensurate increase in the amount and complexity of data generated. Data, both intermediate and final r...