105 search results - page 15 / 21 » Code-Assisted Synchronization for UWB-IR Systems: Algorithms... |
150
Voted
PPOPP
2005
ACM
15 years 7 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
115
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
112
Voted
ICPADS
2002
IEEE
15 years 6 months ago
2002
IEEE
Efficient determination of processing termination at barrier synchronization points can occupy an important role in the overall throughput of parallel and distributed computing sy...
127
Voted
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We determine the robust Nash equilibrium (RNE) for a wide range of problems in communications systems and networks that are faced with uncertainty in their parameters’ values. T...
ICPR
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract. An accurate analysis of a large dynamic system like our oceans requires spatially fine and temporally matched data collection methods. Current methods to estimate fish st...