3872 search results - page 425 / 775 » The Java memory model |
144
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
142
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
This paper gives a theoretical framework for clustering a set of conceptual graphs characterized by sparse descriptions. The formed clusters are named in an intelligible manner thr...
117
click to vote
ISICT
2003
15 years 6 months ago
2003
Project MEMORIAL [3] is aimed at developing a new technology for creating Web based information systems using interactive electronic documents extracted from their paper originals...
156
click to vote
WCE
2007
15 years 6 months ago
2007
—Partitioned global address space (PGAS) languages, such as Unified Parallel C (UPC) have the promise of being productive. Due to the shared address space view that they provide,...
134
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
In this paper we describe and analyze a data pruning method in combination with template-based automatic speech recognition. We demonstrate the positive effects of polishing the t...