LEADER 03487nam 22006735 450 001 996465497103316 005 20200630074600.0 010 $a3-540-27861-3 024 7 $a10.1007/b102274 035 $a(CKB)1000000000212626 035 $a(SSID)ssj0000177150 035 $a(PQKBManifestationID)11182245 035 $a(PQKBTitleCode)TC0000177150 035 $a(PQKBWorkID)10210200 035 $a(PQKB)10946206 035 $a(DE-He213)978-3-540-27861-0 035 $a(MiAaPQ)EBC3068281 035 $a(PPN)134123425 035 $a(EXLCZ)991000000000212626 100 $a20100907d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aImplementation of Functional Languages$b[electronic resource] $e15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /$fedited by Phil Trinder, Greg Michaelson, Ricardo Pena 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (X, 190 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3145 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-23727-5 320 $aIncludes bibliographical references and index. 327 $aImplementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking in Eden -- With-Loop Scalarization ? Merging Nested Array Operations -- Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms -- Generic Graphical User Interfaces -- Polytypic Programming in Haskell. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3145 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aComputer science 606 $aComputer logic 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer science. 615 0$aComputer logic. 615 14$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aComputer Science, general. 615 24$aLogics and Meanings of Programs. 676 $a005.11 702 $aTrinder$b Phil$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMichaelson$b Greg$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPena$b Ricardo$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465497103316 996 $aImplementation of Functional Languages$91944998 997 $aUNISA LEADER 05116nam 22008295 450 001 996200027603316 005 20201107105617.0 010 $a3-319-18579-9 024 7 $a10.1007/978-3-319-18579-8 035 $a(CKB)3710000000416837 035 $a(SSID)ssj0001501327 035 $a(PQKBManifestationID)11830582 035 $a(PQKBTitleCode)TC0001501327 035 $a(PQKBWorkID)11524181 035 $a(PQKB)11036566 035 $a(DE-He213)978-3-319-18579-8 035 $a(MiAaPQ)EBC6296463 035 $a(MiAaPQ)EBC5586380 035 $a(Au-PeEL)EBL5586380 035 $a(OCoLC)910303396 035 $a(PPN)186029616 035 $a(EXLCZ)993710000000416837 100 $a20150522d2015 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAnalytical and Stochastic Modelling Techniques and Applications$b[electronic resource] $e22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings /$fedited by Marco Gribaudo, Daniele Manini, Anne Remke 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (X, 217 p. 98 illus.) 225 1 $aProgramming and Software Engineering ;$v9081 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-18578-0 320 $aIncludes bibliographical references and index. 327 $aOptimal Analysis for M/G/1 Retrial Queue with Two-Way Communication -- Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks -- Model Checking of Open Interval Markov Chains -- Performance modeling of cellular systems with finite processor sharing queues in random environment, guard policy and flex retrial users -- Efficient Performance Evaluation of Wireless Networks with Varying Channel Conditions -- Mixed Networks with multiple classes of customers and restart -- Interconnected Wireless Sensors with Energy Harvesting -- Measuring the distance between MAPs and some applications -- Task delegation in a peer-to-peer volunteer computing platform -- On convergence rate to stationarity of queues with general Gaussian input -- Model-based Quantitative Security Analysis of Mobile Offloading Systems under Timing Attacks -- Single-Server Systems with Power-Saving Modes -- Multiserver Queues with Finite Capacity and Setup Time -- Power consumption analysis of replicated virtual applications -- On the Influence of High-Priority Customers on a Generalized Processor Sharing Queue. 330 $aThis book constitutes the refereed proceedings of the 22nd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2015, held in Albena, Bulgaria, in May 2015. The 15 full papers presented in this book were carefully reviewed and selected from numerous submissions. The papers discuss the latest developments in analytical, numerical and simulation algorithms for stochastic systems, including Markov processes, queueing networks, stochastic Petri nets, process algebras, game theory, etc. 410 0$aProgramming and Software Engineering ;$v9081 606 $aSoftware engineering 606 $aOptical data processing 606 $aComputer science?Mathematics 606 $aPattern recognition 606 $aData structures (Computer science) 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aImage Processing and Computer Vision$3https://scigraph.springernature.com/ontologies/product-market-codes/I22021 606 $aMath Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17044 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aPattern Recognition$3https://scigraph.springernature.com/ontologies/product-market-codes/I2203X 606 $aData Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I15017 615 0$aSoftware engineering. 615 0$aOptical data processing. 615 0$aComputer science?Mathematics. 615 0$aPattern recognition. 615 0$aData structures (Computer science). 615 14$aSoftware Engineering. 615 24$aImage Processing and Computer Vision. 615 24$aMath Applications in Computer Science. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aPattern Recognition. 615 24$aData Structures. 676 $a519.23 702 $aGribaudo$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aManini$b Daniele$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRemke$b Anne$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996200027603316 996 $aAnalytical and stochastic modelling techniques and applications$92278656 997 $aUNISA