LEADER 01305nam0 2200313 i 450 001 SUN0128618 005 20200427092758.531 010 $d0.00 017 70$2N$a978-3-030-28416-9 100 $a20200427d2019 |0engc50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $a*Elements of General Relativity$fPiotr T. Chru?ciel 205 $aCham : Birkhäuser, 2019 210 $aix$d283 p.$cill. ; 24 cm 215 $aPubblicazione in formato elettronico 410 1$1001SUN0103268$12001 $a*Compact textbooks in mathematics$1210 $aBasel$cBirkhäuser ; Springer$d2013-. 606 $a83-XX$xRelativity and gravitational theory [MSC 2020]$2MF$3SUNC023243 606 $a53Zxx$xApplications of differential geometry to sciences and engineering [MSC 2020]$2MF$3SUNC023358 620 $aCH$dCham$3SUNL001889 700 1$aChru?ciel$b, Piotr T.$3SUNV100500$045318 712 $aBirkhäuser$3SUNV000319$4650 801 $aIT$bSOL$c20210503$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-030-28416-9 912 $aSUN0128618 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS ebook 1891 $e08eMF1891 20200427 996 $aElements of General Relativity$91742309 997 $aUNICAMPANIA LEADER 03415nam 2200481 450 001 9910260636803321 005 20221206103254.0 010 $a0-262-61057-4 035 $a(CKB)2670000000263573 035 $a(CaBNVSL)mat06267295 035 $a(IDAMS)0b000064818b429d 035 $a(IEEE)6267295 035 $a(MiAaPQ)EBC6243326 035 $a(EXLCZ)992670000000263573 100 $a20151229d1989 uy 101 0 $aeng 135 $aur|n||||||||| 181 $2rdacontent 182 $2isbdmedia 183 $2rdacarrier 200 10$aFunctional programming for loosely-coupled multiprocessors /$fPaul Kelly 210 1$aCambridge, Massachusetts :$cMIT Press,$d1989. 210 2$a[Piscataqay, New Jersey] :$cIEEE Xplore,$d[1989] 215 $a1 PDF (253 pages) $cillustrations 225 1 $aResearch monographs in parallel and distributed computing 300 $aIncludes index. 311 $a0-262-25652-5 320 $aBibliography: pages 225-238. 330 $aRecent progress in VLSI provides massive parallelism but general purpose parallel computers remain elusive due to limited communications performance. This book proposes a new high level approach to programming that addresses the pragmatic issue of how a computation is distributed across a machine.The book's approach is based on functional programming and has significant advantages over existing comparable approaches, extending the domain of functional programming to include computer architectures in which communication costs are not negligible. It looks at how high-level functional programming languages can be used to specify, reason about, and implement parallel programs for a variety of multiprocessor systems, but in particular a class of loosely coupled multiprocessors whose operation can be described by a process network In these networks the nodes correspond to processes and the arcs to communications channels.A simple language called Caliban is described in which the functional program text is augmented with a declarative description of how processes are partitioned and mapped onto a network of processing elements. The notation gains expressive power by allowing these annotations to be generated by predicates defined in the functional language. Thus, common communications structures have simple and concise definitions as "network forming operators." The main objective of these annotations is to provide an abstract description of the process network specified by the program so that an efficient mapping of processes to processors can be carried out by the compiler.Paul H. J. Kelly is Research Assistant in the Department of Computing at Imperial College, London Functional Programming for LooselyCoupled Multiprocessors is included in the series Research Monographs in Parallel and Distributed Computing, copublished with Pitman Publishing. 410 0$aResearch monographs in parallel and distributed computing 606 $aMultiprocessors 606 $aFunctional programming (Computer science) 615 0$aMultiprocessors. 615 0$aFunctional programming (Computer science) 676 $a004.35 700 $aKelly$b Paul$g(Paul H. J.)$0376154 801 0$bCaBNVSL 801 1$bCaBNVSL 801 2$bCaBNVSL 906 $aBOOK 912 $a9910260636803321 996 $aFunctional programming for loosely-coupled multiprocessors$92787693 997 $aUNINA