16725 search results - page 3007 / 3345 » Engineering Software Correctness |
193
Voted
CCR
2011
14 years 12 months ago
2011
ion can improve performance without significantly breaking layered abstractions; explicit bursts are preferable to steady, constant bitrate traffic. Furthermore, the vagaries and c...
154
click to vote
SIAMAM
2011
14 years 11 months ago
2011
A solution method is proposed for calculating wave scattering by a multiple-row array in which the rows are permitted to have different periodicities. Each individual row contains ...
165
click to vote
SIAMAM
2011
14 years 11 months ago
2011
Trace gas sensors that are compact and portable are being deployed for use in a variety of applications including disease diagnosis via breath analysis, monitoring of atmospheric p...
173
click to vote
SIAMCO
2011
14 years 11 months ago
2011
The choice of admissible trading strategies in mathematical modelling of financial markets is a delicate issue, going back to Harrison and Kreps [HK79]. In the context of optimal...
171
click to vote
SIAMCOMP
2011
14 years 11 months ago
2011
Set agreement, where processors decisions constitute a set of outputs, is notoriously harder to analyze than consensus where the decisions are restricted to a single output. This ...