The Resource Advances in computers, Volume ninety one, edited by Atif Memon, (electronic resource )

Advances in computers, Volume ninety one, edited by Atif Memon, (electronic resource )

Label
Advances in computers, Volume ninety one
Title
Advances in computers
Title number
Volume ninety one
Statement of responsibility
edited by Atif Memon
Title variation
Advances in computers
Contributor
Subject
Genre
Language
  • eng
  • eng
Summary
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of sugnificant, lasting value in this rapidly expanding field. In-depth surveys and tutorials on new computer technologyWell-known authors and researchers in the
Is Subseries of
Cataloging source
MiAaPQ
Dewey number
005.12
Illustrations
  • illustrations
  • charts
Index
index present
Language note
English
LC call number
QA76
LC item number
.A38 2013
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Memon, Atif
Series statement
Advances in computers,
Series volume
v. 91
http://library.link/vocab/subjectName
  • Electronic data processing
  • Computers
Label
Advances in computers, Volume ninety one, edited by Atif Memon, (electronic resource )
Instantiates
Publication
Note
Description based upon print version of record
Bibliography note
Includes bibliographical references and indexes
Carrier category
online resource
Carrier category code
cr
Content category
text
Content type code
txt
Contents
  • Half Title; Title Page; Copyright; Contents; Preface; 1 Reverse-Engineering Software Behavior; 1 Introduction; 2 Background; 2.1 Modeling Software Behavior; 2.1.1 Modeling Data; 2.1.2 Modeling Sequential Behavior; 2.1.2.1 State Machines; 2.1.2.2 Message Sequence Charts and Sequence Diagrams; 2.1.3 Combining Data and Control; 2.1.3.1 EFSMs; 2.1.3.2 Algebraic Models; 2.2 The Reverse-Engineering Process; 2.2.1 Summary; 3 Static Analysis; 3.1 Why do we Need Behavioral Models if we have Source Code?; 3.2 Intermediate Representations-Source Code as a Graph; 3.2.1 The Control Flow Graph
  • 3.2.1.1 Data Flow3.2.1.2 Call Graphs; 3.3 Answering Questions about Behavior with Static Analysis; 3.3.1 Dominance Analysis, Dependence Analysis, and Slicing; 3.3.1.1 Dominance Analysis; 3.3.1.2 Control Dependence Analysis; 3.3.1.3 The Program Dependence Graph and Slicing; 3.4 Building behavioral Models by Static Analysis; 3.4.1 Collecting ``Static Traces''-Identifying Potential Program Executions; 3.4.2 Deriving Models from Static Traces; 3.5 Limitations of Static Analysis; 4 Dynamic Analysis; 4.1 Tracing and the Challenge of Inductive Inference; 4.1.1 Tracing
  • 4.1.2 The Essential Challenge of Dynamic Analysis4.2 Practical Trace Collection Approaches; 4.2.1 Selecting Inputs by the Category Partition Method; 4.2.2 Selecting Inputs by Exercising the Surrounding System; 4.2.3 Random Input Selection; 4.3 Data Function Inference; 4.3.1 Using General-Purpose Data Model Inference Algorithms; 4.3.2 Inferring Pre-Conditions, Post-Conditions, and Invariants; 4.4 State Machine Inference; 4.5 Limitations of Dynamic Analysis; 5 Evaluating Reverse-Engineered Models; 5.1 Evaluating Syntactic Model Accuracy; 5.1.1 Measuring the Difference
  • 5.2 Comparing Model Behavior6 Conclusions and Outstanding Challenges; 6.1 Accommodating Scale; 6.1.1 Static Analysis Technique; 6.1.2 Dynamic Analysis Technique; 6.2 Factoring in Domain Knowledge; 6.3 Concurrency and Time-Sensitivity; References; About the Authors; 2 Understanding Application Contentiousness and Sensitivity on Modern Multicores; 1 Introduction; 2 Contentiousness vs. Sensitivity; 2.1 Definition; 2.2 Contentiousness and Sensitivity; 2.3 Experiment Design, Results, and Insights; 2.3.1 Contentiousness; 2.3.2 Sensitivity; 2.3.3 Contentiousness vs. Sensitivity
  • 3 LLC Misses as an Indicator?4 Predicting Contention Characteristics; 4.1 Modeling Contention Characteristics; 4.2 Approximation Using PMUs; 4.2.1 PMUs for Memory Resource Usage; 4.2.2 Regression to Determine Coefficients; 5 Evaluation; 6 Related Work; 7 Summary; References; About the Authors; 3 An Outlook of High Performance Computing Infrastructures for Scientific Computing; 1 Introduction; 2 Modern Microprocessor Based Computer Systems; 3 Computing Shift: from Serial to Parallel; 4 Implicit Parallelism; 4.1 Instruction Level Parallelism (ILP); 4.1.1 Major Kinds of ILP
  • 4.1.2 Some Remarks on ILP
Dimensions
unknown
Edition
1st ed.
Extent
1 online resource (237 p.)
Form of item
online
Isbn
9780124081093
Media category
computer
Media type code
c
Specific material designation
remote
System control number
  • (EBL)1354676
  • (OCoLC)862820945
  • (SSID)ssj0001137427
  • (PQKBManifestationID)11666357
  • (PQKBTitleCode)TC0001137427
  • (PQKBWorkID)11118516
  • (PQKB)11257315
  • (MiAaPQ)EBC1354676
  • (EXLCZ)992550000001111770
Label
Advances in computers, Volume ninety one, edited by Atif Memon, (electronic resource )
Publication
Note
Description based upon print version of record
Bibliography note
Includes bibliographical references and indexes
Carrier category
online resource
Carrier category code
cr
Content category
text
Content type code
txt
Contents
  • Half Title; Title Page; Copyright; Contents; Preface; 1 Reverse-Engineering Software Behavior; 1 Introduction; 2 Background; 2.1 Modeling Software Behavior; 2.1.1 Modeling Data; 2.1.2 Modeling Sequential Behavior; 2.1.2.1 State Machines; 2.1.2.2 Message Sequence Charts and Sequence Diagrams; 2.1.3 Combining Data and Control; 2.1.3.1 EFSMs; 2.1.3.2 Algebraic Models; 2.2 The Reverse-Engineering Process; 2.2.1 Summary; 3 Static Analysis; 3.1 Why do we Need Behavioral Models if we have Source Code?; 3.2 Intermediate Representations-Source Code as a Graph; 3.2.1 The Control Flow Graph
  • 3.2.1.1 Data Flow3.2.1.2 Call Graphs; 3.3 Answering Questions about Behavior with Static Analysis; 3.3.1 Dominance Analysis, Dependence Analysis, and Slicing; 3.3.1.1 Dominance Analysis; 3.3.1.2 Control Dependence Analysis; 3.3.1.3 The Program Dependence Graph and Slicing; 3.4 Building behavioral Models by Static Analysis; 3.4.1 Collecting ``Static Traces''-Identifying Potential Program Executions; 3.4.2 Deriving Models from Static Traces; 3.5 Limitations of Static Analysis; 4 Dynamic Analysis; 4.1 Tracing and the Challenge of Inductive Inference; 4.1.1 Tracing
  • 4.1.2 The Essential Challenge of Dynamic Analysis4.2 Practical Trace Collection Approaches; 4.2.1 Selecting Inputs by the Category Partition Method; 4.2.2 Selecting Inputs by Exercising the Surrounding System; 4.2.3 Random Input Selection; 4.3 Data Function Inference; 4.3.1 Using General-Purpose Data Model Inference Algorithms; 4.3.2 Inferring Pre-Conditions, Post-Conditions, and Invariants; 4.4 State Machine Inference; 4.5 Limitations of Dynamic Analysis; 5 Evaluating Reverse-Engineered Models; 5.1 Evaluating Syntactic Model Accuracy; 5.1.1 Measuring the Difference
  • 5.2 Comparing Model Behavior6 Conclusions and Outstanding Challenges; 6.1 Accommodating Scale; 6.1.1 Static Analysis Technique; 6.1.2 Dynamic Analysis Technique; 6.2 Factoring in Domain Knowledge; 6.3 Concurrency and Time-Sensitivity; References; About the Authors; 2 Understanding Application Contentiousness and Sensitivity on Modern Multicores; 1 Introduction; 2 Contentiousness vs. Sensitivity; 2.1 Definition; 2.2 Contentiousness and Sensitivity; 2.3 Experiment Design, Results, and Insights; 2.3.1 Contentiousness; 2.3.2 Sensitivity; 2.3.3 Contentiousness vs. Sensitivity
  • 3 LLC Misses as an Indicator?4 Predicting Contention Characteristics; 4.1 Modeling Contention Characteristics; 4.2 Approximation Using PMUs; 4.2.1 PMUs for Memory Resource Usage; 4.2.2 Regression to Determine Coefficients; 5 Evaluation; 6 Related Work; 7 Summary; References; About the Authors; 3 An Outlook of High Performance Computing Infrastructures for Scientific Computing; 1 Introduction; 2 Modern Microprocessor Based Computer Systems; 3 Computing Shift: from Serial to Parallel; 4 Implicit Parallelism; 4.1 Instruction Level Parallelism (ILP); 4.1.1 Major Kinds of ILP
  • 4.1.2 Some Remarks on ILP
Dimensions
unknown
Edition
1st ed.
Extent
1 online resource (237 p.)
Form of item
online
Isbn
9780124081093
Media category
computer
Media type code
c
Specific material designation
remote
System control number
  • (EBL)1354676
  • (OCoLC)862820945
  • (SSID)ssj0001137427
  • (PQKBManifestationID)11666357
  • (PQKBTitleCode)TC0001137427
  • (PQKBWorkID)11118516
  • (PQKB)11257315
  • (MiAaPQ)EBC1354676
  • (EXLCZ)992550000001111770

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...