7280 search results - page 1303 / 1456 » Optimization Techniques |
188
click to vote
CGO
2004
IEEE
15 years 10 months ago
2004
IEEE
Memory profiling is the process of characterizing a program's memory behavior by observing and recording its response to specific input sets. Relevant aspects of the program&...
180
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
A sensor network consists of sensing devices which may exchange data through wireless communication. A particular feature of sensor networks is that they are highly energy constrai...
206
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
213
click to vote
ICS
2000
Tsinghua U.
15 years 10 months ago
2000
Tsinghua U.
From a software engineering perspective, the Java programming language provides an attractive platform for writing numerically intensive applications. A major drawback hampering i...
216
Voted
VLDB
2000
ACM
15 years 10 months ago
2000
ACM
Multidimensional access methods have shown high potential for significant performance improvements in various application domains. However, only few approaches have made their way...