962 search results - page 139 / 193 » Input validation analysis and testing |
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
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-...
112
click to vote
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
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)....
CP
2007
Springer
15 years 6 months ago
2007
Springer
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...
108
click to vote
ECCV
2004
Springer
15 years 5 months ago
2004
Springer
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 ...