Sciweavers

962 search results - page 139 / 193
» Input validation analysis and testing
Sort
View
DATE
2008
IEEE
113views Hardware» more  DATE 2008»
15 years 12 months ago
Random Stimulus Generation using Entropy and XOR Constraints
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
Stephen Plaza, Igor L. Markov, Valeria Bertacco
GLOBECOM
2008
IEEE
15 years 12 months ago
Performance of an Iterative Multi-User Receiver for MIMO-OFDM Systems in a Real Indoor Scenario
Abstract—This paper aims at validation of an iterative receiver for Multiple-Input Multiple-Output with Orthogonal Frequency Division Multiplexing (MIMO-OFDM) systems using real-...
Pierluigi Salvo Rossi, Peter Hammarberg, Fredrik T...
IPPS
2008
IEEE
15 years 12 months ago
Multi-threaded data mining of EDGAR CIKs (Central Index Keys) from ticker symbols
This paper describes how use the Java Swing HTMLEditorKit to perform multi-threaded web data mining on the EDGAR system (Electronic DataGathering, Analysis, and Retrieval system)....
Dougal A. Lyon
CP
2007
Springer
15 years 11 months ago
Scheduling Conditional Task Graphs
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...
Michele Lombardi, Michela Milano
ECCV
2004
Springer
15 years 10 months ago
Probabilistic Spatial-Temporal Segmentation of Multiple Sclerosis Lesions
Abstract. In this paper we describe the application of a novel statistical videomodeling scheme to sequences of multiple sclerosis (MS) images taken over time. The analysis of the ...
Allon Shahar, Hayit Greenspan