“…Finally, the tab-based architecture of read-tv is easily extensible, it is relatively simple to add new functionality by implementing a tab in the source code. CONCLUSION: read-tv enables quick identification of patterns through customizable longitudinal plots; faceting; CPA; and user-specified filters. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…As future work, we plan to consolidate the approach via further empirical experimentation, by considering other development contexts (e.g., proprietary portfolios and other source code analysis tools), and enhancing the ATDx report capabilities.…”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…Several new procedures were proposed during the source code refactorization; they allowed replicating only a few scenarios, regardless of the language and operating system. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…This way the user can watch the source code of the algorithm, augmented with textual explanations, visualizations and animations of its behavior. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…In the development of engines and vehicles it is nowadays standard practice to use commercially available computing programmes for simulation, not only of the transient reaction of vehicles or of the complete driveshaft, but also of the highly unsteady processes in the combustion chamber of an engine. Normally the source code is not available for these computing programmes and it takes too much time to study the respective specifications, so the users often do not have sufficient knowledge about the physical and chemical contents of the approaches that the programmes are based on. …”
Enlace del recurso
Enlace del recurso

“…The range of tasks performed include initial refactoring of code, which was developed like a script rather than a Python package, through extracting components that were not specific to CERN usage, the subsequent final release of the source code on GitHub and the integration with third-party software i.e. the w3af tool. …”
Enlace del recurso

“…This report explains the basics about the XRootD protocol, RDMA and librdmacm library, and discusses a source code for transfering data over RDMA.…”
Enlace del recurso

“…Ignominy analysis the source code as well binary products such as libraries and programs to deliver a comprehensive view of the package dependencies, including all the external products used by the project. …”
Enlace del recurso
Enlace del recurso

“…The main task of the RPC (resistive plate chamber) muon trigger monitoring system design for the CMS (compact muon solenoid) experiment (at LHC in CERN Geneva) is the visualization of data that includes the structure of electronic trigger system (e.g. geometry and imagery), the way of its processes and to generate automatically files with VHDL source code used for programming of the FPGA matrix. …”
Enlace del recurso

“…Besides formal verification, another benefit of a formal specification language is the possibility to provide automatic generation of the final source code. This paper overviews PLCspecif, our formal specification language for PLC programs and presents a code generation method for the language. …”
Enlace del recurso
Enlace del recurso

Enlace del recurso
Enlace del recurso
Enlace del recurso

Enlace del recurso
Enlace del recurso
Enlace del recurso

Enlace del recurso
Enlace del recurso
Enlace del recurso

“…These user-friendly applets animate concepts interactively, allowing the user to experiment with the underlying mathematics. The applet source code in Visual Basic is provided online, enabling advanced students to tweak and change the programs for more sophisticated results. …”
Enlace del recurso
Enlace del recurso

“…By adding a minor patch to the ELOG source code, moving data to local storage and optimizing server configuration the project was able to reduce search-times for the largest of the logbooks being used at LHCb to 30\% while also improving possibilities for future growth by allowing for concurrent use and accelerating the most common search-operations in a way which should stay consistent over extended time-periods.…”
Enlace del recurso

“…This paper explores the single source code approach using Vivado-HLS tool for redeveloping the upgraded CMS Endcap Muon Level-1 Track finder (EMTF). …”
Enlace del recurso
Enlace del recurso

“…Programmers who develop, use, maintain, modify software and faced with the problem of scanning and understanding large amounts of documents, ranging from source code to requirements, analysis and design diagrams, user and reference manuals etc. …”
Enlace del recurso

Enlace del recurso
Enlace del recurso
Enlace del recurso

Enlace del recurso
Enlace del recurso
Enlace del recurso

Enlace del recurso
Enlace del recurso
Enlace del recurso