Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Nikolaj S. Bjørner, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (eds.) |
15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013 |
SYNASC |
2013 |
DBLP BibTeX RDF |
|
1 | Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi |
Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Simecek, Daniel Langr, Erik Srnec |
The Study of Impact of Matrix-Processor Mapping on the Parallel Sparse Matrix-Vector Multiplication. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Emilia Fortis, Stefan Balint, Teodor-Florin Fortis |
Dependence of the Oscillatory Movements of an Unmanned Aerial Vehicle on the Forward Velocity. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Silviu Panica, Dana Petcu |
Distributed Resource Identification Service for Cloud Environments. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Péter Szilágyi |
Securing Communication in a Peer-to-Peer Messaging Middleware. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marius Joldos, Octavian Vinteler, Radu Ioan Peter, Ioan Lucian Muntean |
MPI-Based Asynchronous Simulation of Spiking Neural Networks on the Grid. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Codrin Ditu |
Token Free Bounded Delay Codes and Hash Iteration. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Aurélio Almeida da Silva, Antonin Abherve, Andrey Sadovykh |
From the Desktop to the Multi-clouds: The Case of ModelioSaaS. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Érik Martin-Dorel, Laurence Rideau, Laurent Théry, Micaela Mayero, Ioana Pasca |
Certified, Efficient and Sharp Univariate Taylor Models in COQ. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Frasinaru, Florentin Olariu |
Reducing the Number of Useless Revisions Performed by Constraint Solvers Based on AC-3. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout |
A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Cimpoesu, Andrei Sucila, Henri Luchian |
Resolution of the Probabilistic Vector Machine Problem via Single Linear Program. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu |
TiMo: Timed Mobility in Distributed Systems. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Elisabetta Di Nitto, Marcos Aurélio Almeida da Silva, Danilo Ardagna, Giuliano Casale, Ciprian Dorin Craciun, Nicolas Ferry 0001, Victor Muntés, Arnor Solberg |
Supporting the Development and Operation of Multi-cloud Applications: The MODAClouds Approach. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Grigore Rosu |
Specifying Languages and Verifying Programs with K. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki, Tetsu Yamaguchi |
On Algebraic Preprocessing of Floating-Point DAEs for Numerical Model Simulation. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Olaru |
Context Matching for Ambient Intelligence Applications. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Capra, Vincenzo Stile |
An Extension of the Interpreter Pattern to Define Domain-Parametric Rewriting Systems. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David J. Wilson, James H. Davenport, Matthew England 0001, Russell J. Bradford |
A "Piano Movers" Problem Reformulated. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Frisch, Ralf-Peter Mundani, Ernst Rank |
Adaptive Distributed Data Structure Management for Parallel CFD Applications. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dan A. Simovici |
Minability through Compression. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Monica Tirea |
Traders' Behavior Effect on Stock Price Evolution. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Jackson, M. Sergio Campobasso |
Optimised Hybrid Parallelisation of a CFD Code on Many Core Architectures. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Alexandru, Gabriel Ciobanu |
Algebraic Properties of Generalized Multisets. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marius Barat, Dumitru-Bogdan Prelipcean, Dragos Teodor Gavrilut |
An Automatic Updating Perceptron-Based System for Malware Detection. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Ross Horne |
Non-interleaving Operational Semantics for Geographically Replicated Databases. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rui Hu, Stephen M. Watt |
Identifying Features via Homotopy on Handwritten Mathematical Symbols. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zinovi L. Krougly, David J. Jeffrey, Dina Tsarapkina |
Software Implementation of Numerical Algorithms in Arbitrary Precision. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Bardino, Martin Rehr, Brian Vinter |
Cph CT Toolbox: CT Reconstruction for Education, Research and Industrial Applications. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Razvan-Mihai Aciu, Horia Ciocarlie |
Algorithm for Cooperative CPU-GPU Computing. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter Kovacs, Viktor Vad |
Fast Computing of Non-uniform Sampling Positions for Real Signals. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vinicius da Silva Almendra, Denis Enachescu |
Using Self-Organizing Maps for Fraud Prediction at Online Auction Sites. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sascha Ossowski |
Enabling Distributed Intelligent Systems in Open Environments through Agreement Technologies. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Remus-Daniel Ene, Vasile Marinca, Romeo Negrea, Bogdan Caruntu |
Optimal Homotopy Asymptotic Method for Solving a Nonlinear Problem in Elasticity. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki |
Proposal of Singularization of Approximately Singular Polynomial Systems. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Ida |
Interactive vs. Automated Proofs in Computational Origami. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dragos Gavrilut, Razvan Benchea, Cristina Vatamanu |
Practical Optimizations for Perceptron Algorithms in Large Malware Dataset. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács, Béla Paláncz, Levente Kovács |
Solving Robust Glucose-Insulin Control by Dixon Resultant Computations. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Santo Lombardo, Elisabetta Di Nitto, Danilo Ardagna |
Issues in Handling Complex Data Structures with NoSQL Databases. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Colesa, Ioan Stan |
Improving the Responsiveness of Replicated Virtualized Services in Case of Overloaded Replicas Connectivity. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Arusoaie, Daniel Ionut Vicol |
Automating Abstract Syntax Tree Construction for Context Free Grammars. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky |
Labelled Tableaux for Temporal Logic with Cardinality Constraints. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Delia Mitrea, Sergiu Nedevschi, Radu Badea |
The Role of the Multiresolution Textural Features in Improving the Characterization and Recognition of the Liver Tumors, Based on Ultrasound Images. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tomer Kotek, Johann A. Makowsky, Elena V. Ravve |
A Computational Framework for the Study of Partition Functions and Graph Polynomials. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
Relating Two Metric Semantics for Parallel Rewriting of Multisets. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Quratul-ain Mahesar, Volker Sorge |
Algebraic Theory Exploration: A Comparison of Technologies. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Massimiliano Rak, Giuseppe Aversano |
Benchmarks in the Cloud: The mOSAIC Benchmarking Framework. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mihaela Elena Breaban, Henri Luchian, Dan A. Simovici |
A Genetic Clustering Algorithm by Monomial Projection Pursuit. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Solomon Marcus, Stephen M. Watt |
What is an Equation? |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Simecek, Daniel Langr, Pavel Tvrdík |
Minimal Quadtree Format for Compression of Sparse Matrices Storage. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Victor Ion Munteanu, Teodor-Florin Fortis, Viorel Negru |
Service Lifecycle in the Cloud Environment. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ciobanu (Defta) Costinela-Luminita, Ciobanu (Iacob) Nicoleta Magdalena |
Methods for Securing Routing Protocols in Ad-Hoc Networks. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Turcanu, Florentin Ipate |
Computational Properties of Two P Systems Solving the 3-colouring Problem. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Sorin Sabau |
Variable Density Based Genetic Clustering. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kinga Marton, Peter Toth, Alin Suciu |
Unpredictable Random Number Generator Based on the Performance Data Helper Interface. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Frisch, Ruiping Gao, Ralf-Peter Mundani, Chien-Ming Wang, Ernst Rank |
Towards Interactive Steering of a Very Large Floating Structure Code by Using HPC Parallelisation Strategies. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Liviu P. Dinu, Radu Tudor Ionescu |
A Rank-Based Approach of Cosine Similarity with Applications in Automatic Classification. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Gasiorek, Daniel Simson, Katarzyna Zajac 0002 |
On Coxeter Spectral Study of Posets and a Digraph Isomorphism Problem. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Madalina Erascu, Tudor Jebelean |
Soundness of a Logic-Based Verification Method for Imperative Loops. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Mocanu, Sorin Ilie, Costin Badica |
Ubiquitous Multi-agent Environmental Hazard Management. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Lucian Muntean, Radu Ioan Peter, Marius Joldos |
Dynamics Analysis of Parallel Simulations of the Spike Response Model. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Lorenzo Ferraris, Davide Franceschelli, Mario Pio Gioiosa, Donato Lucia, Danilo Ardagna, Elisabetta Di Nitto, Tabassum Sharif |
Evaluating the Auto Scaling Performance of Flexiscale and Amazon EC2 Clouds. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Bancu, Monica Dagadita, Mihai Dascalu, Ciprian Dobre, Stefan Trausan-Matu, Adina Magda Florea |
ARSYS - Article Recommender System. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mariusz Felisiak, Daniel Simson |
On Computing Mesh Root Systems and the Isotropy Group for Simply-laced Dynkin Diagrams. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Isabela Dramnesc, Tudor Jebelean |
Automated Synthesis of Some Algorithms on Finite Sets. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dragos Gavrilut, Razvan Benchea, Cristina Vatamanu |
Optimized Zero False Positives Perceptron Training for Malware Detection. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau, Brenda Luderman |
Boolean Evaluation with a Pairing and Unpairing Function. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Francesco D'Andria, Stefano Bocconi, Jesus Gorronogoitia Cruz, James Ahtes, Dimitris Zeginis |
Cloud4SOA: Multi-cloud Application Management Across PaaS Offerings. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
Computing with Free Algebras. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Doru Todinca, Daniel Butoianu |
VHDL Framework for Modeling Fuzzy Automata. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marcela Roxana Farcasescu |
Trust Model Engines in Cloud Computing. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marc Frîncu, Adrian F. Spataru |
Minimizing Resource Rent Loss while Maximizing User Availability in Cloud Applications through Online Switching of the Scaling Method. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian Paduraru |
A New Online Load Balancing Algorithm in Distributed Systems. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Olariu |
Clustering to Improve Microblog Stream Summarization. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vinicius Almendra, Denis Enachescu |
A Fraudster in a Haystack: Crafting a Classifier for Non-delivery Fraud Prediction at Online Auction Sites. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Mosser 0001, Franck Fleurey, Brice Morin, Franck Chauvel, Arnor Solberg, Iokanaan Goutier |
SENSAPP as a Reference Platform to Support Cloud Experiments: From the Internet of Things to the Internet of Services. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Frantisek Darena, Jan Zizka, Karel Burda |
Grouping of Customer Opinions Written in Natural Language Using Unsupervised Machine Learning. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mihnea Donciu, Madalina Ionita, Mihai Dascalu, Stefan Trausan-Matu |
Ant Colony Optimisation for Automatically Populating Ontologies with Individuals. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Simone Benefico, Eva Gjeci, Ricardo Gonzalez Gomarasca, Eros Lever, Santo Lombardo, Danilo Ardagna, Elisabetta Di Nitto |
Evaluation of the CAP Properties on Amazon SimpleDB and Windows Azure Table Storage. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Tovarnák, Tomás Pitner |
Towards Multi-tenant and Interoperable Monitoring of Virtual Machines in Cloud. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jean Moschetta, Giuliano Casale |
OFBench: An Enterprise Application Benchmark for Cloud Resource Management Studies. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Pletea, Florin Pop, Valentin Cristea |
Speculative Genetic Scheduling Method for Hadoop Environments. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (eds.) |
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012 |
SYNASC |
2012 |
DBLP BibTeX RDF |
|
1 | Temur Kutsia, Mircea Marin |
Solving, Reasoning, and Programming in Common Logic. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Réka Nagy, Mihai Suciu 0001, D. Dumitrescu |
Exploring Lorenz Dominance. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kohlhase |
The Flexiformalist Manifesto. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Alexandru, Gabriel Ciobanu |
Nominal Fusion Calculus. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu, Timothy H. McNicholl |
Toward an Optimal Power-Aware Scheduling Technique. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga |
Symbolic State Space Exploration of RT Systems in the Cloud. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | James H. Davenport, Russell J. Bradford, Matthew England 0001, David J. Wilson |
Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Maruster, Viorel Negru, Liviu Octavian Mafteiu-Scai |
Experimental Study on Parallel Methods for Solving Systems of Equations. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu, G. Michele Pinna |
Timed Catalytic Petri Nets. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Denis Bogdanas |
Label-Based Programming Language Semantics in K Framework with SDF. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stanislaw Kasjan, Andrzej Mróz |
Experiences in Symbolic Computations for Matrix Problems. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian Oprisa, Adrian Colesa, Iosif Ignat |
A Metric for Evaluating the Usability of File Systems. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Victor Ion Munteanu, Cristina Mindruta, Teodor-Florin Fortis |
Service Brokering in Cloud Governance. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Mocanu, Nicolae Tapus |
A Fault-Tolerant Distributed Solution for the Parallel Gaussian Reduction of Huge Arrays. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Iuhasz, Monica Tirea, Viorel Negru |
Neural Network Predictions of Stock Price Fluctuations. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Liviu P. Dinu, Radu Tudor Ionescu |
Clustering Methods Based on Closest String via Rank Distance. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|