Listar por tema "Computational modeling"
Mostrando ítems 1-7 de 7
-
A Fast Solver for Large Tridiagonal Systems on Multi-Core Processors (Lass Library)
(Institute of Electrical and Electronics Engineers, 2019)[Abstract]: Many problems of industrial and scientific interest require the solving of tridiagonal linear systems. This paper presents several implementations for the parallel solving of large tridiagonal systems on ... -
Affine Modeling of Program Traces
(Institute of Electrical and Electronics Engineers, 2019-02-01)[Abstract] A formal, high-level representation of programs is typically needed for static and dynamic analyses performed by compilers. However, the source code of target applications is not always available in an analyzable ... -
Building Decentralized Fog Computing-Based Smart Parking Systems: From Deterministic Propagation Modeling to Practical Deployment
(Institute of Electrical and Electronics Engineers, 2020-06-25)[Abstract] The traditional process of finding a vacant parking slot is often inefficient: it increases driving time, traffic congestion, fuel consumption and exhaust emissions. To address such problems, smart parking systems ... -
Integrating the common information model with MDS4
(IEEE Computer Society, 2008-10-31)[Abstract] The management and monitoring of static and dynamic resources is a key issue in grid environments. Information models are an abstract representation of software and hardware aspects of these resources, a common ... -
Parallel Pairwise Epistasis Detection on Heterogeneous Computing Architectures
(Institute of Electrical and Electronics Engineers, 2016-08)[Abstract] Development of new methods to detect pairwise epistasis, such as SNP-SNP interactions, in Genome-Wide Association Studies is an important task in bioinformatics as they can help to explain genetic influences on ... -
Performance Evaluation of Big Data Frameworks for Large-Scale Data Analytics
(IEEE Computer Society, 2017-02-06)[Abstract] The increasing adoption of Big Data analytics has led to a high demand for efficient technologies in order to manage and process large datasets. Popular MapReduce frameworks such as Hadoop are being replaced by ... -
Using the Cloud for Parameter Estimation Problems: Comparing Spark vs MPI with a Case-Study
(Institute of Electrical and Electronics Engineers, 2017-07-13)[Abstract] Systems biology is an emerging approach focused in generating new knowledge about complex biological systems by combining experimental data with mathematical modeling and advanced computational techniques. Many ...