MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Resource usage analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 37 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Resource Usage Analysis  
  • by Atsushi Igarashi, Naoki Kobayashi — 2002
  • …Resource Usage Analysis Atsushi Igarashi Department of Graphics and Computer Science Graduate…
  • Cited by 60 (2 self) – Add To MetaCart
  • Types and effects for resource usage analysis  
  • by Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino — 2007 — In Proc. of Foundations of Software Science and Computation Structure (FoSSaCS’07), LNCS
  • …Types and Effects for Resource Usage Analysis Massimo Bartoletti, Pierpaolo Degano, Gian Luigi…
  • Cited by 4 (0 self) – Add To MetaCart
  • RESOURCE USAGE ANALYSIS FOR THE π-CALCULUS ∗  
  • by Naoki Kobayashi A, Kohei Suenaga B, Lucian Wischik C — 2006
  • …. 25, 2006 Published Sep. 13, 2006 RESOURCE USAGE ANALYSIS FOR THE π-CALCULUS ∗ NAOKI KOBAYASHI a…
  • Add To MetaCart
  • PUBLICATIONS  
  • by Leena Unnikrishnan, Prof Scott Stoller, Leena Unnikrishnan, Scott D. Stoller
  • … Central Park Place Ramsey, NJ 07446 201-934-5688 Program analysis, resource usage analysis (time and space…
  • Add To MetaCart
  • Certified memory usage analysis  
  • by David Cachera, Thomas Jensen, David Pichardie, Gerardo Schneider — 2005 — In FM’05, number 3582 in LNCS
  • … Blindern, N-0316 Oslo, Norway Abstract. We present a certified algorithm for resource usage analysis…
  • Cited by 15 (2 self) – Add To MetaCart
  • Experiments in Cost Analysis of Java Bytecode  
  • by E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini — 2007 — In ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE’07), volume 190, Issue 1 of Electronic
  • … framework for the cost analysis of Java bytecode which can be used for measuring resource usage…
  • Cited by 3 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB