Sciweavers

3091 search results - page 220 / 619
» The Microsoft Relational Engine
Sort
View
SIGMOD
2007
ACM
196views Database» more  SIGMOD 2007»
16 years 6 months ago
GPUQP: query co-processing using graphics processors
We present GPUQP, a relational query engine that employs both CPUs and GPUs (Graphics Processing Units) for in-memory query co-processing. GPUs are commodity processors traditiona...
Rui Fang, Bingsheng He, Mian Lu, Ke Yang, Naga K. ...
ICSE
2007
IEEE-ACM
16 years 6 months ago
Path-Sensitive Inference of Function Precedence Protocols
Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a call to pthread mut...
Murali Krishna Ramanathan, Ananth Grama, Suresh Ja...
ICSM
2006
IEEE
16 years 19 days ago
Using Sex Differences to Link Spatial Cognition and Program Comprehension
Spatial cognition and program development have both been examined using contrasting models. We suggest that sex-based differences in one’s perception of risk is the key to relat...
Maryanne Fisher, Anthony Cox, Lin Zhao
VISSOFT
2005
IEEE
16 years 5 days ago
Interactive Exploration of Semantic Clusters
Using visualization and exploration tools can be of great use for the understanding of a software system when only its source code is available. However, understanding a large sof...
Mircea Lungu, Adrian Kuhn, Tudor Gîrba, Mich...
FASE
2005
Springer
16 years 3 days ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...