1299 search results - page 216 / 260 » On the Correctness of Operating System Kernels |
143
click to vote
CIDR
2007
15 years 7 months ago
2007
Event processing will play an increasingly important role in constructing enterprise applications that can immediately react to business critical events. Various technologies have...
134
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
145
click to vote
DAC
2000
ACM
16 years 6 months ago
2000
ACM
Leading-edge systems-on-chip (SoC) being designed today could reach 20 Million gates and 0.5 to 1 GHz operating frequency. In order to implement such systems, designers are increa...
159
click to vote
EUROPAR
2009
Springer
16 years 4 days ago
2009
Springer
While general-purpose homogeneous multi-core architectures are becoming ubiquitous, there are clear indications that, for a number of important applications, a better performance/p...
155
click to vote
ICNP
2006
IEEE
15 years 11 months ago
2006
IEEE
— Binding services are crucial building blocks in networks and networked applications. A binding service (e.g., the Domain Name System (DNS)) maps certain information, namely, bi...