Sciweavers

4722 search results - page 154 / 945
» Representation-independent program analysis
Sort
View
TKDE
2012
253views Formal Methods» more  TKDE 2012»
13 years 8 months ago
Horizontal Aggregations in SQL to Prepare Data Sets for Data Mining Analysis
—Preparing a data set for analysis is generally the most time consuming task in a data mining project, requiring many complex SQL queries, joining tables and aggregating columns....
Carlos Ordonez, Zhibo Chen 0002
PLDI
2004
ACM
15 years 11 months ago
KISS: keep it simple and sequential
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
Shaz Qadeer, Dinghao Wu
BMCBI
2006
150views more  BMCBI 2006»
15 years 6 months ago
CGAT: a comparative genome analysis tool for visualizing alignments in the analysis of complex evolutionary changes between clos
Background: The recent accumulation of closely related genomic sequences provides a valuable resource for the elucidation of the evolutionary histories of various organisms. Howev...
Ikuo Uchiyama, Toshio Higuchi, Ichizo Kobayashi
CC
2009
Springer
153views System Software» more  CC 2009»
15 years 4 months ago
From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
Richard Warburton, Sara Kalvala
JMLR
2012
13 years 8 months ago
Robust Multi-task Regression with Grossly Corrupted Observations
We consider the multiple-response regression problem, where the response is subject to sparse gross errors, in the high-dimensional setup. We propose a tractable regularized M-est...
Huan Xu, Chenlei Leng