Add to ORKGContains fulltext : 35243.pdf (preprint version ) (Open Access
Contains fulltext : 162473.pdf (publisher's version ) (Open Access)CLARIN Annual C...
Contains fulltext : 68878.pdf (publisher's version ) (Closed access)22 p
We present a type system for a compile-time analysis of heap-space requirements of Java style object...
Contains fulltext : 72667.pdf (author's version ) (Open Access)8th International S...
The following full text is an author's version which may differ from the publisher's versi...
The prediction of resource consumption in programs has gained interest in the last years. It is impo...
Controlling resource usage is important for the reliability, efficiency and security of software sys...
apply it to the analysis of two data structures: Binomial Heaps and Fibonacci Heaps
10.1145/1920261.1920310Proceedings - Annual Computer Security Applications Conference, ACSAC327-336C...
The Human Exposome Assessment Platform (HEAP) is a research resource for the integrated and efficien...
This is the artifact corresponding to the article entitled "A High-Level Separation Logic for Heap S...
Contains fulltext : 128985.pdf (publisher's version ) (Open Access
This paper describes a general approach for optimized live heap space and live heap space-bound anal...
Escrihuela Navarro, R. (2011). Analysis of main memory usage in SAP ERP systems. http://hdl.handle.n...
Purpose: To construct an effective stack-space usage analysis based on a formal semantics for Hume i...
Contains fulltext : 162473.pdf (publisher's version ) (Open Access)CLARIN Annual C...
Contains fulltext : 68878.pdf (publisher's version ) (Closed access)22 p
We present a type system for a compile-time analysis of heap-space requirements of Java style object...
Contains fulltext : 72667.pdf (author's version ) (Open Access)8th International S...
The following full text is an author's version which may differ from the publisher's versi...
The prediction of resource consumption in programs has gained interest in the last years. It is impo...
Controlling resource usage is important for the reliability, efficiency and security of software sys...
apply it to the analysis of two data structures: Binomial Heaps and Fibonacci Heaps
10.1145/1920261.1920310Proceedings - Annual Computer Security Applications Conference, ACSAC327-336C...
The Human Exposome Assessment Platform (HEAP) is a research resource for the integrated and efficien...
This is the artifact corresponding to the article entitled "A High-Level Separation Logic for Heap S...
Contains fulltext : 128985.pdf (publisher's version ) (Open Access
This paper describes a general approach for optimized live heap space and live heap space-bound anal...
Escrihuela Navarro, R. (2011). Analysis of main memory usage in SAP ERP systems. http://hdl.handle.n...
Purpose: To construct an effective stack-space usage analysis based on a formal semantics for Hume i...
Contains fulltext : 162473.pdf (publisher's version ) (Open Access)CLARIN Annual C...
Contains fulltext : 68878.pdf (publisher's version ) (Closed access)22 p
We present a type system for a compile-time analysis of heap-space requirements of Java style object...