Vor Ort
Merkzettel Warenkorb
  • Produktbild: Advances in Computing Science - ASIAN'97
  • Produktbild: Advances in Computing Science - ASIAN'97
Band 1345

Advances in Computing Science - ASIAN'97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.11.1997

Abbildungen

XIV, 394 p.

Herausgeber

R.K. Shyamasundar + weitere

Verlag

Springer Berlin

Seitenzahl

394

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

616 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63875-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.11.1997

Abbildungen

XIV, 394 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

394

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

616 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63875-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Advances in Computing Science - ASIAN'97
  • Produktbild: Advances in Computing Science - ASIAN'97
  • Correctness of programs and protocols through randomization.- Medical image analysis and simulation.- Verification of pipelined microprocessors by comparing memory execution sequences in symbolic simulation.- Rules for abstraction.- Combining Z and temporal interval logics for the formalization of properties and behaviors of embedded systems.- Rules for trace consistent reasoning.- Sensitivity analysis of real-time task sets.- Dynamic multiprocessor scheduling for supporting real-time constraints.- Heuristic Diff Acquiring in lazy release consistency model.- Representation of discretely controlled continuous systems in software-oriented formal analysis.- A generalised framework for reasoning with multi-point events.- Implementing constraint retraction for finite domains.- INSTANCE: The intermediate storage node concept.- Checking hybrid automata for linear duration invariants.- Hierarchical automata as model for statecharts.- Proof discovery in LK system by analogy.- Efficient induction of executable logic programs from examples.- Automated verification of behavioural properties of prolog programs.- Typing the use of resources in a concurrent calculus.- An imperative language with read/write type modes.- Efficient goal scheduling in a concurrent logic language using type-based dependency analysis.- An analysis of divisibility orderings and recursive path orderings.- Share-where maintenance in visual algebraic specifications.- A fault tolerant broadcast scheme in star graphs.- Calculus of classical proofs I.- Tracing the evaluation of lazy functional languages: A model and its implementation.- Basic results in automatic transformations of shared memory parallel programs into sequential programs.- Recurrent oscillatory self-organizing map: Adapting to complex environmental periodicities.- Basic binary decision diagram operations for image processing.- Adaptive object storage system for mobile computing environments.- Structure of user interface module for practical internet messages.- Software specification using LASS.- Nepi2: a two-level calculus for network programming based on the ?-calculus.- On semantics of reactive rule-based systems.- The non-standard semantics of Esterel.- Hybrid support for lenient implementation of Array-comprehension.- Solver for hierarchical CSP containing several constraint types and multi-output constraints.