Sciweavers

11558 search results - page 1961 / 2312
» Analytics for software development
Sort
View
CC
2009
Springer
116views System Software» more  CC 2009»
16 years 7 months ago
A Framework for Exploring Optimization Properties
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...
Min Zhao, Bruce R. Childers, Mary Lou Soffa
VLSID
2009
IEEE
115views VLSI» more  VLSID 2009»
16 years 7 months ago
Efficient Techniques for Directed Test Generation Using Incremental Satisfiability
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
Prabhat Mishra, Mingsong Chen
157
Voted
ESORICS
2009
Springer
16 years 7 months ago
WORM-SEAL: Trustworthy Data Retention and Verification for Regulatory Compliance
Abstract. As the number and scope of government regulations and rules mandating trustworthy retention of data keep growing, businesses today are facing a higher degree of regulatio...
Tiancheng Li, Xiaonan Ma, Ninghui Li
CHI
2009
ACM
16 years 7 months ago
Using strokes as command shortcuts: cognitive benefits and toolkit support
This paper investigates using stroke gestures as shortcuts to menu selection. We first experimentally measured the performance and ease of learning of stroke shortcuts in comparis...
Caroline Appert, Shumin Zhai
KDD
2007
ACM
335views Data Mining» more  KDD 2007»
16 years 7 months ago
Detecting changes in large data sets of payment card data: a case study
An important problem in data mining is detecting changes in large data sets. Although there are a variety of change detection algorithms that have been developed, in practice it c...
Chris Curry, Robert L. Grossman, David Locke, Stev...
« Prev « First page 1961 / 2312 Last » Next »