Sciweavers

13651 search results - page 298 / 2731
» Spectral analysis of data
Sort
View
TIME
2005
IEEE
15 years 10 months ago
Analysis of Timed Processes with Data Using Algebraic Transformations
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
Michel A. Reniers, Yaroslav S. Usenko
VTS
2005
IEEE
178views Hardware» more  VTS 2005»
15 years 10 months ago
Data Retention Fault in SRAM Memories: Analysis and Detection Procedures
Luigi Dilillo, Patrick Girard, Serge Pravossoudovi...
IMC
2005
ACM
15 years 10 months ago
Data Reduction for the Scalable Automated Analysis of Distributed Darknet Traffic
Michael Bailey, Evan Cooke, Farnam Jahanian, Niels...
AWIC
2005
Springer
15 years 10 months ago
A Flexible Grid Infrastructure for Data Analysis
Hanna Kozankiewicz, Krzysztof Stencel, Kazimierz S...
ICCS
2005
Springer
15 years 10 months ago
Multiscale Interpolation, Backward in Time Error Analysis for Data-Driven Contaminant Simulation
Abstract. We describe, devise, and augment dynamic data-driven application simulations (DDDAS). DDDAS offers interesting computational and mathematically unsolved problems. In thi...
Craig C. Douglas, Yalchin Efendiev, Richard E. Ewi...