Minsik
Discover
Jan 1, 1937 — Jan 1, 2020· 83 yrs

CONGRESSES · COMPUTER SCIENCE

Gerhard Goos

Also known as: G. Goos

40
BOOKS
5.0
AVG RATING (5)
0
READERS

Sophia Drossopoulou (Greek: Σοφία Δροσοπούλου) is a Greek computer scientist, currently working at Imperial College London, where she is Professor in Programming Languages. She earned her Ph.D. from the Karlsruhe Institute of Technology. Her research interests are mainly in formal methods for programming languages; her work is notable for a proof of the soundness of the Java programming language. Her first Ph.D. student was Diomidis Spinellis. She is the daughter of the lawyer and politician Antonis Drossopoulos, and of the author Athena Cacouris (Αθηνά Κακούρη).

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

DIANA

0.0 (0)

"Fifteen-year-old John Leigh is living with his aunt and uncle in a small Devon village when he meets the girl fated to change his life. From the moment he first sees Diana Gayelorde-Sutton astride a horse, looking as poised and regal as a queen, he falls irrevocably in love. But they are worlds apart: He is a poor Cockney orphan and she is the pampered only daughter of a powerful businessman. They become inseparable, though, and friendship deepens into love. As the 1920s segue into the 1930s, John becomes a small-town newspaperman while Diana travels the world. Yet they always return to each other, until one earth-shattering day. And soon World War II will cast its long shadow over the world, testing their relationship in ways they never imagined. "--Back cover.

#2

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.

#3

Multimedia applications, services and techniques, ECMAST '99

0.0 (0)

Books

Newest First