Výsledky vyhľadávania - "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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať plný text

Semantic Modeling of Information for Freight Transportation Broker Autor Luncean, Lucian, Badica, Costin

“…In this paper we propose four ontologies for semantic modeling of information for Freight Transportation Exchanges and we discuss the relationships between…”
Získať plný text