Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 161 - 180 von 6.203

161

Formal verification of practical MPI programs
Vo, Anh ; Vakkalanka, Sarvani ; DeLisi, Michael ; et al.
Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming. :261-270

Konferenz
162

Dieses Ergebnis kann Gästen nicht angezeigt werden.

163

Dieses Ergebnis kann Gästen nicht angezeigt werden.

164

Dieses Ergebnis kann Gästen nicht angezeigt werden.

165

Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems
He, Fei ; Gao, Xiaowei ; Wang, Bow-Yaw ; et al.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. :503-514

Konferenz
166

Dieses Ergebnis kann Gästen nicht angezeigt werden.

167
168

Proof-guided underapproximation-widening for multi-process systems
Grumberg, Orna ; Lerda, Flavio ; Strichman, Ofer ; et al.
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :122-131

Konferenz
169

Declarative programming for verification : lessons and outlook
Leuschel, Michael
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming. :1-7

Konferenz
170

CTL Model Update for System Modifications.
Yan Zhang ; Yulin Ding
Journal of Artificial Intelligence Research. 2008, Vol. 31, p113-155. 43p. 18 Diagrams.

Technological innovation... Computer software Computer input-output eq... Semantics Complexity (Philosophy)
Fachzeitschrift
171

Concurrency testing using schedule bounding : an empirical study
Thomson, Paul ; Donaldson, Alastair F. ; Betts, Adam
Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming. :15-28

Konferenz
172

Abstractions from proofs
Henzinger, Thomas A. ; Jhala, Ranjit ; Majumdar, Rupak ; et al.
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :232-244

Konferenz
173

From symptom to cause : localizing errors in counterexample traces
Ball, Thomas ; Naik, Mayur ; Rajamani, Sriram K.
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :97-105

Konferenz
174

Specification and automated validation of staged reconfiguration processes for dynamic software product lines.
Lochau, Malte ; Bürdek, Johannes ; Hölzle, Stefan ; et al.
Software & Systems Modeling. Feb2017, Vol. 16 Issue 1, p125-152. 28p.

SOFTWARE validation PRODUCT life cycle SOFTWARE product line en... TEST validity AUTOMATION in electric i...
Fachzeitschrift
175

Automated protocol verification in linear logic
Bozzano, Marco ; Delzanno, Giorgio
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming. :38-49

Konferenz
176

The Alternating-Time \mu-Calculus With Disjunctive Explicit Strategies
Humml, Merlin ; Schröder, Lutz ; Pattinson, Dirk
G\"ottlinger, M., Schr\"oder, L., & Pattinson, D. CSL 2021, Leibniz International Proceedings in Informatics (LIPIcs) (pp. 26:1-26:22)

Computer Science - Logic... Computer Science - Artif... F.4.1 I.2.11
Report
177

Automating relatively complete verification of higher-order functional programs
Unno, Hiroshi ; Terauchi, Tachio ; Kobayashi, Naoki
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :75-86

Konferenz
178

Modeling wildcard-free MPI programs for verification
Siegel, Stephen F. ; Avrunin, George S.
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming. :95-106

Konferenz
179

Synthesis of interface specifications for Java classes
Alur, Rajeev ; Černý, Pavol ; Madhusudan, P. ; et al.
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :98-109

Konferenz
180

Summarizing procedures in concurrent programs
Qadeer, Shaz ; Rajamani, Sriram K. ; Rehof, Jakob
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :245-255

Konferenz

Filter