Sciweavers

3104 search results - page 599 / 621
» A High Performance Kernel-Less Operating System Architecture
Sort
View
EGH
2010
Springer
13 years 5 months ago
Parallel SAH k-D tree construction
The k-D tree is a well-studied acceleration data structure for ray tracing. It is used to organize primitives in a scene to allow efficient execution of intersection operations be...
Byn Choi, Rakesh Komuravelli, Victor Lu, Hyojin Su...
VSTTE
2010
Springer
13 years 5 months ago
Towards Scalable Modular Checking of User-Defined Properties
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Sh...
ESIAT
2009
IEEE
13 years 5 months ago
Experimental Study on Shortcut Nitrification of Sewage from Flushing Toilet with Seawater
Shortcut nitrification was reported to be technically feasible and economically favourable, especially when sewages with high ammonium concentrations or low C/N ratios are treated....
Xiaojie Sun, Yingjie Sun, Hongtao Wang, Deshuang Y...
ICDE
2012
IEEE
199views Database» more  ICDE 2012»
11 years 10 months ago
Physically Independent Stream Merging
—A facility for merging equivalent data streams can support multiple capabilities in a data stream management system (DSMS), such as query-plan switching and high availability. O...
Badrish Chandramouli, David Maier, Jonathan Goldst...
DSRT
2006
IEEE
14 years 1 months ago
Grid-enabling FIRST: Speeding Up Simulation Applications Using WinGrid
The vision of grid computing is to make computational power, storage capacity, data and applications available to users as readily as electricity and other utilities. Grid infrast...
Navonil Mustafee, Anders Alstad, Bjorn Larsen, Sim...