Record: found
Abstract: not found
Book Chapter: not found

Tools and Algorithms for the Construction and Analysis of Systems 

Non-cumulative Resource Analysis

other

Author(s): Elvira Albert , Jesús Correas Fernández , Guillermo Román-Díez

Publication date (Print): 2015

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 14

Record: found
Abstract: not found
Book Chapter: not found

ABS: A Core Language for Abstract Behavioral Specification

Einar Johnsen, Reiner Hähnle, Jan Schäfer … (2012)

0 comments Cited 43 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

SPEED: precise and efficient static estimation of program computational complexity

Sumit Gulwani, Krishna K. Mehra, Trishul Chilimbi (2009)

0 comments Cited 17 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Cost Analysis of Java Bytecode

E. Albert, P Arenas, S. Genaim … (2007)

0 comments Cited 16 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2015

Pages: 85-100

DOI: 10.1007/978-3-662-46681-0_6

SO-VID: 2cdaf040-d044-4af7-a818-e3d91b38eac2

History

Data availability:

Non-cumulative Resource Analysis

Read this book at

Related collections

Resource Identification

Most cited references 14

ABS: A Core Language for Abstract Behavioral Specification

SPEED: precise and efficient static estimation of program computational complexity

Cost Analysis of Java Bytecode

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,438

Cited by 3