Sage Journals: Discover world-class research

Retricted access

Research article

First published 2017-5

NuChart-II: The road to a fast and scalable tool for Hi-C data analysis

Fabio Tordini, Maurizio Drocco, Claudia Misale [...]

The International Journal of High Performance Computing Applications

Retricted access

Research article

First published 2005-2

Transformations of self-stabilizing algorithms

Kleoni Ioannidou

Journal of High Speed Networks

Retricted access

Research article

First published 2010-5

Practical algorithms for unsatisfiability proof and core generation in SAT solvers

Roberto Asín Achá, Robert Nieuwenhuis, Albert Oliveras [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2012-7

Multicore acceleration of Discrete Event System Specification systems

Qi Liu, Gabriel Wainer

SIMULATION

Retricted access

Research article

First published 2011-3

Saving Space in a Time Efficient Simulation Algorithm

Silvia Crafa, Francesco Ranzato, Francesco Tapparo

Fundamenta Informaticae

Retricted access

Research article

First published 2010-11

Simple Bisimilarity Minimization in O(m log n) Time

Antti Valmari

Fundamenta Informaticae

Retricted access

Research article

First published 2024-11

Improvement of tracking performance of SMA-actuated rotary actuator via thermocouple delay compensation using adaptive predictor

Payam Naseri, Mohammad Reza Zakerzadeh, Mahyar Hasanzadeh Moghadam

Journal of Intelligent Material Systems and Structures

Retricted access

Research article

First published 2006-8

Glowworm swarm based optimization algorithm for multimodal functions with collective robotics applications

K.N. Krishnanand, Debasish Ghose

Multiagent and Grid Systems

Retricted access

Research article

First published 2009-5

Clustering data stream: A survey of algorithms

Alireza Rezaei Mahdiraji

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2019-11

Toward a modular precision ecosystem for high-performance computing

Hartwig Anzt, Goran Flegar, Thomas Grützmacher [...]

The International Journal of High Performance Computing Applications

Search results