Sciweavers

IFIP
2001
Springer
13 years 9 months ago
Reliable Multicast in Mobile Networks
Pasi Tiihonen, Petri Hiirsalmi
IFIP
2001
Springer
13 years 9 months ago
Effect of Delays on TCP Performance
: This paper has several contributions. First, we report that long sudden delays during data transfers are not uncommon in the GPRS wireless WAN. Long sudden delays can lead to spu...
Andrei Gurtov
IFIP
2001
Springer
13 years 9 months ago
Security Documentation
Effective security management depends upon good risk management, which is itself based upon a reliable risk assessment, involving data collection of all the facets influencing sys...
Lam-for Kwok, Peggy P. K. Fung, Dennis Longley
IFIP
2001
Springer
13 years 9 months ago
Security Vulnerabilities and System Intrusions - The Need for Automatic Response Frameworks
Steven Furnell, Maria Papadaki, G. Magklaras, A. A...
IFIP
2001
Springer
13 years 9 months ago
A New Efficient VLSI Architecture for Full Search Block Matching Motion Estimation
: A new efficient type I architecture for motion estimation in video sequences based on the Full-Search Block-Matching (FSBM) algorithm is proposed in this paper. This architecture...
Nuno Roma, Leonel Sousa
IFIP
2001
Springer
13 years 9 months ago
Random Adjacent Sequences: An Efficient Solution for Logic BIST
: High defect coverage requires good coverage of different fault types. In this paper, we present a comprehensive test vector generation technique for BIST, called Random Single In...
René David, Patrick Girard, Christian Landr...
IFIP
2001
Springer
13 years 9 months ago
A Standardized Co-simulation Backbone
: In the field of co-simulation, the construction of a bridge between different simulators and the solution of problems like synchronization and data translation are some of the ma...
Braulio Adriano de Mello, Flávio Rech Wagne...
IFIP
2001
Springer
13 years 9 months ago
An Evolutionary Approach for Pareto-optimal Configurations in SOC Platforms
: One of the most important problems in SOC platforms design is that of defining strategies for tuning the parameters of a parameterized system so as to obtain the Pareto-optimal s...
Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi
IFIP
2001
Springer
13 years 9 months ago
Functional Test Generation using Constraint Logic Programming
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
Zhihong Zeng, Maciej J. Ciesielski, Bruno Rouzeyre