05741nam 22007215 450 99646561020331620200702160818.03-540-46429-810.1007/3-540-46429-8(CKB)1000000000211226(SSID)ssj0000322109(PQKBManifestationID)11231383(PQKBTitleCode)TC0000322109(PQKBWorkID)10281232(PQKB)11486504(DE-He213)978-3-540-46429-7(MiAaPQ)EBC3071597(PPN)155184180(EXLCZ)99100000000021122620121227d2000 u| 0engurnn|008mamaatxtccrComputer Performance Evaluation. Modelling Techniques and Tools[electronic resource] 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings /edited by Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith1st ed. 2000.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2000.1 online resource (XIV, 390 p.) Lecture Notes in Computer Science,0302-9743 ;1786Bibliographic Level Mode of Issuance: Monograph3-540-67260-5 Includes bibliographical references at the end of each chapters and index.Invited Paper -- Performance Evaluation with Heavy Tailed Distributions -- Queueing Network Models -- Layered Modeling of Hardware and Software, with Application to a LAN Extension Router -- Object Allocation for Distributed Applications with Complex Workloads -- A Set of Tools for Traffic Modeling, Analysis and Experimentation -- Queueing Analysis of Pools in Soft Real-Time Systems -- Xaba: Exact, Approximate, and Asymptotic Solvers for Multi-class Closed Queueing Networks -- Decomposition of General Tandem Queueing Networks with MMPP Input -- Exact and Approximate Solutions for a Class of Infinite Markovian Models -- Performance Evaluation of a Distributed Enterprise Data Mining System -- Optimisation in Mobile Networks -- Minimization of the Impact of Subscriber Mobility on the Resources of a GSM Network -- Optimal Allocation Policies for Mobile Agents -- Stochastic Petri Nets -- Iterative Analysis of Markov Regenerative Models -- Analysis and Evaluation of Non-Markovian Stochastic Petri Nets -- Petri Net Modelling and Performability Evaluation with TimeNET 3.0 -- Integrating Synchronization with Priority into a Kronecker Representation -- Simulation -- Implementation of Importance Splitting Techniques in Stochastic Petri Net Package -- FluidSim: A Tool to Simulate Fluid Models of High-Speed Networks -- Formal Methods and Performance Evaluation -- Exploiting Modal Logic to Express Performance Measures -- Derivation of Petri Net Performance Models from UML Specifications of Communications Software -- Measurement Tools and Applications -- Scalability of a Workstation Cluster Architecture for Video-on-Demand Applications -- Multilayer Online-Monitoring for Hybrid DSM Systems on Top of PC Clusters with a SMiLE -- Design and Implementation of a Tool for Measuring the Performance of Complex E-commerce Sites -- Tool Descriptions -- FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations -- Galileo: A Tool for Dynamic Fault Tree Analysis -- Möbius: An Extensible Tool for Performance and Dependability Modeling -- MRMSolve: A Tool for Transient Analysis of Large Markov Reward Models -- Calculation and Use of Peaking Factors for Remote Terminal Emulation -- Reliability and Performability Modeling Using SHARPE 2000 -- The Simalytic Modeling Technique: Overview for Application Performance Analysis -- SPNP: Stochastic Petri Nets. Version 6.0 -- SREPT: Software Reliability Estimation and Prediction Tool -- STEADY — A Tool for Predicting Performance of Parallel DBMSs -- The TANGRAM-II Environment -- Implementing Symbolic Models for Value Passing in TwoTowers -- Monitoring Application-Level VoIP Grade of Service at a PSTN-IP Network Gateway -- ? Prof-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design.Lecture Notes in Computer Science,0302-9743 ;1786ComputersComputer system failuresSoftware engineeringComputer simulationTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Computers.Computer system failures.Software engineering.Computer simulation.Theory of Computation.System Performance and Evaluation.Software Engineering.Simulation and Modeling.004.1Haverkort Boudewijn Redthttp://id.loc.gov/vocabulary/relators/edtBohnenkamp Henrik Cedthttp://id.loc.gov/vocabulary/relators/edtSmith Connie Uedthttp://id.loc.gov/vocabulary/relators/edtTOOLS 2000MiAaPQMiAaPQMiAaPQBOOK996465610203316Computer Performance Evaluation. Modelling Techniques and Tools1945013UNISA03442nam 22005891 450 991013902460332120240524210058.01-118-76077-81-118-40388-6(CKB)2550000001159916(EBL)1550542(OCoLC)863038472(SSID)ssj0001040592(PQKBManifestationID)11572882(PQKBTitleCode)TC0001040592(PQKBWorkID)11002194(PQKB)10449548(MiAaPQ)EBC1550542(Au-PeEL)EBL1550542(CaPaEBR)ebr10799799(CaONFJC)MIL543121(EXLCZ)99255000000115991620130701h20142014 uy 0engur|n|---|||||txtccrFocused ultrasound techniques for the small animal practitioner /edited by Gregory R. Lisciandro1st ed.Ames, Iowa :John Wiley & Sons, Inc.,[2014]©20141 online resource (359 p.)Description based upon print version of record.1-118-36959-9 1-306-11870-0 Includes bibliographical references and index.Basic ultrasound principles & artifacts / Robert Fulton -- The abdominal FAST3 (AFAST3) exam / Gregory Lisciandro -- Focused or COAST3 : liver & gallbladder / Stephanie Lisciandro -- Focused or COAST3 : spleen / Stephanie Lisciandro -- Focused or COAST3 : kidneys / Stephanie Lisciandro -- Focused or COAST3 : urinary bladder / Stephanie Lisciandro -- Focused or COAST3 : gastro-intestinal & pancreas / Søren Boysen and Jennifer Gambino -- Focused or COAST3 : reproductive / Robert Fulton -- The thoracic FAST3 (TFAST3) exam / Gregory Lisciandro -- The vet blue lung scan / Gregory Lisciandro -- Focused or COAST3 : echo (heart) / Teresa DeFrancesco -- Focused or COAST3 : central venous & arterial lines, big arteries & veins / Scott Chamberlin -- Focused or COAST3 : pediatrics / Autumn P. Davidson and Tomas W. Baker -- Focused or COAST3 : eye / Jane Cho -- Focused or COAST3 : musculoskeletal / Gregory Lisciandro -- Focused or COAST3 : cardiopulmonary resuscitation (CPR), global fast (GFAST3) & the FAST-ABCDE exam / Gregory Lisciandro and Andrea Armenise -- Interventional ultrasound-guided procedures / Søren Boysen.Focused Ultrasound Techniques for the Small Animal Practitioner offers a highly practical guide to incorporating abbreviated ultrasound exams into the veterinary practice. Focused point-of-care exams are an effective way to quickly detect conditions and complications not readily apparent through the physical exam, laboratory diagnostics, or radiographic findings. Encompassing all the information needed to begin performing these techniques, Focused Ultrasound Techniques for the Small Animal Practitioner is a useful tool for improving patient outcomes in clinical practice.Veterinary ultrasonographyUltrasonic imagingVeterinary ultrasonography.Ultrasonic imaging.636.089/607543Lisciandro Gregory R877736MiAaPQMiAaPQMiAaPQBOOK9910139024603321Focused ultrasound techniques for the small animal practitioner1959824UNINA