A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Circular Compositional Reasoning about Liveness
[chapter]
1999
Lecture Notes in Computer Science
Preserved Fulltext
This paper presents a method of circular compositional reasoning that applies to liveness properties as well. It is based on a new circular compositional rule implemented in the SMV proof assistant. ...
Compositional proofs about systems of many components often involve apparently circular arguments. That is, correctness of component A must be assumed when verifying component B, and vice versa. ...
Here, we introduce a compositional technique that allows this kind of circular compositional reasoning. ...
doi:10.1007/3-540-48153-2_30
fatcat:b4t4le5bfbhttdj53iw3myg3li
Compositional reasoning gotchas in practice
2015
2015 Formal Methods in Computer-Aided Design (FMCAD)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Users need to watch out for circularity in properties, for dead-ends getting trimmed by tools, as well as understand the differences in proof composition for liveness and safety properties. ...
For design sizes encountered in practice, compositional assumeguarantee reasoning is often necessary to achieve satisfactory results. ...
CONCLUSION While doing compositional reasoning, users need to be careful about avoiding circularity. ...
doi:10.1109/fmcad.2015.7542248
fatcat:ac5xaq5iyvc5lb563ndt46r63e
Abstract Patterns of Compositional Reasoning
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Compositional Reasoning -reducing reasoning about a concurrent system to reasoning about its individual components -is an essential tool for managing proof complexity and state explosion in model checking ...
In this paper, we construct an abstract framework for reasoning about process composition, formulate an assume-guarantee method, and show that it is sound and semantically complete. ...
An essential tool for the formal analysis of such systems is a compositional reasoning method -one that reduces reasoning about the entire system to reasoning about its individual components. ...
doi:10.1007/978-3-540-45187-7_28
fatcat:675ibin7xbdg5n4aimuvcu5hhm
On the Completeness of Compositional Reasoning
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Several proof rules based on the assume-guarantee paradigm have been proposed for compositional reasoning about concurrent systems. ...
., there are true properties of a composition that cannot be deduced using these rules. We present a new sound and complete circular rule. ...
Such compositional reasoning provides a benefit to the extent that direct reasoning about M 1 //M 2 has been avoided. ...
doi:10.1007/10722167_14
fatcat:ujsy6utfx5bhzccqcayujx7cla
Numerical Investigation of Fatigue Behavior of Non-patched and Patched Aluminum/Composite Plates
2021
European Mechanical Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Al 5083 Aluminum plates with semi-circular notched (2, 3 and 4 mm long cracked) and "V" notched (30°, 45° and 60° angled) were used in the analyzes. ...
Thus, the study revealed that the composite patch's contribution is very important. ...
The main reason for interest in numerical analysis is that it is very close to experimental results. ...
doi:10.26701/ems.923798
fatcat:c5xtjkqdhzbh5gxpkcaeueijmy
NUMERICAL INVESTIGATION OF FATIGUE BEHAVIOURS OF NON-PATCHED AND PATCHED ALUMINIUM PIPES
2021
European Journal of Technic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
As a result of the numerical study, it was observed that patch size is an effective parameter in fatigue strength and that quartercircle and semi-circular composite patches increase the fatigue life. ...
Al 6063 type aluminum pipe, DP-460 type adhesive and [0/90]2 reinforced angled glass-epoxy composite patch material were used in the analyzes. ...
The findings obtained about the fatigue life of different crack lengths as a result of patch repair and patch repair process seen in
Figure 7 . 7 Comparison of the fatigue lives of non-patched and patched ...
doi:10.36222/ejt.893327
fatcat:fdj7v6zoprbvlezuklslydiwoa
A Hint from the Newspaper Office
1912
English Journal
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
In the search for live and interesting topics, the whole field of sense-perception has been ransacked. Textbooks on composition are simply bursting with concrete material. ...
One of the reasons for the effectiveness of the newspaper training is, of course, apparent to everyone. ...
doi:10.2307/801742
fatcat:eabsu3p2hfg5hbjzn5tnzjzsh4
Living Systems: Autonomy, Autopoiesis and Enaction
2014
Philosophy & Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
, or "Which theory, the autopoietic or the enactive, tells us the truth about living beings?" ...
After analyzing the circularity of autonomous systems, Thompson adds an important claim about the consequences of the closed nature of their organization. ...
doi:10.1007/s13347-014-0154-y
fatcat:kd2jsk73dfauhedaz5kg7rgfnq
Proving that non-blocking algorithms don't block
2008
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Our tool uses rely-guarantee reasoning while overcoming the technical challenge of sound reasoning in the presence of interdependent liveness properties. ...
A concurrent data-structure implementation is considered nonblocking if it meets one of three following liveness criteria: waitfreedom, lock-freedom, or obstruction-freedom. ...
It is a circular rely guarantee rule [1] adapted for reasoning about heaps. ...
doi:10.1145/1480881.1480886
dblp:conf/popl/GotsmanCPV09
fatcat:ecrein66ajcfnm7323r7bino5y
Proving that non-blocking algorithms don't block
2009
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Our tool uses rely-guarantee reasoning while overcoming the technical challenge of sound reasoning in the presence of interdependent liveness properties. ...
A concurrent data-structure implementation is considered nonblocking if it meets one of three following liveness criteria: waitfreedom, lock-freedom, or obstruction-freedom. ...
It is a circular rely guarantee rule [1] adapted for reasoning about heaps. ...
doi:10.1145/1594834.1480886
fatcat:7i2awb447jdrpm5he6xdpp7jb4
Effects of specimen variables and stress amplitude on the S-N analysis of two PMMA based bone cements
2017
International Journal of Fatigue
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In previous in vitro fatigue studies, different testing conditions have been used leading to inconsistencies in the findings between the studies, and consequent uncertainties about the effects of testing ...
This study evaluates the role of specimen variables (namely; specimen cross-section shape, surface production method and cement composition) in a range of in vitro stress amplitudes (±12.5, ±15, ±20, ± ...
Whereas for both shapes in CMW1 and rectangular samples of SmartSet GHV the reduction in the fatigue lives by machining the samples is about a factor of approximately 2.5, for the circular machined this ...
doi:10.1016/j.ijfatigue.2017.08.019
fatcat:k5tupeq77jak7mhpeklf47ohkm
Composing Understandings: music, motion, gesture and embodied cognition
2019
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Finally, we proposes a discussion about the application of the theoretical approach in two compositions: Boreal IV, for Steel Drums and real time electronics, and Converse, collaborative multimedia piece ...
for piano, real-time audio (Puredata) and video processing (GEM and live video) and a dancer. ...
The material generated at this stage (the composition, tools for composition teaching, texts, information about interactive composition) are available in https://fermataweb.wordpress. com/ 5 . ...
doi:10.5281/zenodo.3672993
fatcat:zg2moao5m5e7vg74kxrfk2acbm
Page 860 of Therapeutic Gazette Vol. 10, Issue 12
[page]
1886
Therapeutic Gazette
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
To the Editors of the THERAPEUTIC GAZETTE:
GENTLEMEN :— About semi - occasionally there is a howl sent up about proprietary
articles, quacks, etc. ...
are known and recognized, instead of the ready-made pre- scriptions put up by the considerate manu- facturer, and whose real composition is veiled in obscurity. ...
CHINESENESS IN WANG DA-HONG'S RESIDENTIAL PROJECTS
王大閎の住宅作品における中國性
2017
Journal of Architecture and Planning (Transactions of AIJ)
王大閎の住宅作品における中國性
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Based on these reasons, the authors have selected these houses as the main subjects of this paper. About the study methods, which open to the Ten-Jing through ordinary windows. ...
Wang also uses circular openings at both the dining room and the south side of the living room, which are defined as Chinese motifs (fig. 20). ...
doi:10.3130/aija.82.2097
fatcat:ek55kdahajexrlbbfxcsxdbbha
Page 279 of American Journal of Pharmacy and the Sciences Supporting Public Health Vol. 101, Issue 4
[page]
1929
American Journal of Pharmacy and the Sciences Supporting Public Health
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
This circular, however, is of interest principally because the account of its composition by a young man who failed as literary critic, but succeeded as writer of advertisements, and its exploitation as ...
He related tedious stock anecdotes about Piron, who is looked upon as a pro- digious personage among the bourgeoisie. ...
« Previous
Showing results 1 — 15 out of 112,437 results