4911 search results - page 737 / 983 » Tree dependence analysis |
142
Voted
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
Sparse and irregular computations constitute a large fraction of applications in the data-intensive scientific domain. While every effort is made to balance the computational wor...
134
Voted
SIGIR
2004
ACM
15 years 9 months ago
2004
ACM
Indexing and ranking are two key factors for efficient and effective XML information retrieval. Inappropriate indexing may result in false negatives and false positives, and impro...
154
Voted
COMPGEOM
2003
ACM
15 years 8 months ago
2003
ACM
Given a scene consisting of objects, ray shooting queries answer with the first object encountered by a given ray, and are used in ray tracing and radiosity for rendering photo-r...
136
Voted
SENSYS
2003
ACM
15 years 8 months ago
2003
ACM
The widespread deployment of sensor networks is on the horizon. One of the main challenges in sensor networks is to process and aggregate data in the network rather than wasting e...
141
Voted
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...