4198 search results - page 392 / 840 » Data Parallel Program Design |
161
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
139
click to vote
VTC
2008
IEEE
15 years 11 months ago
2008
IEEE
— We propose an Efficient Reliable Data Collection (eRDC) algorithm. The eRDC is designed for energy-constraint wireless sensor networks (WSN) to balance reliability and energy c...
154
click to vote
SIGCOMM
2010
ACM
15 years 5 months ago
2010
ACM
Dynamic Datastructure Excavation (DDE) is a new approach to extract datastructures from C binaries without any need for debugging symbols. Unlike most existing tools, DDE uses dyn...
144
click to vote
INFORMATICALT
2002
15 years 4 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
133
click to vote
ICMCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Much attention has been paid to the problem of optimally utilizing resources such as spectrum, power and time in order to achieve the best video delivery quality in wireless commu...