Discover
Jan 1, 1928 — Jan 1, 2022· 94 yrs

CONGRESSES · COMPUTER SCIENCE

Juris Hartmanis

Also known as: J. Hartmanis, J Hartmanis

31
BOOKS
0.0
AVG RATING (0)
0
READERS

Latvian computer scientist

The Queuing Shared Memory (qsm) model consists of a number of identical processors, each with its own private memory, communicating by reading and writing locations in a shared memory.

— from Foundations of software technology and theoretical computer science

Most acclaimed

#1

Foundations of software technology and theoretical computer science

0.0 (0)

This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97. The 18 revised full papers presented were selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran, and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting, and error-correcting codes.

#2

Parallel and distributed processing

0.0 (0)

This book constitutes the refereed proceedings of 11 IPPS/SPDP '98 Workshops held in conjunction with the 13th International Parallel Processing Symposium and the 10th Symposium on Parallel and Distributed Processing in San Juan, Puerto Rico, USA in April 1999. The 126 revised papers presented were carefully selected from a wealth of papers submitted. The papers are organised in topical sections on biologically inspired solutions to parallel processing problems: High-Level Parallel Programming Models and Supportive Environments; Biologically Inspired Solutions to Parallel Processing; Parallel and Distributed Real-Time Systems; Run-Time Systems for Parallel Programming; Reconfigurable Architectures; Java for Parallel and Distributed Computing; Optics and Computer Science; Solving Irregularly Structured Problems in Parallel; Personal Computer Based Workstation Networks; Formal Methods for Parallel Programming; Embedded HPC Systems and Applications.

#3

Multimedia applications, services and techniques, ECMAST '99

0.0 (0)

Books

Newest First