2255 search results - page 336 / 451 » High Assurance Software Systems |
169
click to vote
KDD
2010
ACM
15 years 9 months ago
2010
ACM
The security demands on modern system administration are enormous and getting worse. Chief among these demands, administrators must monitor the continual ongoing disclosure of sof...
148
click to vote
EUROSYS
2008
ACM
16 years 2 months ago
2008
ACM
Hard disks contain data—frequently an irreplaceable asset of high monetary and non-monetary value. At the same time, hard disks are mechanical devices that consume power, are no...
149
click to vote
LCTRTS
2009
Springer
15 years 12 months ago
2009
Springer
Most programming languages support a call stack in the programming model and also in the runtime system. We show that for applications targeting low-power embedded microcontroller...
159
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Code coverage is a common aid in the testing process. It is generally used for marking the source code segments that were executed and, more importantly, those that were not execu...
148
click to vote
FPGA
2008
ACM
15 years 6 months ago
2008
ACM
Functional full-system simulators are powerful and versatile research tools for accelerating architectural exploration and advanced software development. Their main shortcoming is...