4719 search results - page 393 / 944 » Newtonian program analysis |
165
click to vote
IFIP
2007
Springer
16 years 26 days ago
2007
Springer
Super-resolution algorithms typically improve the resolution of a video frame by mapping and performing signal processing operations on data from frames immediately preceding and i...
167
click to vote
ICMCS
2006
IEEE
16 years 22 days ago
2006
IEEE
When multiple video sources are live-encoded and transmitted over a common wireless network, each stream needs to adapt its encoding parameters to wireless channel fluctuations, ...
193
click to vote
IPPS
2005
IEEE
16 years 9 days ago
2005
IEEE
Previous studies of application usage show that the performance of collective communications are critical for high-performance computing and are often overlooked when compared to ...
165
click to vote
ARCS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract: Which Software Reliability Engineering (SRE) methods should be applied during the various phases of the lifecycle of a product? The answer given here centres on learning ...
146
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...