3836 search results - page 413 / 768 » Optimizing the Use of High Performance Software Libraries |
190
click to vote
DGO
2007
15 years 8 months ago
2007
A large portion of the government, business, cultural, and scientific digital data being created today needs to be archived and preserved for future use of periods ranging from a ...
172
click to vote
TIT
2008
15 years 6 months ago
2008
The problem of distributed Bayesian estimation is considered in the context of a wireless sensor network. The Bayesian estimation performance is analyzed in terms of the expected F...
179
click to vote
ISPAN
2002
IEEE
15 years 11 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
148
click to vote
INEX
2009
Springer
15 years 11 months ago
2009
Springer
In the paper we present the organization of the INEX 2009 interactive track. For the 2009 experiments the iTrack has gathered data on user search behavior in a collection consistin...
194
Voted
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...