RIMS Symposium on Software Science and Engineering II

Proceedings of the Symposia 1983 and 1984, Kyoto, Japan

AvEiichi Goto,Keijiro Araki

Häftad, Engelska, 1986

Del i serien Lecture Notes in Computer Science

573 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1986-05-01
Mått:155 x 235 x 19 mm
Vikt:517 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:330
Upplaga:1986
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540164708

Utforska kategorier

Innehållsförteckning

A fast parallel merging algorithm for 2–3 trees.- Evaluation of graph representations with active nodes.- On equivalence transformations for term rewriting systems.- A portable logic simulation system for development of FLATS machine.- Partial computation with a dataflow machine.- OR-Parallel Optimizing Prolog System: Pops its design and implementation in Concurrent Prolog.- Incorporating Naïve Negation into Prolog.- Algebraic specification method of programming languages.- Multiversion concurrency control scheme for a distributed database system — A trial to break concurrent update of redundant copies —.- Global storage allocation in attribute evaluation.- On program transformation with tupling technique.- Evaluation of working set algorithms for data-flow machines.- Comparison of closure reduction and combinatory reduction schemes.- The BC-chain method for representing combinators in linear space.- Circuit simulation code generation by computer algebra.- List 1 Algebraic code for simple harmonic motion.- List 2 Generated fortran code for simple harmonic motion.

Du kanske också är intresserad av

Nyhet

L’amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

DC Flux Parametron: A New Approach to Josephson Junction Logic

Eiichi Goto, Kia Fock Loe

Inbunden, 1986

1 148 kr

Advanced LISP Technology

Taiichi Yuasa, Hiroshi G. Okuno

Inbunden, 2002

3 108 kr

Del 2

QUANTUM FLUX PARAMETRON: A SINGLE QUANTUM FLUX SUPERCONDUCTING LOGIC DEVICE

Willy Hioe, Eiichi Goto

Inbunden, 1991

1 154 kr

Loe Wada F. Loe Loe E. Goto, Eiichi Goto, Kia Fock Loe, Y Wada - Advances In Quantum Flux Parametron Computer Design: Studies In Josephson Supercomputers, Inbunden

Del 3

Advances In Quantum Flux Parametron Computer Design: Studies In Josephson Supercomputers

Loe Wada F. Loe Loe E. Goto, Eiichi Goto, Kia Fock Loe, Y Wada

Inbunden, 1992

1 181 kr

Advanced LISP Technology

Taiichi Yuasa, Hiroshi G. Okuno

Häftad, 2019

1 026 kr

Advanced LISP Technology

Hiroshi G. Okuno, Taiichi Yuasa

E-bok

2002

1 204 kr

PARALLEL AND DISTRIBUTED COMPUTING FOR SYMBOLIC AND IRREGULAR APPLICATIONS - PROCEEDINGS OF THE INTERNATIONAL WORKSHOP PDSIA ’99

TAKAYASU ITO & TAIICHI YUASA, Takayasu Ito, Taiichi Yuasa

Inbunden, 2000

2 365 kr

Formal Methods and Software Engineering

Shaoying Liu, Tom Maibaum, Keijiro Araki

Häftad, 2008

573 kr

High Performance Computing

Constantine Polychronopoulos, Kazuki Joe, Keijiro Araki, Makoto Amamiya

Häftad, 1997

573 kr

RIMS Symposium on Software Science and Engineering II

Proceedings of the Symposia 1983 and 1984, Kyoto, Japan

AvEiichi Goto,Keijiro Araki

Häftad, Engelska, 1986

Del i serien Lecture Notes in Computer Science

573 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1986-05-01
Mått:155 x 235 x 19 mm
Vikt:517 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:330
Upplaga:1986
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540164708

Utforska kategorier

Innehållsförteckning

A fast parallel merging algorithm for 2–3 trees.- Evaluation of graph representations with active nodes.- On equivalence transformations for term rewriting systems.- A portable logic simulation system for development of FLATS machine.- Partial computation with a dataflow machine.- OR-Parallel Optimizing Prolog System: Pops its design and implementation in Concurrent Prolog.- Incorporating Naïve Negation into Prolog.- Algebraic specification method of programming languages.- Multiversion concurrency control scheme for a distributed database system — A trial to break concurrent update of redundant copies —.- Global storage allocation in attribute evaluation.- On program transformation with tupling technique.- Evaluation of working set algorithms for data-flow machines.- Comparison of closure reduction and combinatory reduction schemes.- The BC-chain method for representing combinators in linear space.- Circuit simulation code generation by computer algebra.- List 1 Algebraic code for simple harmonic motion.- List 2 Generated fortran code for simple harmonic motion.