RIMS Symposium on Software Science and Engineering II

Proceedings of the Symposia 1983 and 1984, Kyoto, Japan

Häftad, Engelska, 1986

AvEiichi Goto,Keijiro Araki,Taiichi Yuasa

709 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1986-05-01
Mått155 x 235 x 19 mm
Vikt517 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor330
Upplaga1986
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540164708

Tillhör följande kategorier

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

Advanced LISP Technology

Advanced LISP Technology

Taiichi Yuasa, Hiroshi G. Okuno

3 289 kr

DC Flux Parametron: A New Approach to Josephson Junction Logic

DC Flux Parametron: A New Approach to Josephson Junction Logic

Eiichi Goto, Kia Fock Loe, LOE K F

1 399 kr

Quantum Flux Parametron: A Single Quantum Flux Superconducting Logic Device

Del 2

Quantum Flux Parametron: A Single Quantum Flux Superconducting Logic Device

Eiichi Goto, Willy Hioe, HIOE W

1 449 kr

Issues In Josephson Supercomputer Design - Proceedings Of The 6th And 7th Riken Symposia On Josephson Electronics

Del 1

Issues In Josephson Supercomputer Design - Proceedings Of The 6th And 7th Riken Symposia On Josephson Electronics

K F LOE E GOTO, Eiichi Goto, Kia Fock Loe

1 269 kr

Advanced LISP Technology

Advanced LISP Technology

Taiichi Yuasa, Hiroshi G. Okuno

1 209 kr

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

Del 3

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

Loe Wada F. Loe Loe E. Goto, LOE WADA F LOE LOE E GOTO, Loe Wada F Loe Loe E Goto, Eiichi Goto, Kia Fock Loe, Y Wada

1 469 kr

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Shaoying Liu, Tom Maibaum, Keijiro Araki

709 kr

Parallel And Distributed Computing For Symbolic And Irregular Applications - Proceedings Of The International Workshop Pdsia â€™99

Parallel And Distributed Computing For Symbolic And Irregular Applications - Proceedings Of The International Workshop Pdsia â€™99

TAKAYASU ITO & TAIICHI YUASA, Takayasu Ito, Taiichi Yuasa

2 979 kr

High Performance Computing

High Performance Computing

Constantine Polychronopoulos, Kazuki Joe, Keijiro Araki, Makoto Amamiya

689 kr

Theoretical Aspects of Computing - ICTAC 2004

Theoretical Aspects of Computing - ICTAC 2004

Zhiming Liu, Keijiro Araki

1 419 kr