Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

Stateless Model Checking of the Linux Kernel’s Read–copy Update (RCU)

International Journal on Software Tools for Technology Transfer

Information Systems

English

Resilient Gossip-Inspired All-Reduce Algorithms for High-Performance Computing

International Journal of High Performance Computing Applications

Theoretical Computer Science

English

Similarity-Based Approach for Accurately Retrieving Similar Cases to Intelligently Handle Online Complaints

Systems Engineering

Information Systems

Electronic Engineering

Computer Science

Theoretical Computer Science

Social Sciences

Artificial Intelligence

English

Making Change Happen: Recollections of a Systems Professional

Systems Engineering

Information Systems

Electronic Engineering

Computer Science

Theoretical Computer Science

Social Sciences

Artificial Intelligence

English

Graphillion: Software Library for Very Large Sets of Labeled Graphs

International Journal on Software Tools for Technology Transfer

Information Systems

English

V2me: Evaluating the First Steps in Mobile Friendship Coaching

Journal of Ambient Intelligence and Smart Environments

English

Assigning Routes and Wavelengths for Collaboration Over Optical Networks

Photonic Network Communications

Electronic Engineering

Computer Networks

Molecular Physics,

English

Multi-Core and Many-Core Shared-Memory Parallel Raycasting Volume Rendering Optimization and Tuning

International Journal of High Performance Computing Applications

Theoretical Computer Science

English

Context-Free Session Type Inference

ACM Transactions on Programming Languages and Systems

English

Real-Time Visualization of Streaming Text With a Force-Based Dynamic System

IEEE Computer Graphics and Applications

Computer Graphics

Computer-Aided Design

English