1521 search results - page 157 / 305 » The Stardinates - Visualizing Highly Structured Data |
128
click to vote
MPC
1995
Springer
15 years 7 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
111
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a number of optimization techniques to compute prefix sums on linked lists and implement them on multithreaded GPUs using CUDA. Prefix computations on linked structures ...
154
Voted
JASIS
2011
14 years 10 months ago
2011
The production of scientific knowledge has evolved from a process of inquiry largely based on the activities of individual scientists to one grounded in the collaborative efforts ...
127
Voted
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—Upon the occurrence of a phenomenon of interest in a wireless sensor network, multiple sensors may be activated, leading to data implosion and redundancy. Data aggregation and/o...
126
Voted
SIGSOFT
2005
ACM
15 years 9 months ago
2005
ACM
Cloning in software systems is known to create problems during software maintenance. Several techniques have been proposed to detect the same or similar code fragments in software...