Sciweavers

932 search results - page 160 / 187
» Verifying Progress in Timed Systems
Sort
View
COMPSEC
2004
104views more  COMPSEC 2004»
13 years 8 months ago
Formal support for certificate management policies
Traditionally, creation and revocation of certificates are governed by policies that are carried manually, off-line, by trusted agents. This approach to certificate management is ...
Victoria Ungureanu
DPD
2002
125views more  DPD 2002»
13 years 8 months ago
Parallel Mining of Outliers in Large Database
Data mining is a new, important and fast growing database application. Outlier (exception) detection is one kind of data mining, which can be applied in a variety of areas like mon...
Edward Hung, David Wai-Lok Cheung
ESWA
2010
136views more  ESWA 2010»
13 years 7 months ago
Case-based adaptation for automotive engine electronic control unit calibration
The automotive engine performance is greatly affected by the calibration of its electronic control unit (ECU). The method for ECU calibration is traditionally done by trial-and-er...
Chi-Man Vong, Pak-Kin Wong
INTEGRATION
2008
127views more  INTEGRATION 2008»
13 years 7 months ago
A Viterbi decoder architecture for a standard-agile and reprogrammable transceiver
This paper presents a Viterbi Decoder (VD) architecture for a programmable data transmission system, implemented using a Field Programmable Gate Array (FPGA) device. This VD has b...
Lucia Bissi, Pisana Placidi, Giuseppe Baruffa, And...
FPGA
2010
ACM
182views FPGA» more  FPGA 2010»
13 years 7 months ago
A comprehensive approach to modeling, characterizing and optimizing for metastability in FPGAs
Metastability is a phenomenon that can cause system failures in digital circuits. It may occur whenever signals are being transmitted across asynchronous or unrelated clock domain...
Doris Chen, Deshanand Singh, Jeffrey Chromczak, Da...