3708 search results - page 631 / 742 » Programming with C Exceptions |
160
click to vote
NOSSDAV
2010
Springer
15 years 3 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...
145
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
Inclusion-based points-to analysis provides a good trade-off between precision of results and speed of analysis, and it has been incorporated into several production compilers inc...
137
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
139
click to vote
SAS
2010
Springer
15 years 3 months ago
2010
Springer
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
148
click to vote
SIAMSC
2010
15 years 3 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...