Sciweavers

2797 search results - page 296 / 560
» Control Structures
Sort
View
TIP
2002
130views more  TIP 2002»
15 years 3 months ago
Forward-and-backward diffusion processes for adaptive image enhancement and denoising
Signal and image enhancement is considered in the context of a new type of diffusion process that simultaneously enhances, sharpens, and denoises images. The nonlinear diffusion co...
Guy Gilboa, Nir A. Sochen, Yehoshua Y. Zeevi
143
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
Context-sensitive slicing of concurrent programs
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...
Jens Krinke
ICRA
2002
IEEE
117views Robotics» more  ICRA 2002»
15 years 9 months ago
Design of a 5-DOF Haptic Simulator for Urological Operations
A new haptic feedback mechanism with five active degrees of freedom (dof), part of a training simulator for urological operations, is presented. The mechanism consists of a 2-dof 5...
Evangelos Papadopoulos, Kostas Vlachos, Dionyssios...
ASAP
1997
IEEE
93views Hardware» more  ASAP 1997»
15 years 8 months ago
A Novel Sequencer Hardware for Application Specific Computing
This paper introduces a powerful novel sequencer for controlling computational machines and for structured DMA (direct memory access) applications. It is mainly focused on applica...
Reiner W. Hartenstein, Jürgen Becker, Michael...
CATS
2008
15 years 5 months ago
Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction
Lock-free algorithms have been developed to avoid various problems associated with using locks to control access to shared data structures. These algorithms are typically more int...
Lindsay Groves