Results 11 to 20 of about 6,182,813 (299)
Compositional Safety Refutation Techniques [PDF]
, 2017 One of the most successful techniques for refuting safety properties is to find counterexamples by bounded model checking. However, for large programs, bounded model checking instances often exceed the limits of resources available. Generating such counterexamples in a modular way could speed up refutation, but it is challenging because of the ...
Kumar Madhukar +2 more
core +4 more sources
Compositional Construction and Reasoning Techniques for Software. [PDF]
J. Univers. Comput. Sci., 2005 Compositional Construction and Reasoning Techniques for ...
Arbab,Farhad, Kok,Joost
openaire +3 more sources
COLORISTIC TONAL AND HARMONIC COMPOSITIONAL TECHNIQUES IN ZOLTÁN GÁRDONYI’S CHORAL WORKS FOR ORGAN [PDF]
Studia Universitatis Babeş-Bolyai. Musica, 2023 The topic of this paper is an analysis of two choral works for organ by Zoltán Gárdonyi. The purpose of this work is to reveal the compositional methods and tools used to create coloristic and fascinating tonal and harmonic movements in those two choral ...
János Zsolt IMRE
doaj +1 more source
The Guitar as a Laboratory for Experimentation
Revista Vortex, 2020 In this article, I will discuss the role of the electric guitar in the conception, development and composition of three recent works: Recessional Motion, Flexidra IV, and Volpi/Formentera.
Camilo A. Mendez San Juan
doaj +1 more source
MethodsX, 2022 Clastic reservoir core is routinely characterized using conventional, destructive spot sampling techniques. Whilst spot sampling provides useful textural and compositional information, the samples are typically widely spaced (∼ 25 cm), and hence ...
Arif Hussain, Khalid Al-Ramadan
doaj +1 more source
Polysemy in Compositional Distributional Semantics [PDF]
, 2012 Research in distributional semantics has made good progress in capturing individual word meanings using contextual frequencies obtained from a large corpus.
Reddy, Siva
core +5 more sources
Muzikološki Zbornik, 2018 Viewed from a historical perspective, the twentieth century appears to have largely broken with the fundamental traits that marked the nineteenth century. In some respects, however, certain specific characteristics were enhanced.
Gregor Pompe
doaj +1 more source
A Technique for the Composition of Music in a Computer [PDF]
The Computer Journal, 1963 In response to an enquiry from the British Broadcasting Corporation, a program was written for the Pegasus computer to compose music of a particular limited type, and a short passage of the resulting music was broadcast during the programme "Machines Like Men" in the B.B.C. Television Service on Thursday 30th August, 1962.
openaire +3 more sources
Compositional nonblocking verification with always enabled events and selfloop-only events [PDF]
, 2013 This paper proposes to improve compositional nonblocking verification through the use of always enabled and selfloop-only events. Compositional verification involves abstraction to simplify parts of a system during verification.
Malik, Robi +3 more
core +1 more source
Transition removal for compositional supervisor synthesis [PDF]
, 2012 This paper investigates under which conditions transitions can be removed from an automaton while preserving important synthesis properties. The work is part of a framework for compositional synthesis of least restrictive controllable and nonblocking ...
Fabian, Martin, +7 more
core +1 more source