Sciweavers

2068 search results - page 292 / 414
» On Effectiveness of Application-Layer Coding
Sort
View
POPL
2009
ACM
16 years 5 months ago
Semi-sparse flow-sensitive pointer analysis
Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these analyses depends on the precision of the pointer information they receive. Two major a...
Ben Hardekopf, Calvin Lin
ICLP
2009
Springer
16 years 5 months ago
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
Edison Mera, Manuel V. Hermenegildo, Pedro L&oacut...
KDD
2009
ACM
180views Data Mining» more  KDD 2009»
16 years 5 months ago
Consensus group stable feature selection
Stability is an important yet under-addressed issue in feature selection from high-dimensional and small sample data. In this paper, we show that stability of feature selection ha...
Steven Loscalzo, Lei Yu, Chris H. Q. Ding
149
Voted
CHI
2005
ACM
16 years 5 months ago
Interactive web usage mining with the navigation visualizer
Web usage mining, the analysis of user navigation paths through web sites, is a common technique for evaluating site designs or adaptive hypermedia techniques. However, often it i...
Eelco Herder, Harald Weinreich
VLSID
2002
IEEE
125views VLSI» more  VLSID 2002»
16 years 5 months ago
Software Pipelining for Coarse-Grained Reconfigurable Instruction Set Processors
This paper shows that software pipelining can be an effective technique for code generation for coarse-grained reconfigurable instruction set processors. The paper describes a tec...
Francisco Barat, Murali Jayapala, Pieter Op de Bee...