5090 search results - page 845 / 1018 » Constructing Strategies for Programming |
186
click to vote
NOSSDAV
2010
Springer
15 years 4 months ago
2010
Springer
In P2P assisted multi-channel live streaming systems, it is commonly believed that in unpopular channels, quality degradation is due to the small number of participating peers wit...
174
click to vote
SIAMSC
2010
15 years 4 months ago
2010
Frequently, the computation of derivatives for optimizing time-dependent problems is based on the integration of the adjoint differential equation. For this purpose, the knowledge...
171
click to vote
CGO
2010
IEEE
15 years 4 months ago
2010
IEEE
Dynamic memory allocation is widely used in modern programs. General-purpose heap allocators often focus more on reducing their run-time overhead and memory space utilization, but...
212
click to vote
EDBT
2010
ACM
15 years 4 months ago
2010
ACM
Spatial data are common in many scientific and commercial domains such as geographical information systems and gene/protein expression profiles. Querying for distribution patterns...
175
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...