Výsledky vyhledávání - "2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing"

Computing Homological Information Based on Directed Graphs within Discrete Objects Autor Gonzalez-Lorenzo, Aldo, Bac, Alexandra, Mari, Jean-Luc, Real, Pedro

“…N-dimensional discrete objects can be interpreted as cubical complexes which are suitable for the study of their homology groups in order to understand the…”
Získat plný text

Evaluating Weighted Round Robin Load Balancing for Cloud Web Services Autor Weikun Wang, Casale, Giuliano

“…Weighted round robin load balancing is a common routing policy offered in cloud load balancers. However, there is a lack of effective mechanisms to decide the…”
Získat plný text

A Streamlined Difference Ring Theory: Indefinite Nested Sums, the Alternating Sign, and the Parameterized Telescoping Problem Autor Schneider, Carsten

“…We present an algebraic framework to represent indefinite nested sums over hyper geometric expressions in difference rings. In order to accomplish this task,…”
Získat plný text

Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition Autor Wilson, David, England, Matthew, Bradford, Russell, Davenport, James H.

“…We investigate the distribution of cells by dimension in cylindrical algebraic decompositions (CADs). We find that they follow a standard distribution which…”
Získat plný text

CTL Model Checking in the Cloud Using MapReduce Autor Camilli, Matteo, Bellettini, Carlo, Capra, Lorenzo, Monga, Mattia

“…The recent extensive availability of "big data" platforms calls for a widespread adoption by the formal verification community. Cloud computing platforms…”
Získat plný text

A Practical Guide for Detecting the Java Script-Based Malware Using Hidden Markov Models and Linear Classifiers Autor Cosovan, Doina, Benchea, Razvan, Gavrilut, Dragos

“…The World Wide Web evolved so rapidly that it is no longer considered a luxury, but a necessity. That is why currently the most popular infection vectors used…”
Získat plný text

Auto-completion of Contours in Sketches, Maps, and Sparse 2D Images Based on Topological Persistence Autor Kurlin, Vitaliy

“…We design a new fast algorithm to automatically complete closed contours in a finite point cloud on the plane. The only input can be a scanned map with almost…”
Získat plný text

Expressing BBUFs Lookup Using the π-Calculus Autor Ciobanu, Gabriel, Cojocar, Dan

“…In this paper we express Babes Bolyai University File System lookup mechanism by using π-calculus. We describe the lookup process in a peer-to-peer…”
Získat plný text

The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes Autor Codish, Michael, Cruz-Filipe, Luis, Schneider-Kamp, Peter

“…Previous work identifying depth-optimal n-channel sorting networks for 9 ≤ n ≤ 16 is based on exploiting symmetries of the first two layers. However, the naive…”
Získat plný text

Open Stack and Cloud Stack: Open Source Solutions for Building Public and Private Clouds Autor Barkat, Amine, dos Santos, Alysson Diniz, Nguyen Ho, Thi Thao

“…Cloud computing is continuously growing as a prominent technology for enterprises. While several giant public cloud providers, such as Amazon, Microsoft, IBM,…”
Získat plný text

Genetic Improvement of Programs Autor Langdon, William B.

“…Genetic programming can optimise software, including: evolving test benchmarks, generating hyper-heuristics by searching meta-heuristics, generating…”
Získat plný text

How Good Is Genetic Programming at Predicting Changes and Defects? Autor Marinescu, Cristina

“…One of the main problems practitioners have to deal with is the identification of change and defect proneness of source code entities (e.g., Classes). During…”
Získat plný text

Register Caching for Stencil Computations on GPUs Autor Falch, Thomas L., Elster, Anne C.

“…For most applications, taking full advantage of the memory system is key to achieving good performance on GPUs. In this paper, we introduce register caching, a…”
Získat plný text

Application Deployment and Management in the Cloud Autor Miglierina, Marco

“…Cloud computing is a revolutionary paradigm that allows to acquire infinite resources on demand and pay only for the actual use. Together with novel software…”
Získat plný text

On Corank Two Edge-Bipartite Graphs and Simply Extended Euclidean Diagrams Autor Gasiorek, Marcin, Simson, Daniel, Zajac, Katarzyna

“…We continue the Coxeter spectral study of finite connected loop-free edge-bipartite graphs Δ, with m+2 ≥ 3 vertices (a class of signed graphs), started in…”
Získat plný text

An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process Autor Groza, Adrian, Dragoste, Irina, Sincai, Iulia, Jimborean, Ioana, Moraru, Vasile

“…Selecting the desired ontology from a collection of available ones is essential for ontology reuse. We address the problem of evaluating, ranking and selecting…”
Získat plný text

Proof Generation from Delta-Decisions Autor Sicun Gao, Soonho Kong, Clarke, Edmund M.

“…We show how to generate and validate logical proofs of unsatisfiability from delta-complete decision procedures that rely on error-prone numerical algorithms…”
Získat plný text

Efficient Computation of Simplicial Homology through Acyclic Matching Autor Fugacci, Ulderico, Iuricich, Federico, De Floriani, Leila

“…We consider the problem of efficiently computing homology with Z coefficients as well as homology generators for simplicial complexes of arbitrary dimension…”
Získat plný text

A Receding Horizon Approach for the Runtime Management of IaaS Cloud Systems Autor Ardagna, Danilo, Ciavotta, Michele, Lancellotti, Riccardo

“…Cloud Computing is emerging as a major trend in ICT industry. However, as with any new technology it raises new major challenges and one of them concerns the…”
Získat plný text

A Population-Based Incremental Learning Method for Constrained Portfolio Optimisation Autor Yan Jin, Rong Qu, Atkin, Jason

“…This paper investigates a hybrid algorithm which utilizes exact and heuristic methods to optimise asset selection and capital allocation in portfolio…”
Získat plný text