Sciweavers

5376 search results - page 10 / 1076
» Scalable Kernel Systems
Sort
View
106
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
Scalable SMT-based verification of GPU kernel functions
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
Guodong Li, Ganesh Gopalakrishnan
GI
2004
Springer
15 years 5 months ago
Implementing Scalable Position-Based Multicast for the Linux Kernel
Matthias Transier, Holger Füßler, Thoma...
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
15 years 2 months ago
Using polynomial semi-separable kernels to construct infinite-dimensional Lyapunov functions
Abstract-- In this paper, we introduce the class of semiseparable kernel functions for use in constructing Lyapunov functions for distributed-parameter systems such as delaydiffere...
Matthew M. Peet, Antonis Papachristodoulou
107
Voted
SOSP
1989
ACM
15 years 1 months ago
Threads and Input/Output in the Synthesis Kernel
The Synthesis operating system kernel combines several techniques to provide high performa.nce, incl1iding kernel code synthesis, fine-gra.in scheduling. and optimistic sylicllrol...
Henry Massalin, Calton Pu
SP
2008
IEEE
119views Security Privacy» more  SP 2008»
15 years 6 months ago
Verifying the Safety of User Pointer Dereferences
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may...
Suhabe Bugrara, Alex Aiken