Sciweavers

2272 search results - page 215 / 455
» Validity Invariants and Effects
Sort
View
ESTIMEDIA
2004
Springer
14 years 4 months ago
A queuing-theoretic performance model for context-flow system-on-chip platforms
Abstract—Few analytical performance models that relate performance figure of merit to architectural design decisions are reported in recent studies of network-on-chip, which pre...
Rami Beidas, Jianwen Zhu
ISNN
2004
Springer
14 years 4 months ago
A Boosting-Based Framework for Self-Similar and Non-linear Internet Traffic Prediction
Abstract. Internet traffic prediction plays a fundamental role in network design, management, control, and optimization. The self-similar and non-linear nature of network traffic m...
Hanghang Tong, Chongrong Li, Jingrui He
RE
2004
Springer
14 years 4 months ago
Composing Requirements Using Problem Frames
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
Robin C. Laney, Leonor Barroca, Michael Jackson, B...
UML
2004
Springer
14 years 4 months ago
System-on-Chip Verification Process Using UML
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
Qiang Zhu, Tsuneo Nakata, Masataka Mine, Kenichiro...
AVSS
2003
IEEE
14 years 4 months ago
Color-Based Video Stabilization for Real-Time On-Board Object Detection on High-Speed Trains
This paper is concerned with a particular application of image stabilization1 . Image stabilization is a necessary step to reduce the effect of camera motion when, as in this case...
Stefano Piva, Michela Zara, Gianluca Gera, Carlo S...