Yazar

gruia catalin roman

19 cilt bulundu.

Cilt sonuçları

Coordination Languages and Models

Antonio Porto, Gruia-Catalin Roman · Springer Science & Business Media

363 sayfa · 2000-08-28

Computers

Parallel processing (Electronic computers)Dining with Synchronized ForksJerome Plun, Gruia-Catalin Roman

Dining with Synchronized Forks

Jerome Plun, Gruia-Catalin Roman · Yayınevi bilinmiyor

10 sayfa · 1990

Parallel processing (Electronic computers)

Computer programsUNITY-style Proofs for Shared Dataspace Programs Using Dynamic StatementsH. Conrad Cunningham, Gruia-Catalin Roman

UNITY-style Proofs for Shared Dataspace Programs Using Dynamic Statements

H. Conrad Cunningham, Gruia-Catalin Roman · Yayınevi bilinmiyor

26 sayfa · 1990

Computer programs

Rule-based programmingFormal Derivation of Rule-based ProgramsGruia-Catalin Roman, Rose F. Gamble, William E. Ball

Formal Derivation of Rule-based Programs

Gruia-Catalin Roman, Rose F. Gamble, William E. Ball · Yayınevi bilinmiyor

29 sayfa · 1991

Rule-based programming

Electronic data processingToward Comprehensive Specification of Distributed SystemsWashington University. Dept. of Computer Science, Gruia-Catalin Roman, M. E. Ehlers, H. C. Cunningham, R. H. Lykins

Toward Comprehensive Specification of Distributed Systems

Washington University. Dept. of Computer Science, Gruia-Catalin Roman, M. E. Ehlers, H. C. Cunningham, R. H. Lykins · Yayınevi bilinmiyor

30 sayfa · 1986

Electronic data processing

Programming languages (Electronic computers)Language and Visualization Support for Large-scale ConcurrencyWashington University. Dept. of Computer Science, Gruia-Catalin Roman

Language and Visualization Support for Large-scale Concurrency

Washington University. Dept. of Computer Science, Gruia-Catalin Roman · Yayınevi bilinmiyor

24 sayfa · 1987

Programming languages (Electronic computers)

Data structures (Computer science)Implementing a Shared Dataspace Language on a Message-based MultiprocessorWashington University. Dept. of Computer Science, Gruia-Catalin Roman, Kenneth C. Cox

Implementing a Shared Dataspace Language on a Message-based Multiprocessor

Washington University. Dept. of Computer Science, Gruia-Catalin Roman, Kenneth C. Cox · Yayınevi bilinmiyor

8 sayfa · 1988

Data structures (Computer science)

Parallel processing (Electronic computers)Visualizing Concurrent ComputationsKenneth C. Cox, Gruia-Catalin Roman

Visualizing Concurrent Computations

Kenneth C. Cox, Gruia-Catalin Roman · Yayınevi bilinmiyor

15 sayfa · 1990

Parallel processing (Electronic computers)

Computer softwareTechnical ReviewsGruia-Catalin Roman

Technical Reviews

Gruia-Catalin Roman · Yayınevi bilinmiyor

13 sayfa · 1990

Computer software

Computer architectureDynamic Partial SynchronyGruia-Catalin Roman, Jerome Plun, C. Donald Wilcox

Dynamic Partial Synchrony

Gruia-Catalin Roman, Jerome Plun, C. Donald Wilcox · Yayınevi bilinmiyor

15 sayfa · 1990

Computer architecture

Computer simulationThe Synchronic GroupGruia-Catalin Roman, H. Conrad Cunningham

The Synchronic Group

Gruia-Catalin Roman, H. Conrad Cunningham · Yayınevi bilinmiyor

30 sayfa · 1989

Computer simulation

CiltA Theoretical and Pragmatic View of Some Extrapolated L-systemsGruia-Catalin Roman

A Theoretical and Pragmatic View of Some Extrapolated L-systems

Gruia-Catalin Roman · Yayınevi bilinmiyor

110 sayfa · 1974

Kategori yok

MultiprocessorsA Shared Dataspace Language Supporting Large-scale ConcurrencyWashington University. Dept. of Computer Science, Gruia-Catalin Roman, H. Conrad Cunningham, Michael E. Ehlers

A Shared Dataspace Language Supporting Large-scale Concurrency

Washington University. Dept. of Computer Science, Gruia-Catalin Roman, H. Conrad Cunningham, Michael E. Ehlers · Yayınevi bilinmiyor

8 sayfa · 1988

Multiprocessors

Computer programsToward Formal Verification of Rule-based SystemsH. Conrad Cunningham, Gruia-Catalin Roman

Toward Formal Verification of Rule-based Systems

H. Conrad Cunningham, Gruia-Catalin Roman · Yayınevi bilinmiyor

10 sayfa · 1989

Computer programs

Logic programmingA UNITY-style Programming Logic for a Shared Dataspace LanguageH. Conrad Cunningham, Gruia-Catalin Roman

A UNITY-style Programming Logic for a Shared Dataspace Language

H. Conrad Cunningham, Gruia-Catalin Roman · Yayınevi bilinmiyor

14 sayfa · 1989

Logic programming

Data structures (Computer science)A Shared Dataspace Model of Concurrency - Language and Programming ImplicationsWashington University. Dept. of Computer Science, Gruia-Catalin Roman, H. Conrad Cunningham

A Shared Dataspace Model of Concurrency - Language and Programming Implications

Washington University. Dept. of Computer Science, Gruia-Catalin Roman, H. Conrad Cunningham · Yayınevi bilinmiyor

10 sayfa · 1988

Data structures (Computer science)

Image processingRapid Search for Spherical Objects in Aerial PhotographsKenneth Cox, Gruia-Catalin Roman, William Ball, KAPPA SYSTEMS INC PAOLI PA.

Rapid Search for Spherical Objects in Aerial Photographs

Kenneth Cox, Gruia-Catalin Roman, William Ball, KAPPA SYSTEMS INC PAOLI PA. · Yayınevi bilinmiyor

7 sayfa · 1986

Image processing

Concurrent programmingReasoning about Synchronic GroupsGruia-Catalin Roman, H. Conrad Cunningham

Reasoning about Synchronic Groups

Gruia-Catalin Roman, H. Conrad Cunningham · Yayınevi bilinmiyor

15 sayfa · 1991

Concurrent programming

Concurrent programmingReasoning about Synchrony Illustrated on Three Models of ConcurrencyGruia-Catalin Roman, Jerome Plun

Reasoning about Synchrony Illustrated on Three Models of Concurrency

Gruia-Catalin Roman, Jerome Plun · Yayınevi bilinmiyor

29 sayfa · 1993

Concurrent programming