Sciweavers

985 search results - page 87 / 197
» On the validity of digital signatures
Sort
View
PIMRC
2008
IEEE
14 years 3 months ago
Distributed digital locked loops for time/frequency locking in packet-based wireless communication
— In infrastructure-less wireless systems network-wise time and frequency synchronization can be achieved by exchanging mutual synchronization errors among neighboring nodes. Coo...
Umberto Spagnolini, Nicola Varanese, Osvaldo Simeo...
CONCUR
1998
Springer
14 years 1 months ago
On Discretization of Delays in Timed Automata and Digital Circuits
In this paper we solve the following problem: \given a digital circuit composed of gates whose real-valued delays are in an integerbounded interval, is there a way to discretize ti...
Eugene Asarin, Oded Maler, Amir Pnueli
DPHOTO
2009
131views Hardware» more  DPHOTO 2009»
13 years 6 months ago
Interaction of image noise, spatial resolution, and low contrast fine detail preservation in digital image processing
We present a method to improve the validity of noise and resolution measurements on digital cameras. If non-linear adaptive noise reduction is part of the signal processing in the...
Uwe Artmann, Dietmar Wueller
CC
2007
Springer
14 years 3 months ago
Preprocessing Strategy for Effective Modulo Scheduling on Multi-issue Digital Signal Processors
To achieve high resource utilization for multi-issue Digital Signal Processors (DSPs), production compilers commonly include variants of the iterative modulo scheduling algorithm. ...
Doosan Cho, Ravi Ayyagari, Gang-Ryung Uh, Yunheung...
SAFECOMP
2007
Springer
14 years 3 months ago
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Cho...