Sciweavers

5376 search results - page 40 / 1076
» Scalable Kernel Systems
Sort
View
134
Voted
SDL
2007
192views Hardware» more  SDL 2007»
15 years 1 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong
84
Voted
IISWC
2009
IEEE
15 years 7 months ago
A characterization and analysis of PTX kernels
Andrew Kerr, Gregory F. Diamos, Sudhakar Yalamanch...
ICS
2009
Tsinghua U.
15 years 7 months ago
Tuned and wildly asynchronous stencil kernels for hybrid CPU/GPU systems
We describe heterogeneous multi-CPU and multi-GPU implementations of Jacobi’s iterative method for the 2-D Poisson equation on a structured grid, in both single- and doublepreci...
Sundaresan Venkatasubramanian, Richard W. Vuduc