Demo Data from EDBT 2026 / reviewers in the wild / expert
José-Jesús Fernández
dblp:09/4637
· DBLP profile ↗
30ranked-venue papers
6as first author
2since 2021 · last 2024
0000-0003-2222-3355ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 13 · 4 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 8 · 2 first-authorGraphics, computer vision, multimedia, augmented reality and games · 2Theory of computation · 2Artificial intelligence and machine learning · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Interdisciplinary, comprehensive, and emerging computing
7 papers |
Bioinformatics and computational biology · 62% Medical and health informatics · 38% | |
| Computer architecture, parallel and distributed computing, and storage systems
3 papers |
Distributed systems · 39% High-performance computing · 34% GPUs and heterogeneous computing · 27% |
Topics — the 13 heaviest of 14, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Medical and health informatics
medical imaging |
0.4 | 1 | 2020 | PolishEM: image enhancement in FIB-SEM · Bioinform. 2020 |
Bioinformatics and computational biology › structural biology
electron tomography |
0.2 | 3 | 2011 | XMSF: Structure-preserving noise reduction and pre-segmentation in microscope tomography · Bioinform. 2010 EGEETomo: a user-friendly, fault-tolerant and grid-enabled application for 3D reconstruction in electron tomography · Bioinform. 2007 Fast tomographic reconstruction on multicore computers · Bioinform. 2011 |
Bioinformatics and computational biology › structural biology › cryo-electron microscopy
3d reconstruction |
0.2 | 3 | 2007 | EGEETomo: a user-friendly, fault-tolerant and grid-enabled application for 3D reconstruction in electron tomography · Bioinform. 2007 3-D reconstruction of 2-D crystals in real space · IEEE Trans. Image Process. 2004 Phan3D: design of biological phantoms in 3D electron microscopy · Bioinform. 2004 |
High-performance computing › scientific computing systems
X-ray CT reconstruction |
0.1 | 1 | 2011 | Fast tomographic reconstruction on multicore computers · Bioinform. 2011 |
Medical and health informatics › medical imaging › medical image analysis
medical image segmentation |
0.1 | 1 | 2010 | XMSF: Structure-preserving noise reduction and pre-segmentation in microscope tomography · Bioinform. 2010 |
GPUs and heterogeneous computing
GPU computing |
0.1 | 1 | 2018 | TomoEED: fast edge-enhancing denoising of tomographic volumes · Bioinform. 2018 |
Bioinformatics and computational biology
structural biology |
0.1 | 2 | 2004 | 3-D reconstruction of 2-D crystals in real space · IEEE Trans. Image Process. 2004 Phan3D: design of biological phantoms in 3D electron microscopy · Bioinform. 2004 |
Distributed systems
fault tolerance |
0.1 | 1 | 2007 | EGEETomo: a user-friendly, fault-tolerant and grid-enabled application for 3D reconstruction in electron tomography · Bioinform. 2007 |
Distributed systems
grid computing |
0.1 | 1 | 2007 | EGEETomo: a user-friendly, fault-tolerant and grid-enabled application for 3D reconstruction in electron tomography · Bioinform. 2007 |
Bioinformatics and computational biology › structural biology
cryo-electron microscopy |
0.0 | 1 | 2004 | 3-D reconstruction of 2-D crystals in real space · IEEE Trans. Image Process. 2004 |
Bioinformatics and computational biology › structural biology
electron microscopy |
0.0 | 1 | 2004 | Phan3D: design of biological phantoms in 3D electron microscopy · Bioinform. 2004 |
Image and video processing
image reconstruction |
0.0 | 1 | 2004 | 3-D reconstruction of 2-D crystals in real space · IEEE Trans. Image Process. 2004 |
Image and video processing › image reconstruction
iterative reconstruction |
0.0 | 1 | 2004 | 3-D reconstruction of 2-D crystals in real space · IEEE Trans. Image Process. 2004 |
Methods — techniques the papers use, named apart from their topics
anisotropic nonlinear diffusion · 0.7gaussian blur model · 0.4weighted back-projection · 0.2vectorization · 0.2simultaneous iterative reconstruction technique · 0.2multithreading · 0.2grid job submission · 0.1fault recovery · 0.1parallel computing · 0.1mean shift filtering · 0.1real-space iterative reconstruction · 0.0projection constraints · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Acceleration of 3D feature-enhancing noise filtering in hybrid CPU/GPU systems
Vicente González Ruiz, Juan José Moreno, José-Jesús Fernández |
J. Supercomput. | 3 |
| 2022 | HPC enables efficient 3D membrane segmentation in electron tomography
Juan José Moreno, Ester M. Garzón, José-Jesús Fernández, Antonio Martínez-Sánchez |
J. Supercomput. | 3 |
| 2020 | PolishEM: image enhancement in FIB-SEMabstractSUMMARY: We have developed a software tool to improve the image quality in focused ion beam-scanning electron microscopy (FIB-SEM) stacks: PolishEM. Based on a Gaussian blur model, it automatically estimates and compensates for the blur affecting each individual image. It also includes correction for artifacts commonly arising in FIB-SEM (e.g. curtaining). PolishEM has been optimized for an efficient processing of huge FIB-SEM stacks on standard computers. AVAILABILITY AND IMPLEMENTATION: PolishEM has been developed in C. GPL source code and binaries for Linux, OSX and Windows are available at http://www.cnb.csic.es/%7ejjfernandez/polishem. SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online. José-Jesús Fernández, Teobaldo E. Torres, Eva Martin-Solana, Gerardo F. Goya, Maria-Rosario Fernandez-Fernandez |
Bioinform. | 1 |
| 2018 | TomoEED: fast edge-enhancing denoising of tomographic volumesabstractSummary: TomoEED is an optimized software tool for fast feature-preserving noise filtering of large 3D tomographic volumes on CPUs and GPUs. The tool is based on the anisotropic nonlinear diffusion method. It has been developed with special emphasis in the reduction of the computational demands by using different strategies, from the algorithmic to the high performance computing perspectives. TomoEED manages to filter large volumes in a matter of minutes in standard computers. Availability and implementation: TomoEED has been developed in C. It is available for Linux platforms at http://www.cnb.csic.es/%7ejjfernandez/tomoeed. Supplementary information: Supplementary data are available at Bioinformatics online. Juan José Moreno, Antonio Martínez-Sánchez, José Antonio Martínez, Ester M. Garzón, José-Jesús Fernández |
Bioinform. | 5 |
| 2012 | Dynamic Load Scheduling on CPU-GPU for Iterative Tomographic ReconstructionabstractThis work presents a hybrid computing approach which combines GPUs and multicore processors to fully take advantage of the computing power latent in modern computers. It also presents its application to the problem of tomographic reconstruction. One inherent characteristic of these modern platforms is their heterogeneity, which raises the issue of workload distribution among the different processing elements. Adaptive load balancing techniques are thus necessary to properly adjust the amount of work to be done by each computing element. Here, we have chosen the 'on-demand' strategy, a well-known technique in the HPC field by which the different elements asynchronously request a piece of work when they become idle, thereby keeping the system fairly well balanced. The results show that our scheme accommodates to the heterogeneous platform where it runs as it assigns more work to the faster processing elements automatically, which allows to correctly exploit all the resources available and to get complete reconstructions in less time than pure CPU or GPU approaches. Jose Ignacio Agulleiro Baldo, Francisco Miguel Vázquez López, Ester M. Garzón, José-Jesús Fernández |
ISPA | 4 |
| 2012 | Fast Sparse Matrix Matrix Product Based on ELLR-T and GPU ComputingabstractA wide range of applications in engineering and scientific computing are based on the computation of matrices products, where one of them is sparse. The computational requirements of these operations are very high when dimensions of the matrices increase. The goal of this work is the acceleration of the sparse matrix matrix product (SpMM) on Graphics Processing Units (GPUs). The operation SpMM can be computed by a set of sparse matrix vector operations (SpMV). However, this approach does not reach optimal performance because it cannot benefit from the large value of the ratio computation/memory access associated to the SpMM operation. In this work a routine called FastSpMM is described and its performance evaluated. FastSpMM can be considered as an extension of the ELLRT routine to compute SpMV on GPUs which is based on the ELLPACK-R storage format for sparse matrices. FastSpMM combines the high ratio computation/memory access with the advantages of ELLR-T to exploit the GPU architecture. The CUSPARSE library, supplied by NVIDIA, which also includes routines to compute SpMM on GPUs is used in this work as a reference for performance comparison. Experimental evaluations based on a representative set of test matrices show that FastSpMM outperforms the corresponding CUSPARSE routine in terms of performance. Francisco Vázquez, Gloria Ortega, José-Jesús Fernández, Inmaculada García, Ester M. Garzón |
ISPA | 3 |
| 2012 | Automatic tuning of the sparse matrix vector product on GPUs based on the ELLR-T approach
Francisco Vázquez, José-Jesús Fernández, Ester M. Garzón |
Parallel Comput. | 2 |
| 2011 | Multi-core Desktop Processors Make Possible Real-Time Electron TomographyabstractElectron tomography (ET) allows elucidation of the three-dimensional (3D) structure of large complex biological specimens at molecular resolution. In order to achieve such resolution levels, large projection images have to be used to compute the 3D reconstructions. Tomographic reconstruction on this scale requires a tremendous use of computational resources and considerable processing time. Traditionally, parallel and distributed systems, and more recently GPUs, have been the key to cope with this demanding procedure. This work demonstrates that full exploitation of the impressive processing power within modern multi-core processors make them a feasible alternative. The use of parallel computing, vectorization and code optimization allows ultra-fast tomographic reconstructions on standard computers, even outperforming GPUs. Our results confirm that modern processors succeed in providing reconstructed volumes in very little time, which enables them for real-time ET. Jose Ignacio Agulleiro Baldo, Ester M. Garzón, Inmaculada García, José-Jesús Fernández |
PDP | 4 |
| 2011 | Fast tomographic reconstruction on multicore computersabstractAbstract Summary: Tomo3D implements a multithreaded vectorized approach to tomographic reconstruction that takes full advantage of the computer power in modern multicore computers. Full resolution tomograms are generated at high speed on standard computers with no special system requirements. Tomo3D has the most common reconstruction methods implemented, namely weighted Back-projection (WBP) and simultaneous iterative reconstruction technique (SIRT). It proves to be competitive with current graphic processor unit solutions in terms of processing time, in the order of a few seconds with WBP or minutes with SIRT. The program is compatible with standard packages, which easily allows integration in the electron tomography workflow. Availability: http://www.cnb.csic.es/%7ejjfernandez/tomo3d Contact: [email protected] Supplementary information: Supplementary data are available at Bioinformatics online. Jose Ignacio Agulleiro Baldo, José-Jesús Fernández |
Bioinform. | 2 |
| 2011 | Matrix Implementation of Simultaneous Iterative Reconstruction Technique (SIRT) on GPUsabstractElectron tomography (ET) is an important technique in biosciences that is providing new insights into the cellular ultrastructure. Iterative reconstruction methods have been shown to be robust against the noise and limited-tilt range conditions present in ET. Nevertheless, these methods are not extensively used due to their computational demands. Instead, the simpler method weighted backprojection (WBP) remains prevalent. Recently, we have demonstrated that a matrix approach to WBP allows a significant reduction in processing time both on central processing units and on graphics processing units (GPUs). In this work, we extend that matrix approach to one of the most common iterative methods in ET, simultaneous iterative reconstruction technique (SIRT). We show that it is possible to implement this method targeted at GPU directly, using sparse algebra. We also analyse this approach on different GPU platforms and confirm that these implementations exhibit high performance. This may thus help to the widespread use of SIRT. Francisco Vázquez, Ester M. Garzón, José-Jesús Fernández |
Comput. J. | 3 |
| 2011 | A new approach for sparse matrix vector product on NVIDIA GPUsabstractAbstract The sparse matrix vector product (SpMV) is a key operation in engineering and scientific computing and, hence, it has been subjected to intense research for a long time. The irregular computations involved in SpMV make its optimization challenging. Therefore, enormous effort has been devoted to devise data formats to store the sparse matrix with the ultimate aim of maximizing the performance. Graphics Processing Units (GPUs) have recently emerged as platforms that yield outstanding acceleration factors. SpMV implementations for NVIDIA GPUs have already appeared on the scene. This work proposes and evaluates a new implementation of SpMV for NVIDIA GPUs based on a new format, ELLPACK‐R, that allows storage of the sparse matrix in a regular manner. A comparative evaluation against a variety of storage formats previously proposed has been carried out based on a representative set of test matrices. The results show that, although the performance strongly depends on the specific pattern of the matrix, the implementation based on ELLPACK‐R achieves higher overall performance. Moreover, a comparison with standard state‐of‐the‐art superscalar processors reveals that significant speedup factors are achieved with GPUs. Copyright © 2010 John Wiley & Sons, Ltd. Francisco Vázquez, José-Jesús Fernández, Ester M. Garzón |
Concurr. Comput. Pract. Exp. | 2 |
| 2011 | Parallel algorithms for continuous multifacility competitive location problems
Juana López Redondo, José-Jesús Fernández, Inmaculada García, Pilar Martínez Ortigosa |
J. Glob. Optim. | 2 |
| 2011 | Solving the facility location and design (1∣1)-centroid problem via parallel algorithms
Juana López Redondo, José-Jesús Fernández, Inmaculada García, Pilar Martínez Ortigosa |
J. Supercomput. | 2 |
| 2010 | Ultra-fast Tomographic Reconstruction with a Highly Optimized Weighted Back-Projection AlgorithmabstractElectron tomography (ET) allows elucidation of the three-dimensional (3D) structure of large complex biological specimens at molecular resolution. In order to achieve such resolution levels, large projection images have to be used to compute the 3D reconstructions. Tomographic reconstruction on this scale requires a tremendous use of computational resources and a considerable processing time. In this work, we present and evaluate a highly optimized implementation of the Weighted Back-Projection reconstruction algorithm. Briefly, optimizations made to the code comprise (1) vector processing with SSE (Streaming SIMD Extensions) instructions, (2) an efficient use of cache memory, (3) to take advantage of the inherent image symmetry, (4) to use the FFTW (Fastest Fourier Transform in the West) library for image filtering, (5) to use regions of interest and last, but not least, (6) a wide range of minor optimizations like some data pre-calculations or an instruction level parallelism improvement. We have evaluated the method on tomographic reconstructions of several datasets and on two computing platforms. The results show that our version speeds up the method by a factor around 14 or 16, depending on the platform. Jose Ignacio Agulleiro Baldo, Ester M. Garzón, Inmaculada García, José-Jesús Fernández |
PDP | 4 |
| 2010 | XMSF: Structure-preserving noise reduction and pre-segmentation in microscope tomographyabstractSUMMARY: Interpretation of electron tomograms is difficult due to the high noise levels. Thus, denoising techniques are needed to improve the signal-to-noise ratio. XMSF (Microscopy Mean Shift Filtering) is a fast, user-friendly application that succeeds in filtering noise while preserving the structures of interest. It is based on the extension to 3D of a method widely applied in other image processing fields under very different scenarios. XMSF has been tested for a variety of tomograms, showing a great potential to become a state-of-the-art filtering program in electron tomography. Applied iteratively, the algorithm yields pre-segmented volumes facilitating posterior segmentation tasks. Moreover, execution times remain low thanks to parallel computing techniques to exploit current multicore computers. AVAILABILITY: http://sites.google.com/site/xmsfilter/ Jose-Roman Bilbao-Castro, Carlos Oscar Sánchez Sorzano, Inmaculada García, José-Jesús Fernández |
Bioinform. | 4 |
| 2009 | TOMOBFLOW: feature-preserving noise filtering for electron tomographyabstractBACKGROUND: Noise filtering techniques are needed in electron tomography to allow proper interpretation of datasets. The standard linear filtering techniques are characterized by a tradeoff between the amount of reduced noise and the blurring of the features of interest. On the other hand, sophisticated anisotropic nonlinear filtering techniques allow noise reduction with good preservation of structures. However, these techniques are computationally intensive and are difficult to be tuned to the problem at hand. RESULTS: TOMOBFLOW is a program for noise filtering with capabilities of preservation of biologically relevant information. It is an efficient implementation of the Beltrami flow, a nonlinear filtering method that locally tunes the strength of the smoothing according to an edge indicator based on geometry properties. The fact that this method does not have free parameters hard to be tuned makes TOMOBFLOW a user-friendly filtering program equipped with the power of diffusion-based filtering methods. Furthermore, TOMOBFLOW is provided with abilities to deal with different types and formats of images in order to make it useful for electron tomography in particular and bioimaging in general. CONCLUSION: TOMOBFLOW allows efficient noise filtering of bioimaging datasets with preservation of the features of interest, thereby yielding data better suited for post-processing, visualization and interpretation. It is available at the web site (http://www.ual.es/%7ejjfdez/SW/tomobflow.html). José-Jesús Fernández |
BMC Bioinform. | 1 |
| 2009 | Solving the Multiple Competitive Facilities Location and Design Problem on the PlaneabstractA continuous location problem in which a firm wants to set up two or more new facilities in a competitive environment is considered. Other facilities offering the same product or service already exist in the area. Both the locations and the qualities of the new facilities are to be found so as to maximize the profit obtained by the firm. This is a global optimization problem, with many local optima. In this paper we analyze several approaches to solve it, namely, three multistart local search heuristics, a multistart simulated annealing algorithm, and two variants of an evolutionary algorithm. Through a comprehensive computational study it is shown that the evolutionary algorithms are the heuristics that provide the best solutions. Furthermore, using a set of problems for which the optimal solutions are known, only the evolutionary algorithms were able to find the optimal solutions for all the instances. The evolutionary strategies presented in this paper can be easily adapted to handle other continuous location problems. Juana López Redondo, José-Jesús Fernández, Inmaculada García, Pilar Martínez Ortigosa |
Evol. Comput. | 2 |
| 2008 | Fast Tomographic Reconstruction with Vectorized BackprojectionabstractElectron tomography allows elucidation of the three-dimensional (3D) structure of large complex biological specimens at molecular resolution. In order to achieve such resolution levels, large projection images have to be used to compute the 3D reconstructions. Tomographic reconstruction on this scale requires a tremendous use of computational resources and considerable processing time. In this work, we present and evaluate a vector approach for fast 3D reconstruction that takes advantage of the multimedia extensions in modern processors. We have implemented the standard 3D reconstruction method, weighted backprojection, using the Streaming SIMD Extensions (SSE). We have evaluated the method on tomographic reconstruction of several datasets of various sizes on a computing platform based on Intel Xeon processor. The results show that our approach speeds up the method by a factor of 3. Jose Ignacio Agulleiro Baldo, Ester M. Garzón, Inmaculada García, José-Jesús Fernández |
PDP | 4 |
| 2008 | Efficient parallel implementation of iterative reconstruction algorithms for electron tomography
José-Jesús Fernández, Dan Gordon 0001, Rachel Gordon |
J. Parallel Distributed Comput. | 1 |
| 2007 | EGEETomo: a user-friendly, fault-tolerant and grid-enabled application for 3D reconstruction in electron tomographyabstractUNLABELLED: Electron tomography is the leading technique to elucidate the structure of complex biological specimens. Due to the resolution needs, huge reconstructions are required. Grid computing has the potential to face the significant computational demands involved. However, there are a number of key issues, such as stability or difficult user-grid interaction, that currently preclude fully exploitation of its potential. EGEETomo is a user-friendly application that facilitates the interaction with the grid for the non-specialized user and automates job submission and supervision. In addition, EGEETomo is supplied with an automated fault recovery mechanism, which is key to make all the work transparent to the user. EGEETomo significantly accelerates tomographic reconstruction by exploiting the computational resources in the EGEE grid with minimal user intervention. AVAILABILITY: http://www.ace.ual.es/~jrbcast/EGEETomo.tar.gz Jose-Roman Bilbao-Castro, Inmaculada García, José-Jesús Fernández |
Bioinform. | 3 |
| 2007 | Electron tomography of complex biological specimens on the Grid
José-Jesús Fernández, Inmaculada García, José María Carazo, Roberto Marabini |
Future Gener. Comput. Syst. | 1 |
| 2007 | A population global optimization algorithm to solve the image alignment problem in electron crystallography
Pilar Martínez Ortigosa, Juana López Redondo, Inmaculada García, José-Jesús Fernández |
J. Glob. Optim. | 4 |
| 2007 | Parameter optimization in 3D reconstruction on a large scale grid
Jose-Roman Bilbao-Castro, A. Merino, Inmaculada García, José María Carazo, José-Jesús Fernández |
Parallel Comput. | 5 |
| 2006 | Evaluation of Parallel Paradigms on Anisotropic Nonlinear Diffusion
Siham Tabik, Ester M. Garzón, Inmaculada García, José-Jesús Fernández |
Euro-Par | 4 |
| 2006 | Multiprocessing of Anisotropic Nonlinear Diffusion for Filtering 3D ImagesabstractThis article describes and analyzes the parallelization of the Anisotropic Nonlinear Diffusion (AND) for filtering 3D images. AND is one of the most powerful denoising techniques in the field of computer vision. This technique consists in resolving the equation of diffusion tightly coupled with a massive set of eigensystems. Denoising large 3D images in biomedicine and structural cellular biology by AND has a high computational cost. In this work, we propose a portable and efficient parallel implementation of AND based on a hybrid paradigm that combines (1) the message passing model and (2)the shared address space model. The proposed parallel implementation has been evaluated on a cluster of SMPs based on a UMA Uniform Memory access. The evaluation results show that the hybrid model is more suitable for this kind of platforms. Siham Tabik, Ester M. Garzón, Inmaculada García, José-Jesús Fernández |
PDP | 4 |
| 2004 | Phan3D: design of biological phantoms in 3D electron microscopyabstractThree-Dimensional Electron Microscopy (3DEM) has turned out to be a major player in structural proteomics. In 3DEM, tens of thousands of EM images from a macromolecule at different views are combined to derive its structure by means of a 3D reconstruction algorithm. However, for an optimal reconstruction, the most suitable algorithm has to be used and its parameters have to be tuned for the macromolecule under study and the experimental conditions found. The use of phantoms is central to objective comparison of reconstruction algorithms and optimization of their parameters. Phan3D is a tool intended to provide a fully visual and interactive environment that facilitates the design of phantoms resembling biological specimens in 3DEM. Phan3D has been developed as an alternative to the tedious, error-prone and old-fashioned phantom design that is based on hand-written text description files. Jose-Roman Bilbao-Castro, Carlos Oscar Sánchez Sorzano, Inmaculada García, José-Jesús Fernández |
Bioinform. | 4 |
| 2004 | Three-dimensional reconstruction of cellular structures by electron microscope tomography and parallel computing
José-Jesús Fernández, José María Carazo, Inmaculada García |
J. Parallel Distributed Comput. | 1 |
| 2004 | 3-D reconstruction of 2-D crystals in real spaceabstractA new algorithm for three-dimensional reconstruction of two-dimensional crystals from projections is presented, and its applicability to biological macromolecules imaged using transmission electron microscopy (TEM) is investigated. Its main departures from the traditional approach is that it works in real space, rather than in Fourier space, and it is iterative. This has the advantage of making it convenient to introduce additional constraints (such as the support of the function to be reconstructed, which may be known from alternative measurements) and has the potential of more accurately modeling the TEM image formation process. Phantom experiments indicate the superiority of the new approach even without the introduction of constraints in addition to the projection data. Roberto Marabini, Carlos Oscar Sánchez Sorzano, Samuel Matej, José-Jesús Fernández, José María Carazo, Gabor T. Herman |
IEEE Trans. Image Process. | 4 |
| 2003 | Parallel iterative reconstruction methods for structure determination of biological specimens by electron microscopyabstractThis work addresses the application of blob-based series expansion methods in structure determination of macromolecules from the perspective of computational speed and convergence rate. This work explores the use of traditional series expansion methods, such as algebraic reconstruction techniques, as well as other very recently developed methods: such as averaging sequential strings or component averaging methods characterized by a really fast convergence, achieving least-squares solutions in a few iterations. Jose-Roman Bilbao-Castro, José María Carazo, Inmaculada García, José-Jesús Fernández |
ICIP (1) | 4 |
| 2003 | Floating point arithmetic teaching for computational science
José-Jesús Fernández, Inmaculada García, Ester M. Garzón |
Future Gener. Comput. Syst. | 1 |