01218cam2 22003251 450 SOBE0002618720120614132612.020120614d1986 |||||ita|0103 baitaITLibri 31-32Tito Liviotesto latino e versione a cura di Carlo VitaliBolognaZanichelli1986272 p.20 cmProsatori di RomaTesto orig. a fronte001SOBE000259852001 *Prosatori di Roma001SOBE000260792001 Storia di Roma / Tito LivioLivius, TitusA6002000331800705194Vitali, CarloA600200033049070ITUNISOB20120614RICAUNISOBUNISOB870|Coll|11|k54231UNISOB870|Coll|11|k49741SOBE00026187M 102 Monografia moderna SBNM870|Coll|11|k000010-9SI54231acquistoNcutoloUNISOBUNISOB20120614132351.020120614132525.0cutolo870|Coll|11|k000010-9 bSI49741acquistoNcutoloUNISOBUNISOB20120614132648.020120614132724.0cutoloAb urbe condita13771UNISOB07187nam 22007455 450 99646615360331620200702090813.03-540-44754-710.1007/3-540-60222-4(CKB)1000000000234323(SSID)ssj0000325516(PQKBManifestationID)11253537(PQKBTitleCode)TC0000325516(PQKBWorkID)10325478(PQKB)11318617(DE-He213)978-3-540-44754-2(PPN)155233734(EXLCZ)99100000000023432320121227d1995 u| 0engurnn|008mamaatxtccrParallel Computing Technologies[electronic resource] Third International Conference, PaCT-95, St. Petersburg, Russia, September 12-15, 1995. Proceedings /edited by Victor Malyshkin1st ed. 1995.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1995.1 online resource (XII, 504 p.) Lecture Notes in Computer Science,0302-9743 ;964Bibliographic Level Mode of Issuance: Monograph3-540-60222-4 Synchronous-asynchronous cellular computations -- Parallel computations and finite automata on semilattices -- Linear Fibonacci forms and parallel algorithms for high dimension arithmetic -- Cellular-Neural computations. Formal model and possible applications -- An efficient verifier of truly concurrent properties -- Optimal loop scheduling on multiprocessors: A pumping lemma for p-processor schedules -- Parallel and distributed processing of cellular hypergraphs -- Computer models of 3D cellular structures -- Comparison of two MST algorithms for associative parallel processors -- Petri net modelling of Estelle-specified communication protocols -- Dynamic scheduling of parallel applications -- A method for analyzing combinatorial properties of static connecting topologies -- cT: an imperative language with parallelizing features supporting the computation model “autotransformation of the evaluation network” -- Vienna fortran 90 — An advanced data parallel language -- Programming abstracts for synchronization and communication in parallel programs -- A program manipulation system for fine-grained architectures -- Compilation of CDL for different target architectures -- Performance evaluation and visualization with VISPAT -- Dataparallel programming with intelligent communication -- Optimization scheme on execution of logic program in a dataflow environment -- COVERS — A tool for the design of real-time concurrent systems -- Status and prospect of ZM4/SIMPLE/PEPP: An event-oriented evaluation environment for parallel and distributed programs -- The separating decomposition of discrete Fourier transform and vectorization of its calculation -- PFSLib — A parallel file system for workstation clusters -- Data structures, computational, and communication kernels for distributed memory sparse iterative solvers -- PARMA: A multiattribute file structure for parallel database machines -- T++: An object-oriented language to express task and data parallelism on Multi-SIMD computers -- mEDA-2: An extension of PVM -- Parallel iterative solution of systems of linear equations with dynamically changed length of operands -- Parallelization of computer code MASTAC three-dimensional finite elements method implementing -- New trends in simulation of distributed shared memory architectures -- Standard microprocessors versus custom processing elements for massively parallel architectures -- Further pipelining and multithreading to improve RISC processor speed. A proposed architecture and simulation results -- The massively parallel computer system MBC-100 -- DFS-superMPx: Low-cost parallel processing system for machine vision and image processing -- Architectural issues of distributed workflow management systems -- Parallelization of the solution of 3D Navier-Stokes equations for fluid flow in a cavity with moving covers -- Distributing search and knowledge using a coordination language -- Design and evaluation of a multi-threaded architecture for parallel graph reduction -- Implementation of the multigrid method for solving the boundary-value problems for the Poisson and Helmholtz equations on the massively parallel computers -- Parallel seismic data processing method for MEMSY multiprocessor system -- Hardware and software platform for information processing -- Numerical simulation of reacting mixing layer with a parallel implementation -- Parallel computing in Russia -- Early approaches to parallel processing: Increasing performance and dependability.This book constitutes the proceedings of the Third International Conference on Parallel Computing Technologies, PaCT '95, held in St. Petersburg, Russia in September 1995. The volume presents 45 revised full papers selected from a total of 98 submissions, including six invited presentations. The proceedings is organized in parts on theory, software, hardware and architecture, and applications to large-scale problems. Parallel processing technologies are shown to be the touchstone of parallel theories, models, languages, and programming systems.Lecture Notes in Computer Science,0302-9743 ;964Architecture, ComputerMicroprocessorsComputer communication systemsSpecial purpose computersComputer system failuresComputer programmingComputer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Processor Architectureshttps://scigraph.springernature.com/ontologies/product-market-codes/I13014Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Architecture, Computer.Microprocessors.Computer communication systems.Special purpose computers.Computer system failures.Computer programming.Computer System Implementation.Processor Architectures.Computer Communication Networks.Special Purpose and Application-Based Systems.System Performance and Evaluation.Programming Techniques.004/.35Malyshkin Victoredthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Parallel Computing TechnologiesBOOK996466153603316Parallel Computing Technologies772517UNISA02002nam 2200541 a 450 991078366810332120230617004740.00-8262-6480-8(CKB)1000000000246870(OCoLC)64561196(CaPaEBR)ebrary10097295(SSID)ssj0000102490(PQKBManifestationID)11109205(PQKBTitleCode)TC0000102490(PQKBWorkID)10071937(PQKB)11448722(MiAaPQ)EBC3570857(Au-PeEL)EBL3570857(CaPaEBR)ebr10097295(EXLCZ)99100000000024687020050209d2005 ub 0engurcn|||||||||txtccrThe American way of peace[electronic resource] an interpretation /Jan S. PrybylaColumbia University of Missouri Pressc20051 online resource (264 p.) Eric Voegelin Institute series in political philosophyBibliographic Level Mode of Issuance: Monograph0-8262-1595-5 Includes bibliographical references (p. 213-236) and index."Traces the development and implementation of Pax Americana, the American way of peace, from World War II to the war on terrorism and the Iraqi conflict. Examines the extent to which modernization must incorporate values of democracy and rule of law"--Provided by publisher.Eric Voegelin Institute series in political philosophy.Peace-buildingUnited StatesUnited StatesForeign relations1945-1989United StatesForeign relations1989-Peace-building327.73/009/045Prybyla Jan S126338MiAaPQMiAaPQMiAaPQBOOK9910783668103321The American way of peace3783861UNINA