Sciweavers

10412 search results - page 182 / 2083
» The efficiency of algorithms - misconceptions
Sort
View
ENTCS
2000
60views more  ENTCS 2000»
14 years 10 months ago
Writing Constructive Proofs Yielding Efficient Extracted Programs
The NuPRL system [3] was designed for interactive writing of machine
Aleksey Nogin
TACAS
2010
Springer
156views Algorithms» more  TACAS 2010»
14 years 8 months ago
Preemption Sealing for Efficient Concurrency Testing
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...
Thomas Ball, Sebastian Burckhardt, Katherine E. Co...
93
Voted
IPL
2010
158views more  IPL 2010»
14 years 7 months ago
Finding bipartite subgraphs efficiently
Polynomial algorithms are given for the following two problems:
Dhruv Mubayi, György Turán
TIP
2010
165views more  TIP 2010»
14 years 4 months ago
Physically Consistent and Efficient Variational Denoising of Image Fluid Flow Estimates
Imaging plays an important role in experimental fluid dynamics. It is equally important both for scientific research and a range of industrial applications. It is known, however, t...
Andrey Vlasenko, Christoph Schnörr
ICASSP
2011
IEEE
14 years 1 months ago
Efficient distributed resampling for particle filters
In particle filtering, resampling is the only step that cannot be fully parallelized. Recently, we have proposed algorithms for distributed resampling implemented on architecture...
Balakumar Balasingam, Miodrag Bolic, Petar M. Djur...