Sciweavers

624 search results - page 113 / 125
» High Performance Matrix Multiplication on Many Cores
Sort
View
VLDB
2004
ACM
128views Database» more  VLDB 2004»
14 years 9 months ago
Operator scheduling in data stream systems
In many applications involving continuous data streams, data arrival is bursty and data rate fluctuates over time. Systems that seek to give rapid or realtime query responses in su...
Brian Babcock, Shivnath Babu, Mayur Datar, Rajeev ...
VLDB
2004
ACM
125views Database» more  VLDB 2004»
14 years 9 months ago
Automatic integration of Web search interfaces with WISE-Integrator
An increasing number of databases are becoming Web accessible through form-based search interfaces, and many of these sources are database-driven E-commerce sites. It is a daunting...
Hai He, Weiyi Meng, Clement T. Yu, Zonghuan Wu
TPHOL
2007
IEEE
14 years 3 months ago
Verifying Nonlinear Real Formulas Via Sums of Squares
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
John Harrison
IEEEPACT
2000
IEEE
14 years 1 months ago
Dynamic Branch Prediction for a VLIW Processor
This paper describes the design of a dynamic branchpredictorfor a VLIW processor. The developed branch predictor predicts the direction of a branch, i.e., taken or not taken, and ...
Jan Hoogerbrugge
CCS
2010
ACM
13 years 9 months ago
TASTY: tool for automating secure two-party computations
Secure two-party computation allows two untrusting parties to jointly compute an arbitrary function on their respective private inputs while revealing no information beyond the ou...
Wilko Henecka, Stefan Kögl, Ahmad-Reza Sadegh...