5376 search results - page 128 / 1076 » Scalable Kernel Systems |
85
Voted
CORR
2010
Springer
15 years 28 days ago
2010
Springer
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
ICFP
2005
ACM
16 years 24 days ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
123
Voted
TRUSTBUS
2005
Springer
15 years 6 months ago
2005
Springer
The executions of operating system services based on smart cards allow one to personalize some functionalities of the operating system by using the secret information stored in a s...
107
Voted
ICS
2009
Tsinghua U.
15 years 7 months ago
2009
Tsinghua U.
In this work, we propose a new FPGA design flow that combines the CUDA programming model from Nvidia with the state of the art high-level synthesis tool AutoPilot from AutoESL, to...
VLDB
1998
ACM
15 years 5 months ago
1998
ACM
In this paper we describe the architecture and interface of KODA, a production strength database kernel. KODA is unique in the industry in its ability to support two different dat...