Table of Contents

• Reducing Energy Consumption by Using CloudsIvona Brandic. 3-4 [doi]
• TiMo: Timed Mobility in Distributed SystemsGabriel Ciobanu. 5-10 [doi]
• Model-Driven Decision Procedures for ArithmeticLeonardo Mendonça de Moura, Dejan Jovanovic. 11 [doi]
• Knot Fold of Regular Polygons: Computer-Assisted Construction and VerificationTetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi. 12-19 [doi]
• Survey of Covering ArraysJose Torres-Jimenez, Idelfonso Izquierdo-Marquez. 20-27 [doi]
• Specifying Languages and Verifying Programs with KGrigore Rosu. 28-31 [doi]
• Minability through CompressionDan A. Simovici. 32-36 [doi]
• Stepping UpAdrian Jackson. 37-41 [doi]
• Computing Origami Universal Molecules with Cyclic Tournament ForestsJohn Christopher Bowers, Ileana Streinu. 42-49 [doi]
• A "Piano Movers" Problem ReformulatedDavid J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford. 53-60 [doi]
• Identifying Features via Homotopy on Handwritten Mathematical SymbolsRui Hu, Stephen M. Watt. 61-67 [doi]
• On Computing Non-negative Loop-Free Edge-Bipartite GraphsGrzegorz Marczak, Daniel Simson, Katarzyna Zajac 0002. 68-75 [doi]
• Common Factors in Fraction-Free Matrix ReductionJohannes Middeke, Ahmed Almohaimeed, David J. Jeffrey. 76-80 [doi]
• On Algebraic Preprocessing of Floating-Point DAEs for Numerical Model SimulationTateaki Sasaki, Tetsu Yamaguchi. 81-88 [doi]
• Deciding Conjugacy in Thompson's Group F in Linear TimeNabil Hossain, Robert W. McGrail, James M. Belk, Francesco Matucci. 89-96 [doi]
• On Ladder Operators for Little q-Jacobi Polynomials and Their GeneralizationsGalina Filipuk, Maciej Haneczok. 97-103 [doi]
• Efficient Computation of the Isotropy Group of a Finite Graph: A Combinatorial ApproachMarcin Gasiorek. 104-111 [doi]
• On Coxeter Type Classification of Loop-Free Edge-Bipartite Graphs and Matrix MorsificationsRafal Bocian, Mariusz Felisiak, Daniel Simson. 115-118 [doi]
• Dependence of the Oscillatory Movements of an Unmanned Aerial Vehicle on the Forward VelocityAlexandra Emilia Fortis, Stefan Balint, Teodor Florin Fortis. 119-125 [doi]
• Planar Stretching Flows with Partial SlipRemus Daniel Ene, Vasile Marinca, Romeo Negrea. 126-130 [doi]
• Software Implementation of Numerical Algorithms in Arbitrary PrecisionZinovi L. Krougly, David J. Jeffrey, Dina Tsarapkina. 131-137 [doi]
• An Efficient Computational Framework for Studying Dynamical SystemsIslam ElShaarawy, Walid Gomaa. 138-145 [doi]
• Fast Computing of Non-uniform Sampling Positions for Real SignalsPeter Kovacs, Viktor Vad. 146-150 [doi]
• Fresh-Variable Automata: Application to Service CompositionWalid Belkhir, Yannick Chevalier, Michaël Rusinowitch. 153-160 [doi]
• A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-ErgoSylvain Conchon, Mohamed Iguernelala, Alain Mebsout. 161-168 [doi]
• Bound Propagation for Arithmetic Reasoning in VampireIoan Dragan, Konstantin Korovin, Laura Kovács, Andrei Voronkov. 169-176 [doi]
• Engineering Hoare Logic-Based Program Verification in K FrameworkAndrei Arusoaie. 177-184 [doi]
• An Extension of the Interpreter Pattern to Define Domain-Parametric Rewriting SystemsLorenzo Capra, Vincenzo Stile. 185-192 [doi]
• Certified, Efficient and Sharp Univariate Taylor Models in COQÉrik Martin-Dorel, Laurence Rideau, Laurent Théry, Micaela Mayero, Ioana Pasca. 193-200 [doi]
• Compiler Design for Hyper-metaprogrammingLucian Radu Teodorescu, Rodica Potolea. 201-208 [doi]
• Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT SolvingGabriele Paganelli, Wolfgang Ahrendt. 209-216 [doi]
• Local Rank DistanceRadu-Tudor Ionescu. 219-226 [doi]
• From Plagiarism to Malware DetectionCiprian Oprisa, George Cabau, Adrian Colesa. 227-234 [doi]
• An Effective Ensemble-Based Method for Creating On-the-Fly Surrogate Fitness Functions for Multi-objective Evolutionary AlgorithmsAlexandru-Ciprian Zavoianu, Edwin Lughofer, Gerd Bramerdorfer, Wolfgang Amrhein, Erich-Peter Klement. 235-242 [doi]
• Reducing the Number of Useless Revisions Performed by Constraint Solvers Based on AC-3Cristian Frasinaru, Florentin Olariu. 243-249 [doi]
• Should We Beware the Exceptions? An Empirical Study on the Eclipse ProjectCristina Marinescu. 250-257 [doi]
• Common Due-Date Problem: Exact Polynomial Algorithms for a Given Job SequenceAbhishek Awasthi, Jörg Lässig, Oliver Kramer. 258-264 [doi]
• Context Matching for Ambient Intelligence ApplicationsAndrei Olaru. 265-272 [doi]
• Traders' Behavior Effect on Stock Price EvolutionMonica Tirea. 273-280 [doi]
• Using Self-Organizing Maps for Fraud Prediction at Online Auction SitesVinicius da Silva Almendra, Denis Enachescu. 281-288 [doi]
• Clustering Data Streams Using Mass EstimationAndrei Sorin Sabau. 289-295 [doi]
• Evolutionary Approach to Negotiation in Game AIGabriel Iuhasz, Victor Ion Munteanu, Viorel Negru. 296-302 [doi]
• An Automatic Updating Perceptron-Based System for Malware DetectionMarius Barat, Dumitru-Bogdan Prelipcean, Dragos Teodor Gavrilut. 303-307 [doi]
• Cph CT Toolbox: CT Reconstruction for Education, Research and Industrial ApplicationsJonas Bardino, Martin Rehr, Brian Vinter. 311-320 [doi]
• The Study of Impact of Matrix-Processor Mapping on the Parallel Sparse Matrix-Vector MultiplicationIvan Simecek, Daniel Langr, Erik Srnec. 321-328 [doi]
• Securing Communication in a Peer-to-Peer Messaging MiddlewarePeter Szilagyi. 329-335 [doi]
• Parallel Data Acquisition for Visualization of Very Large Sparse MatricesDaniel Langr, Ivan Simecek, Pavel Tvrdík, Tomás Dytrych. 336-343 [doi]
• Space Efficient Formats for Structure of Sparse Matrices Based on Tree StructuresIvan Simecek, Daniel Langr, Pavel Tvrdík. 344-351 [doi]
• Algorithm for Cooperative CPU-GPU ComputingRazvan-Mihai Aciu, Horia Ciocarlie. 352-358 [doi]
• Online-Scheduling on Identical Machines with Bounded MigrationThorsten Ehlers, Klaus Jansen. 361-366 [doi]
• Algebraic Properties of Generalized MultisetsAndrei Alexandru, Gabriel Ciobanu. 367-374 [doi]
• Algorithmic Experiences in Coxeter Spectral Study of P-critical Edge-Bipartite Graphs and PosetsAgnieszka Polak, Daniel Simson. 375-382 [doi]
• Bounded Bi-ideals and Linear RecurrenceInese Berzina, Janis Buls, Raivis Bets. 383-390 [doi]
• Token Free Bounded Delay Codes and Hash IterationSebastian Codrin Ditu. 391-397 [doi]
• A Systematic Approach to Computations on Decomposable GraphsElena V. Ravve, Zeev Volkovich. 398-405 [doi]
• Assessing SLA Compliance from Palladio Component ModelsJuan F. Perez, Giuliano Casale. 409-416 [doi]
• Supporting the Development and Operation of Multi-cloud Applications: The MODAClouds ApproachElisabetta Di Nitto, Marcos Aurélio Almeida da Silva, Danilo Ardagna, Giuliano Casale, Ciprian Dorin Craciun, Nicolas Ferry, Victor Muntes, Arnor Solberg. 417-423 [doi]
• ARTIST Methodology and Framework: A Novel Approach for the Migration of Legacy Software on the CloudAndreas Menychtas, Christina Santzaridou, George Kousiouris, Theodora A. Varvarigou, Leire Orue-Echevarria, Juncal Alonso, Jesús Gorroñogoitia, Hugo Bruneliere, Oliver Straußs, Tatiana Senkova, Bram Pellens, Peter Stuer. 424-431 [doi]
• Developing Secure Cloud Applications: A Case StudyErmanno Battista, Valentina Casola, Nicola Mazzocca, Massimo Ficco, Massimiliano Rak. 432-439 [doi]
• Non-interleaving Operational Semantics for Geographically Replicated DatabasesGabriel Ciobanu, Ross Horne. 440-447 [doi]
• Distributed Resource Identification Service for Cloud EnvironmentsSilviu Panica, Dana Petcu. 448-453 [doi]
• Quality Assurance for Open Source Software Configuration ManagementStefan Meyer, Philip D. Healy, Theo Lynn, John D. Morrison. 454-461 [doi]
• From the Desktop to the Multi-clouds: The Case of ModelioSaaSMarcos Aurélio Almeida da Silva, Antonin Abherve, Andrey Sadovykh. 462-469 [doi]
• A New Digital Repository for Remotely Sensed Hyperspectral Imagery on GPUsJorge Sevilla Cedillo, Antonio Plaza Miguel. 473-480 [doi]
• MPI-Based Asynchronous Simulation of Spiking Neural Networks on the GridMarius Joldos, Octavian Vinteler, Radu Ioan Peter, Ioan Lucian Muntean. 481-487 [doi]
• Optimised Hybrid Parallelisation of a CFD Code on Many Core ArchitecturesAdrian Jackson, M. Sergio Campobasso. 488-495 [doi]
• MDMP: Managed Data Message PassingAdrian Jackson, Per Strand. 496-502 [doi]
• Optimization and Parallelization of Emedge3D on Shared Memory ArchitectureMatthieu Kuhn, Guillaume Latu, Stéphane Genaud, Nicolas Crouseilles. 503-510 [doi]
• Adaptive Distributed Data Structure Management for Parallel CFD ApplicationsJérôme Frisch, Ralf-Peter Mundani, Ernst Rank. 511-518 [doi]
• Evaluating Moldability of LHCb Jobs for Multicore Job SubmissionNathalie Rauschmayr, Achim Streit. 519-525 [doi]
• N-Body Simulations with GADGET-2Victor-Lucian Spiridon, Emil-Ioan Slusanschi. 526-533 [doi]
• Ontology-Based Recommender for Distributed Machine Learning EnvironmentDaniel Pop, Caius Bogdanescu. 537-542 [doi]
• Managing Risk Behavior on an Evolutionary Market - A Risk Limits and Value-at-Risk Measures ApproachMonica Tirea, Viorel Negru. 543-550 [doi]
• Resolution of the Probabilistic Vector Machine Problem via Single Linear ProgramMihai Cimpoesu, Andrei Sucila, Henri Luchian. 553-560 [doi]
• Detecting Loss of Diversity for an Efficient Termination of EAsDavid Roche, Debora Gil, Jesús Giraldo. 561-566 [doi]