6608 search results - page 1291 / 1322 » On the Completeness of Model Checking |
155
click to vote
ASPLOS
1992
ACM
15 years 10 months ago
1992
ACM
We describe and evaluate a strategy for declustering the parity encoding in a redundant disk array. This declustered parity organization balances cost against data reliability and...
194
click to vote
PPSN
1994
Springer
15 years 10 months ago
1994
Springer
We present the Genetic L-System Programming (GLP) paradigm for evolutionary creation and development of parallel rewrite systems (Lsystems, Lindenmayer-systems) which provide a com...
158
click to vote
SIGGRAPH
1993
ACM
15 years 10 months ago
1993
ACM
This paper presents a method for designing the illumination in an environment using optimization techniques applied to a radiosity based image synthesis system. An optimization of...
157
click to vote
CTCS
1989
Springer
15 years 10 months ago
1989
Springer
We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors with left adjoints) in terms of fac...
172
click to vote
AMOST
2007
ACM
15 years 10 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...