Sciweavers

3227 search results - page 120 / 646
» Software engineering and performance: a road-map
Sort
View
TCAD
2002
107views more  TCAD 2002»
15 years 6 months ago
Value-sensitive automatic code specialization for embedded software
The objective of this work is to create a framework for the optimization of embedded software. We present algorithms and a tool flow to reduce the computational effort of programs,...
Eui-Young Chung, Luca Benini, Giovanni De Micheli,...
ICSE
2008
IEEE-ACM
16 years 7 months ago
Precise memory leak detection for java software using container profiling
A memory leak in a Java program occurs when object references that are no longer needed are unnecessarily maintained. Such leaks are difficult to understand because static analyse...
Guoqing Xu, Atanas Rountev
CBSE
2004
Springer
15 years 10 months ago
Computational Quality of Service for Scientific Components
Scientific computing on massively parallel computers presents unique challenges to component-based software engineering (CBSE). While CBSE is at least as enabling for scientific co...
Boyana Norris, Jaideep Ray, Robert C. Armstrong, L...
ESEM
2008
ACM
15 years 8 months ago
An empirical model to predict security vulnerabilities using code complexity metrics
Complexity is often hypothesized to be the enemy of software security. If this hypothesis is true, complexity metrics may be used to predict the locale of security problems and ca...
Yonghee Shin, Laurie Williams
AMAST
2004
Springer
15 years 12 months ago
Formal JVM Code Analysis in JavaFAN
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
Azadeh Farzan, José Meseguer, Grigore Rosu