Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Improving the precision of INCA by preventing spurious cycles
View through CrossRef
The Inequality Necessary Condition Analyzer (INCA) is a finite-state verification tool that has been able to check properties of some very large concurrent systems. INCA checks a property of a concurrent system by generating a system of inequalities that must have integer solutions if the property can be violated. There may, however, be integer solutions to the inequalities that do not correspond to an execution violating the property. INCA thus accepts the possibility of an inconclusive result in exchange for greater tractability. We describe here a method for eliminating one of the two main sources of these inconclusive results.
Association for Computing Machinery (ACM)
Title: Improving the precision of INCA by preventing spurious cycles
Description:
The Inequality Necessary Condition Analyzer (INCA) is a finite-state verification tool that has been able to check properties of some very large concurrent systems.
INCA checks a property of a concurrent system by generating a system of inequalities that must have integer solutions if the property can be violated.
There may, however, be integer solutions to the inequalities that do not correspond to an execution violating the property.
INCA thus accepts the possibility of an inconclusive result in exchange for greater tractability.
We describe here a method for eliminating one of the two main sources of these inconclusive results.
Related Results
Don Melchor Carlos Inca, el inca mestizo: Los Carlos Inca en el siglo XVII de la sociedad cusqueña
Don Melchor Carlos Inca, el inca mestizo: Los Carlos Inca en el siglo XVII de la sociedad cusqueña
En 1539, don Cristóbal Paullo, uno de los hijos del inca Huayna Cápac, fue nombrado «inca» como parte de una estrategia política de los españoles. Desde entonces tuvo acceso a enco...
To Be Inca or Not to Be Inca?
To Be Inca or Not to Be Inca?
This chapter explores three different discourses on the prehistory of Ecuadorian music, from the Inca supporters, namely, composers Pedro Pablo Traversari and Sixto María Durán, to...
P-668 The LH endocrine profile in Gonadotropin-Releasing Hormone analogue cycles
P-668 The LH endocrine profile in Gonadotropin-Releasing Hormone analogue cycles
Abstract
Study question
What does the evolution of luteinizing hormone (LH) throughout the follicular phase look like in differe...
Transcendent Inca
Transcendent Inca
Abstract
Philip II died in 1598, around the time the last living witnesses of the Inca world passed away. This chapter looks at the Andes in the early 1600s, describ...
Комплексний підхід до вибору плівкоутворюючих антикорозійних сполук для захисту авіаційних конструкцій від корозії
Комплексний підхід до вибору плівкоутворюючих антикорозійних сполук для захисту авіаційних конструкцій від корозії
This paper considers substantiated by experiments the selection of corrosion-preventing compounds for aircraft structures protection. The influence of corrosion-preventing compound...
Energy-efficient architectures for recurrent neural networks
Energy-efficient architectures for recurrent neural networks
Deep Learning algorithms have been remarkably successful in applications such as Automatic Speech Recognition and Machine Translation. Thus, these kinds of applications are ubiquit...
El regreso del Inca : sobre una edición de dos obras de Garcilaso
El regreso del Inca : sobre una edición de dos obras de Garcilaso
Cuando hace unos años Claudio Guillén me pidió que colaborase en su proyecto editorial de la Biblioteca de Literatura Universal con una edición de la obra del Inca Garcilaso, acept...
Argentina and the Appropriation of the Inca Past
Argentina and the Appropriation of the Inca Past
This chapter explores how and why a mostly European immigrant-constituted country such as Argentina used the Inca past as a source for their own national art music identity. Since ...