Sciweavers

11214 search results - page 1902 / 2243
» Just-in-time data structures
Sort
View
ISBI
2009
IEEE
16 years 1 months ago
Energy Minimization Methods for Cell Motion Correction and Intracellular Analysis in Live-Cell Fluorescence Microscopy
The ultimate aim of many live-cell fluorescence microscopy imaging experiments is the quantitative analysis of the spatial structure and temporal behavior of intracellular object...
Oleh Dzyubachyk, Wiggert A. van Cappellen, Jeroen ...
ASPLOS
2009
ACM
16 years 1 months ago
Performance analysis of accelerated image registration using GPGPU
This paper presents a performance analysis of an accelerated 2-D rigid image registration implementation that employs the Compute Unified Device Architecture (CUDA) programming e...
Peter Bui, Jay B. Brockman
EUROSEC
2009
ACM
16 years 1 months ago
Deep packet anonymization
Network traces of Internet attacks are among the most valuable resources for network analysts and security researchers. However, organizations and researchers are usually reluctan...
Michalis Foukarakis, Demetres Antoniades, Michalis...
183
Voted
PLDI
2009
ACM
16 years 1 months ago
GC assertions: using the garbage collector to check heap properties
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
Edward Aftandilian, Samuel Z. Guyer
ESOP
2009
Springer
16 years 1 months ago
A Basis for Verifying Multi-threaded Programs
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
K. Rustan M. Leino, Peter Müller
« Prev « First page 1902 / 2243 Last » Next »