4015 search results - page 4 / 803 » The Future of Software Performance Engineering |
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Current research in software engineering at Karlstad University is concentrated on non-formal software design methods with a focus on semantics. One goal is to produce methods, wh...
COMPUTER
2006
14 years 9 months ago
2006
69
Voted
CODES
2007
IEEE
15 years 3 months ago
2007
IEEE
We propose a method for dynamic security domain scaling on SMPs that offers both highly scalable performance and high security for future high-end embedded systems. Its most impor...
COMPSAC
2010
IEEE
14 years 7 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
CODES
2005
IEEE
15 years 3 months ago
2005
IEEE
The ability to continue increasing processor frequency and single thread performance is being severely limited by exponential increases in leakage and active power. To continue to...