Search

Physical limitations in processor design have made the computer industry shift from improving the speed of a single processor to increasing the number of processing core units. But the design of software to exploit parallel processing power in a correct and cost-effective way is a challenging task requiring a high degree of expertise. In 2017, Pérez and Yovine proposed a platform-agnostic parallel programming pattern called PCR, that eases writing parallel code. In this work, we formalize the PCR pattern in terms of TLA+ - a formal specification language for concurrent systems that is being used at places such as Intel, Amazon and Microsoft. We seek to provide a formal framework mainly for (1) expressing high level PCR designs and prove their functional correctness in the sense that their parallel computation computes a given mathematical function, and (2) being able to formally relate different PCR designs. In this way, we contribute to the state of the art in formal verification of parallel programs by leveraging TLA+-related tools to proving properties about high-level PCR-based algorithms such as their functional correctness and refinement. [ABSTRACT FROM AUTHOR]

The Argentine software and computer services sector (SSI) has been active for two decades, driven by public policies and international outsourcing. However, growth in the sector has currently stagnated. This stalling is the result of the extractivism of capacities that operate in three ways: price-salaries, training and financial. The first explanation is the growing competition for costs resulting in contractions of wages and benefits. The second is capacity building that is geared to the requirements of international demand in standardized skills. The third is the financial valuation of the undertakings. This article builds a set of statistical information that enables this phenomenon for the Argentine case to be described and documented. [ABSTRACT FROM AUTHOR]

This article aims to ascertain the meanings and values established in the corporate agenda of Mercado Libre, the leader in e-commerce in Latin America. Starting from a systematic survey of its appearances in the media and social networks, we address the meanings of inclusion and the imaginary of the future that it promotes as a technology-intensive company. The technoinclusive agenda proposed by techno-progressive neoliberalism feeds on the demands of the new social movements to revitalize the idea of a hyper-individualized entrepreneurial subject and position technological innovation as the center of social well-being. Likewise, we include the activist experience of Transistemas, a LGTBIQ+ social organization that generates proposals for formal labor insertion in the computer industry. Considering these two cases, we attempt to analyze the tension between the techno-progressive neoliberal hegemonic agenda and the resignifications that are produced on it from grassroots political activism. [ABSTRACT FROM AUTHOR]

Information is the most important intangible asset that has administrative management. The article focuses on the implementation of a repository of administrative digital documents. The method followed for its development, implementation and validation in a university context is described, which consists of four phases. Particularly, Phase 3 deals with the construction of the open access administrative repository to capture, manage, save and preserve digital documents, it was selected as a computer tool and Business Content Manager, in this case Nuxeo. The results of the implementation allowed the General Directorate of Settlement of Assets of the Universidad Nacional del Nordeste to manage the information produced and speed up the automation of reception of the news necessary for the settlements of assets. This repository is an effective tool for information management, providing the university with a comprehensive solution for the management, processing and safeguarding of digital documents, speeding up the search and retrieval of information. The achievements suggest the improvement of intermediate ICT procedures and constitute a contribution to the area of digital repositories in administrative contexts [ABSTRACT FROM AUTHOR]

Copyright of Pixel-Bit, Revista de Medios y Educacion is the property of Pixel-Bit, Revista de Medios y Educacion and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

It is not secret that the inadequate planning in a project causes economic loss, delays in the delivery of projects and weakens the institutional image, so it should be planned in such a way as to ensure the expectations of quality, cost and time thus ensuring so its success. A proposal for the Planning of IT projects under the PMI standard is presented hereby, it can be used in organizations to develop projects in this area. An assessment of the current status of project planning in companies managing IT projects in the city of San José de Cucuta (NS) was done for developing it. Then an analysis of tools and / or techniques in planning projects included in the PMBOK was developed. [ABSTRACT FROM AUTHOR]

Copyright of Gerencia Tecnologica Informatica is the property of Universidad Industrial de Santander and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Copyright of Revista Cubana de Ciencias Informáticas is the property of Universidad de las Ciencias Informaticas (UCI) and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Define the roles to assume for the members of a project team, keeping in mind the characteristics of the industry of national software, it constitutes a valid starting point to contribute to their. Of general way in this article is carried out a proposal of lists that could be assumed in the Cuban companies and they are left established the personal characteristics and professionals that should possess the individuals that carry out each role. [ABSTRACT FROM AUTHOR]

The considerations reflected in this work are focused to emphasize the importance and necessity of the application of verification techniques like software inspections in the software industry. Especially if it is related with small and medium companies because they have the responsibility of achieving a software industry of excellence and also to obtain the quality required in developing countries. A set of authors who have carried out investigations related with the conception of the whole process of software inspection, resources and staff that should be taken into account for It, are also analyzed in this work. [ABSTRACT FROM AUTHOR]