The Experts below are selected from a list of 90759 Experts worldwide ranked by ideXlab platform
B. Yakobowski - One of the best experts on this subject based on the ideXlab platform.
-
Structuring abstract interpreters through state and value abstractions
2017Co-Authors: Sandrine Blazy, D. Bühler, B. YakobowskiAbstract:We present a new modular way to structure abstract interpreters. Modular means that new analysis domains may be pluggedin. These abstract domains can communicate through different means to achieve maximal precision. First, all abstractions work cooperatively to emit alarms that exclude the undesirable behaviors of the program. Second, the state abstract domains may exchange inFormation through abstractions of the possible value for expressions. Those value abstractions are themselves extensible, should two domains require a novel Form of Cooperation. We used this approach to design eva, an abstract interpreter for C implemented within the Frama-C framework. We present the domains that are available so far within eva, and show that this communication mechanism is able to handle them seamlessly.
-
structuring abstract interpreters through state and value abstractions
Verification Model Checking and Abstract Interpretation, 2017Co-Authors: Sandrine Blazy, D. Bühler, B. YakobowskiAbstract:We present a new modular way to structure abstract interpreters. Modular means that new analysis domains may be plugged-in. These abstract domains can communicate through different means to achieve maximal precision. First, all abstractions work cooperatively to emit alarms that exclude the undesirable behaviors of the program. Second, the state abstract domains may exchange inFormation through abstractions of the possible value for expressions. Those value abstractions are themselves extensible, should two domains require a novel Form of Cooperation. We used this approach to design \({\textsc {eva}}\), an abstract interpreter for C implemented within the \(\textsc {Frama}\text {-}\textsc {C}\) framework. We present the domains that are available so far within \({\textsc {eva}}\), and show that this communication mechanism is able to handle them seamlessly.
Sandrine Blazy - One of the best experts on this subject based on the ideXlab platform.
-
Structuring abstract interpreters through state and value abstractions
2017Co-Authors: Sandrine Blazy, D. Bühler, B. YakobowskiAbstract:We present a new modular way to structure abstract interpreters. Modular means that new analysis domains may be pluggedin. These abstract domains can communicate through different means to achieve maximal precision. First, all abstractions work cooperatively to emit alarms that exclude the undesirable behaviors of the program. Second, the state abstract domains may exchange inFormation through abstractions of the possible value for expressions. Those value abstractions are themselves extensible, should two domains require a novel Form of Cooperation. We used this approach to design eva, an abstract interpreter for C implemented within the Frama-C framework. We present the domains that are available so far within eva, and show that this communication mechanism is able to handle them seamlessly.
-
structuring abstract interpreters through state and value abstractions
Verification Model Checking and Abstract Interpretation, 2017Co-Authors: Sandrine Blazy, D. Bühler, B. YakobowskiAbstract:We present a new modular way to structure abstract interpreters. Modular means that new analysis domains may be plugged-in. These abstract domains can communicate through different means to achieve maximal precision. First, all abstractions work cooperatively to emit alarms that exclude the undesirable behaviors of the program. Second, the state abstract domains may exchange inFormation through abstractions of the possible value for expressions. Those value abstractions are themselves extensible, should two domains require a novel Form of Cooperation. We used this approach to design \({\textsc {eva}}\), an abstract interpreter for C implemented within the \(\textsc {Frama}\text {-}\textsc {C}\) framework. We present the domains that are available so far within \({\textsc {eva}}\), and show that this communication mechanism is able to handle them seamlessly.
Yılmaz Kılıçaslan - One of the best experts on this subject based on the ideXlab platform.
-
determinants of subcontracting and regional development an empirical study on turkish textile and engineering industries
Regional Studies, 2005Co-Authors: Erol Taymaz, Yılmaz KılıçaslanAbstract:Taymaz E. and Kilicaslan Y. (2005) Determinants of subcontracting and regional development: an empirical study on Turkish textile and engineering industries, Regional Studies 39 , 633–645. Recent studies on small‐ and medium‐sized establishments emphasize the importance of networking and regional clusters for (regional) industrial development. This study is focused on an important Form of Cooperation between firms: the subcontracting relationship. The aim is to identify the determinants of subcontracting in Turkish textile and engineering industries and to derive policy implications from our empirical analysis. Subcontract offering and subcontract receiving models are estimated for both industries by using panel data on all establishments employing ten or more workers between 1993 and 2000. The findings show that a short‐term/unequal relationship exists between clients and subcontractors in the textile industry, whereas subcontracting relationships in the engineering industry are established between ‘simi...
-
Subcontracting dynamics and economic development: A study on textile and engineering industries
2001Co-Authors: Erol Taymaz, Yılmaz KılıçaslanAbstract:Recent studies on small and medium sized establishments emphasize the importance of networking and regional clusters for industrial development. This study is focused on an important Form of Cooperation between firms: subcontracting relationship. Our aim is to estimate the determinants of subcontracting in Turkish textile and engineering industries, and to derive policy implications of our estimates. We estimate subcontract offering and subcontract receiving models for both industries by using panel data on all establishments employing 25 or more workers in the period 1988-97. Our findings show that short-term/unequal relationship exists between parent firms and subcontractors in the textile industry whereas subcontracting relationships in the engineering industry are established between "similar", relatively advanced firms that have complementary assets and technologies.
Dirk Meissner - One of the best experts on this subject based on the ideXlab platform.
-
Public-Private Partnership Models for Science, Technology, and Innovation Cooperation
Journal of the Knowledge Economy, 2019Co-Authors: Dirk MeissnerAbstract:The paper looks at Cooperation models for science, technology, and innovation with clear aims at delivering value and progress in these fields. Such Cooperation models have been established in various Forms in many countries. One special Form of Cooperation is the public-private partnership which also comes in many different Forms. The article is based on the analysis of 20 public-private partnerships located in Austria, Australia, Belgium, Germany, Ireland, Japan, New Zealand, Sweden, and The Netherlands. Public-private partnerships for science, technology, and innovation have various institutional and organizational models. The common central issue of all different models is an interdisciplinary management committee consisting of both academic and industrial representatives which is responsible for the alignment of all partners’ interests. In addition, public-private partnerships need carefully developed strategies and well-thought-out contractual basis in line with respective stakeholder communication. Frequently, public-private partnerships are established by a small number of partners but extended at later development stages requiring a seamless and transparent partner selection procedure. Equally important is a sustainable financial agreement which allows mid-term and long-term work by the public-private partnerships. Moreover, in the course of globalization, the regulatory requirements for public-private partnerships in countries and regions are becoming increasingly important. Therefore, in addition to statutory regulations, human resources, scientific excellence, and infrastructure are important determinants for locations which aim at providing attractive framework conditions for public-private partnerships. Finally, it must be noted that two different research cultures meet in public-private partnerships: Synergies have to be found between basic academic research and applied industrial research, and they have to be used for mutual added value. Before establishing public-private partnerships Formally, particular attention must be paid to so-called competing values. These must be regulated in a contract, and transparent control and sanction mechanisms must be introduced. In so doing, the mistrust associated with divergent interests (for example in relation to intellectual property rights) can be effectively prevented from the outset.
-
Public-Private Partnership Models for Science, Technology, and Innovation Cooperation
Journal of the Knowledge Economy, 2019Co-Authors: Dirk MeissnerAbstract:The paper looks at Cooperation models for science, technology, and innovation with clear aims at delivering value and progress in these fields. Such Cooperation models have been established in various Forms in many countries. One special Form of Cooperation is the public-private partnership which also comes in many different Forms. The article is based on the analysis of 20 public-private partnerships located in Austria, Australia, Belgium, Germany, Ireland, Japan, New Zealand, Sweden, and The Netherlands. Public-private partnerships for science, technology, and innovation have various institutional and organizational models. The common central issue of all different models is an interdisciplinary management committee consisting of both academic and industrial representatives which is responsible for the alignment of all partners’ interests. In addition, public-private partnerships need carefully developed strategies and well-thought-out contractual basis in line with respective stakeholder communication. Frequently, public-private partnerships are established by a small number of partners but extended at later development stages requiring a seamless and transparent partner selection procedure. Equally important is a sustainable financial agreement which allows mid-term and long-term work by the public-private partnerships. Moreover, in the course of globalization, the regulatory requirements for public-private partnerships in countries and regions are becoming increasingly important. Therefore, in addition to statutory regulations, human resources, scientific excellence, and infrastructure are important determinants for locations which aim at providing attractive framework conditions for public-private partnerships. Finally, it must be noted that two different research cultures meet in public-private partnerships: Synergies have to be found between basic academic research and applied industrial research, and they have to be used for mutual added value. Before establishing public-private partnerships Formally, particular attention must be paid to so-called competing values. These must be regulated in a contract, and transparent control and sanction mechanisms must be introduced. In so doing, the mistrust associated with divergent interests (for example in relation to intellectual property rights) can be effectively prevented from the outset.
Trevor D Price - One of the best experts on this subject based on the ideXlab platform.
-
evolution of sexual Cooperation from sexual conflict
Proceedings of the National Academy of Sciences of the United States of America, 2019Co-Authors: Maria R Servedio, John M Powers, Russell Lande, Trevor D PriceAbstract:In many species that Form pair bonds, males display to their mate after pair Formation. These displays elevate the female’s investment into the brood. This is a Form of Cooperation because without the display, female investment is reduced to levels that are suboptimal for both sexes. The presence of such displays is paradoxical as in their absence the male should be able to invest extra resources directly into offspring, to the benefit of both sexes. We consider that the origin of these displays lies in the exploitation of preexisting perceptual biases which increase female investment beyond that which is optimal for her, initially resulting in a sexual conflict. We use a combined population genetic and quantitative genetic model to show how this conflict becomes resolved into sexual Cooperation. A cooperative outcome is most likely when perceptual biases are under selection pressures in other contexts (e.g., detection of predators, prey, or conspecifics), but this is not required. Cooperation between pair members can regularly evolve even when this provides no net advantage to the pair and when the display itself reduces a male’s contributions to raising the brood. The findings account for many interactions between the sexes that have been difficult to explain in the context of sexual selection.