Sciweavers

5376 search results - page 40 / 1076
» Scalable Kernel Systems
Sort
View
164
Voted
SDL
2007
192views Hardware» more  SDL 2007»
15 years 5 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
107
Voted
IISWC
2009
IEEE
15 years 10 months ago
A characterization and analysis of PTX kernels
Andrew Kerr, Gregory F. Diamos, Sudhakar Yalamanch...
111
Voted
ICS
2009
Tsinghua U.
15 years 10 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