Sciweavers

1962 search results - page 141 / 393
» Software performance engineering of component-based systems
Sort
View
151
Voted
CODES
2008
IEEE
15 years 10 months ago
Scratchpad allocation for concurrent embedded software
Software-controlled scratchpad memory is increasingly employed in embedded systems as it offers better timing predictability compared to caches. Previous scratchpad allocation alg...
Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra
136
Voted
EUROSYS
2006
ACM
16 years 18 days ago
Reducing TCB complexity for security-sensitive applications: three case studies
The large size and high complexity of securitysensitive applications and systems software is a primary cause for their poor testability and high vulnerability. One approach to all...
Lenin Singaravelu, Calton Pu, Hermann Härtig,...
120
Voted
ISSTA
2006
ACM
15 years 9 months ago
Application of automated environment generation to commercial software
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
Oksana Tkachuk, Sreeranga P. Rajan
COMPSAC
2002
IEEE
15 years 8 months ago
SIFA: A Scalable File System with Intelligent File Allocation
In this paper, we propose and evaluate a new NAS based system which is a consolidated file system in a network environment. The consolidated file system utilizes storage boxes c...
Hsiao-Ping Tsai, Jiun-Long Huang, Cheng-Ming Chao,...
CODES
2007
IEEE
15 years 9 months ago
Dynamic security domain scaling on symmetric multiprocessors for future high-end embedded systems
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...
Hiroaki Inoue, Akihisa Ikeno, Tsuyoshi Abe, Junji ...