1308 search results - page 64 / 262 » Application of Hazard Analysis to Software Quality Modelling |
125
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
152
Voted
ICCD
2002
IEEE
16 years 11 days ago
2002
IEEE
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
125
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...
127
Voted
VLSI
2005
Springer
15 years 9 months ago
2005
Springer
This work addresses the problem of application mapping in networks-on-chip (NoCs) having as goal to minimize the total dynamic energy consumption of a complex system-on-a-chip (So...
138
Voted
AOSE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...