Narrow your search

Library

KU Leuven (2)

UCLouvain (1)

UGent (1)

VUB (1)


Resource type

book (4)


Language

English (4)


Year
From To Submit

2022 (1)

1995 (1)

1979 (1)

1974 (1)

Listing 1 - 4 of 4
Sort by

Book
Proving that computer programs terminate cleanly
Author:
Year: 1974 Publisher: Stanford Stanford university. Computer science department

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Understanding software dynamics
Authors: ---
ISBN: 9780137589739 0137589735 Year: 2022 Publisher: Boston: Addison-Wesley,

Loading...
Export citation

Choose an application

Bookmark

Abstract

"World-renowned software performance expert Richard Sites tackles the problem of time-constrained software head on, offering expert methods and advanced tools for understanding complex time-constrained software dynamics, improving software reliability, and troubleshooting challenging performance problems. He addresses CPU, memory, disk, network, and more, helping you fix programs that are always too slow, or work well at times but inexplicably slow down at other times. Sites draws on several decades of experience pioneering software performance optimization, and extensive experience teaching developers at the graduate level. He introduces principles and techniques you can use in any environment, from embedded devices to datacenters, illuminating them with examples based on x86 or ARM processors running Linux and linked by Ethernet. Sites also guides readers through building and applying a powerful new extremely-low-overhead open source software tool, KUtrace, to trace exactly what is executing on every CPU core. Using insights gleaned from this tool, readers can apply nuanced approaches to performance enhancement -- not merely brute-force techniques such as turning off caches or cores."

Keywords


Book
Universal P-code definition, version (0.2)
Authors: ---
Year: 1979 Publisher: La Jolla University of California at San Diego. Department of applied physics and information science

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Alpha AXP architecture reference manual
Authors: --- ---
ISBN: 1555581455 Year: 1995 Publisher: Boston (Mass.) : Digital press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 4 of 4
Sort by