KClone: A Proposed Approach to Fast Precise Code Clone Detection

In all applications of clone detection it is important to have precise and efficient clone identification algorithms. This paper proposes and outlines a new algorithm, KClone for clone detection that incorporates a novel combination of lexical and local dependence analysis to achieve precision, while retaining speed. The paper also reports on the initial results of a case study using an implementation of KClone with which we have been experimenting. The results indi- cate the ability of KClone to find types-1,2, and 3 clones compared to token-based and PDG-based techniques. The paper also reports results of an initial empirical study of the performance of KClone compared to CCFinderX.

Automatically Adapting Source Code to Document Provenance

Being able to ask questions about the provenance of some data requires documentation on each influence on that data's existence and content. Much software exists, and is being developed, for which there is no provenance-awareness, i.e. at best, the data it outputs can be connected to its inputs, but with no record of intermediate processing. Further, where some record of processing does exist, e.g. as logs, it is not in a form easily connected with that of other processes. We would like to enable compiled software to record useful documentation without requiring prior manual adaptation. In this paper, we present an approach to adapting source code from its original form without manual manipulation, to record information on data provenance during execution.

Dip financing of financially distressed companies in Brazil – the conditions provided by the brazilian bankruptcy law act as real incentives for dip lenders as in chapter 11 of the American bankruptcy code?

O objeto deste trabalho é a compreensão do financiamento de empresas em crise, mais especificamente, o financiamento concedido após o pedido de recuperação judicial, como forma de permitir que a empresa saia da situação de crise e retorne à condição de normalidade. Para tanto, nos apropriando do termo cunhado pela doutrina norte-americana, para fazer referência ao aporte de recursos em empresas em dificuldade, utilizaremos o termo DIP financing ou financiamento DIP. Para uma compreensão adequada do objeto, é necessário que entendamos a origem do DIP financing nos Estados Unidos e como é a regulação norte-americana sobre a matéria atualmente. O segundo passo será avaliar a possibilidade de aplicação da mesma estrutura de aporte de recursos no Brasil. Ao estudarmos a origem desse mecanismo nos Estados Unidos, veremos os problemas que surgiram ao longo dos anos e como foram superados jurisprudencialmente e doutrinariamente para que o financiamento DIP se consolidasse como uma das formas de aporte de capital em empresas em crise, culminando no desenvolvimento de uma verdadeira indústria de crédito às empresas em dificuldade. Uma análise dos problemas enfrentados pelo sistema falimentar americano nos levará a hipótese de que, a menos que sejam afirmados mecanismos que assegurem a quem concede o financiamento após o pedido de recuperação judicial, uma super prioridade no recebimento após a recuperação judicial, será possível o desenvolvimento de um mercado de DIP financing no Brasil.

Apuração de haveres na sociedade limitada: uma análise crítica da jurisprudência

Esta dissertação tem por objetivo investigar a apuração de haveres nas sociedades limitadas a partir da análise da jurisprudência, notadamente para compreender o alcance da liberdade de contratar das partes, estabelecido, entre outras normas, no artigo 1.031 do Código Civil. Para tanto, analisaram-se os julgados do STJ, disponíveis no sítio eletrônico da corte e, da mesma forma, os do TJSP, dada a relevância econômica do estado e a existência de câmaras especializadas em direito empresarial, entre o período de 2010 a 2014. Tentou-se construir uma tipologia das questões que compõem o julgamento das cláusulas de apuração de haveres, como, por exemplo, distinção entre forma de apuração e forma de pagamento; e, igualmente, dos fundamentos usados pelos tribunais para afastar ou aplicar as cláusulas. Na segunda seção, fez-se uma análise crítica dos argumentos jurisprudenciais, sob a forma de defesa daqueles que, a nosso sentir, devem validar as cláusulas de apuração de haveres, quais sejam: boa-fé objetiva, função social e os constantes na literatura americana do capital lock in. Além disso, pontua-se sobre o emprego, a nosso sentir, inadequado do “enriquecimento sem causa”, como também da conveniência de se fazer uma aplicação ponderada dos princípios, especialmente quando contrariam uma regra jurídica positivada. Por fim, antes de concluir, comentou-se sobre a forma de apuração de haveres construída pela jurisprudência, a qual denomina-se, neste trabalho, dissolução total simulada.

A função social do contrato como concretização de direitos fundamentais nas relações privadas

This dissertation deals with the social function of the contract, based on constitutional principles, especially those relating to fundamental rights. The social function of the contract (general clause) is described in the Civil Code so intentionally generic, no precise criteria to define it. Because of the fluidity of this principle, it is justified its closer study, seeking to assess its various meanings and looking away from the legal uncertainty that an unlimited conceptual vagueness can cause. The social function of the contract arises from a transformation experienced in private law from the inflows received from the Constitutional Law, the result of an evolutionary process by which it became the state structure, leaving the foundations of the classical liberal state and moving toward a vision guided by existential human values that give the keynote of the Welfare State. Arose, then the concern about the effectiveness of fundamental rights in relations between individuals, which is studied from the inapplicability of fundamental rights in private relations (U.S. doctrine of State action), passing to the analysis of the Theory of indirect horizontal effect of fundamental rights (of German creation and majority acceptance), reaching the right horizontal efficacy Theory of fundamental rights, prevailing Brazilian doctrine and jurisprudence. It has also been investigated the foundations of the social contract, pointing out that, apart from the provisions of the constitutional legislation, that base the principle on screen, there have also been noticed foundations in the Federal Constitution, in devices like the art. 1, III, the dignity of the human person is the north of the relationship between contractors. Also art. 3rd, I CF/88 bases the vision of social covenants, equipping it for the implementation of social solidarity, as one of the fundamental objectives of the Republic. Still on art. 170 of the Constitution it is seen as a locus of reasoning in the social function of the contract, the maintenance of the economic order. It is also studied the internal and external aspects of the social function of the contract, being the first part the one that considers the requirement of respect for contractual loyalty, through the objective good faith, as a result of the dignity of the hirer may not be offended by the other through the contract. On the other hand, the external facet of the social function of the contract, in line with the constitutional mandate of solidarity, indicates the need for contractors to respect the rights of society, namely the diffuse, collective and individual third party. In this external appearance, it is also pointed the notion of external credit protection, addressing the duty of society to respect the contract. There has been shown some notions of the social contract in comparative law. Then, there has been investigated the content of principle study, through their interrelationships with other provisions of private and constitutional law, namely equality, objective good faith, private autonomy and dignity of the human person. We study the application of the social contract in contractual networks as well as the guidance of conservation of contracts, especially those denominated long-term captive contracts, considering the theory of substantive due performance, concluding with an analysis of the social contract in code of Consumer Protection

A simple mechanism to deal with sequential code in dataflow architectures

The aim of this work is to propose a simple and efficient mechanism to deal with the problem of executing sequential code in a pure dataflow machine. Our results is obtained with a simulator of Wolf [4] architecture. The implemented mechanism improved the architecture performance when executing sequential code and we expect that this improvement could be better if we use some heuristics to deal with some special groups of instructions such as branch operations. Further research will show us if this is true.

Spectroscopic characterization of SnO2 gels - Code: CP11

Excitation and dynamic emission spectra of Eu3+ ions were simultaneously used with FTIR and Raman spectroscopy to study the structural evolution during SnO2 sol → gel → xerogel conversion. Results make evident an increase of the surroundings symmetry for the Eu3+ ions dissolved in SnO2 matrix and a decrease of the amount of hydroxo groups (Sn-OH) during drying. These phenomena were associated to the pursuit of the condensation reaction after gelation. © 1994 Kluwer Academic Publishers.

Pore size distribution of unsupported SnO2 membranes prepared by sol-gel process - Code: EP21

Unsupported SnO2 membranes were prepared by sol-gel process and characterized by N2 adsorption-desorption isotherms and X-ray diffraction. Results show that the texture of dried samples does not change appreciably with the concentration of electrolyte. All of the pore size range used in ultrafiltration process was screened using sintering temperature between 300 and 700°C. © 1994 Kluwer Academic Publishers.

ENCORE: Enhanced code Galileo receiver for land management applications in Brazil

Taking benefit of the new Galileo ranging signals, the ENCORE (Enhanced Code Galileo Receiver) project aims to develop a low-cost Land Management Application to cover needs of the Brazilian market in terms of geo-referencing and rural/urban cadastre, using a low-cost Enhanced Galileo Code Receiver as baseline. Land management applications require precision and accuracy levels from a few to several decimetres that are under-met with current pseudorange-based receiver and over-met with phase observations. This situation leads either to a waste of resources, or to lack of accuracy. In this project, it is proposed to fill this gap using the new possibilities of the Galileo ranging signals, in particular E5 AltBOC and E1 CBOC. This approach reduces the cost of the end-user solution, helping the rapid penetration of Galileo technology outside Europe. ©2010 IEEE.

Automatic code generation for microcontrollers from place-transition Petri net models

This paper describes a program for the automatic generation of code for Intel's 8051 microcontroller. The code is generated from a place-transition Petri net specification. Our goal is to minimize programming time. The code generated by our program has been observed to exactly match the net model. It has also been observed that no change is needed to be made to the generated code for its compilation to the target architecture. © 2011 IFAC.

ENCORE: Enhanced Galileo code receiver for surveying applications

In this paper we describe the development of a low-cost high-accuracy Galileo Code receiver, user application software and positioning algorithms for land management applications, which have been implemented using a dedicated FPGA board and dual frequency Galileo E5/L1 Radio Frequency Front-End. The current situation of rural property surveying in Brazil is described and the use of code measurements from the new Galileo signals E5 AltBOC combined with E1 MBOC for use in land management applications is explored. We explain how such approach is expected to allow delivering an absolute positioning solution which could bridge the gap between receivers of high cost/complexity/accuracy based on carrier phase and receivers of lower cost/accuracy based on pseudorange observables. The system is presented together with a detailed description of main components: the Code Receiver and the Application Software. The work presented is part of an ongoing European-Brazilian consortium effort to explore the use of new Galileo for land management applications in Brazil and sponsored by the GNSS Supervisory Authority (GSA).

Computational tool to support design of DAC Converter model AD7528 with the object code in XML

Based on literature review, electronic systems design employ largely top-down methodology. The top-down methodology is vital for success in the synthesis and implementation of electronic systems. In this context, this paper presents a new computational tool, named BD2XML, to support electronic systems design. From a block diagram system of mixed-signal is generated object code in XML markup language. XML language is interesting because it has great flexibility and readability. The BD2XML was developed with object-oriented paradigm. It was used the AD7528 converter modeled in MATLAB / Simulink as a case study. The MATLAB / Simulink was chosen as a target due to its wide dissemination in academia and industry. From this case study it is possible to demonstrate the functionality of the BD2XML and make it a reflection on the design challenges. Therefore, an automatic tool for electronic systems design reduces the time and costs of the design.

The major unresolved issues in the negotiations on the UNCTAD Code of Conduct for the transfer of technology

Includes bibliography

Cold Code: The global initiative to DNA barcode amphibians and nonavian reptiles

DNA barcoding facilitates the identification of species and the estimation of biodiversity by using nucleotide sequences, usually from the mitochondrial genome. Most studies accomplish this task by using the gene encoding cytochrome oxidase subunit I (COI; Entrez COX1). Within this barcoding framework, many taxonomic initiatives exist, such as those specializing in fishes, birds, mammals, and fungi. Other efforts center on regions, such as the Arctic, or on other topics, such as health. DNA barcoding initiatives exist for all groups of vertebrates except for amphibians and nonavian reptiles. We announce the formation of Cold Code, the international initiative to DNA barcode all species of these 'cold-blooded' vertebrates. The project has a Steering Committee, Coordinators, and a home page. To facilitate Cold Code, the Kunming Institute of Zoology, Chinese Academy of Sciences will sequence COI for the first 10 specimens of a species at no cost to the steward of the tissues. © 2012 Blackwell Publishing Ltd.