0022-0000

Journal of Computer and System Sciences (JCSS) - Volume 81, Issue 1 论文列表

本期论文列表
Editorial Board

Introduction to special issue on High Performance Computing Architectures and Systems

A novel memory allocation scheme for memory energy reduction in virtualization environment

Heterogeneous programming with Single Operation Multiple Data

Integer programming based heterogeneous CPU–GPU cluster schedulers for SLURM resource manager

MCMG simulator: A unified simulation framework for CPU and graphic GPU

Towards a heterogeneous and adaptive parallel Branch-and-Bound algorithm

Cloud BI: Future of business intelligence in the Cloud

New efficient velocity-aware probabilistic route discovery schemes for high mobility Ad hoc networks

Towards dynamic real-time scheduling for multiple earth observation satellites

A strong provably secure IBE scheme without bilinear map

Towards time domain invariant QoS measures for queues with correlated traffic

Optimized routing for video streaming in multi-hop wireless networks using analytical capacity estimation

Randomized diffusion for indivisible loads

A single-exponential FPT algorithm for the K4-minor cover problem

Decision implication canonical basis: a logical perspective

Parsimonious flooding in geometric random-walks

Network verification via routing table queries

On simple generators of recursively enumerable languages

Locks: Picking key methods for a scalable quantitative analysis

Runtime analysis of probabilistic programs with unbounded recursion

The complexity of approximating conservative counting CSPs

Approximating the partition function of planar two-state spin systems

Contents