169 search results - page 3 / 34 » From Operating-System Correctness to Pervasively Verified Ap... |
SIGMETRICS
2006
ACM
13 years 11 months ago
2006
ACM
Modern architecture research relies heavily on applicationlevel detailed pipeline simulation. A time consuming part of building a simulator is correctly emulating the operating sy...
JSS
2007
13 years 5 months ago
2007
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...
USENIX
2007
13 years 8 months ago
2007
Commercial operating systems have recently introduced mandatory access controls (MAC) that can be used to ensure system-wide data confidentiality and integrity. These protections...
HOTOS
2009
IEEE
13 years 9 months ago
2009
IEEE
Smartphones enable a new, rich user experience in pervasive computing, but their hardware is still very limited in terms of computation, memory, and energy reserves, thus limiting...
FMICS
2010
Springer
13 years 6 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...