1299 search results - page 178 / 260 » On the Correctness of Operating System Kernels |
179
click to vote
IPSN
2007
Springer
16 years 14 days ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...
182
click to vote
EMSOFT
2007
Springer
16 years 15 days ago
2007
Springer
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly...
178
click to vote
CASES
2005
ACM
15 years 8 months ago
2005
ACM
In this work, we propose and investigate the idea of enhancing a System-on-Chip (SoC) communication architecture (the fabric that integrates system components and carries the comm...
240
click to vote
FOSAD
2009
Springer
16 years 27 days ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
161
click to vote
ICC
2007
IEEE
16 years 20 days ago
2007
IEEE
Single-frequency simulcast networks use two or more Radio Base Stations (RBS) to transmit simultaneously the same signal on the same radio channel over the service area. To ens...