7167 search results - page 1228 / 1434 » A Technique for Invariant Generation |
216
click to vote
VEE
2010
ACM
16 years 2 months ago
2010
ACM
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
158
click to vote
ASPLOS
2010
ACM
16 years 2 months ago
2010
ACM
This paper introduces a new abstraction to accelerate the readbarriers and write-barriers used by language runtime systems. We exploit the fact that, dynamically, many barrier exe...
194
click to vote
ACSC
2009
IEEE
16 years 2 months ago
2009
IEEE
Most text mining methods are based on representing documents using a vector space model, commonly known as a bag of word model, where each document is modeled as a linear vector r...
190
click to vote
SENSYS
2009
ACM
16 years 2 months ago
2009
ACM
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...
194
click to vote
EDBT
2009
ACM
16 years 2 months ago
2009
ACM
In this work we concentrate on categorization of relational attributes based on their data type. Assuming that attribute type/characteristics are unknown or unidentifiable, we an...