796 search results - page 69 / 160 » The Semantics of Abstract Program Slicing |
131
Voted
KDD
2005
ACM
16 years 2 months ago
2005
ACM
We propose a new algorithm for dimensionality reduction and unsupervised text classification. We use mixture models as underlying process of generating corpus and utilize a novel,...
107
click to vote
ASIAN
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
220
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
120
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
106
click to vote
FPGA
2010
ACM
15 years 11 months ago
2010
ACM
d hardware design from behavior-level abstraction has drawn wide interest in FPGA-based acceleration and configurable computing research field. However, for many high-level progra...