Sciweavers

2272 search results - page 48 / 455
» Validity Invariants and Effects
Sort
View
FASE
2006
Springer
13 years 11 months ago
Trace-Based Memory Aliasing Across Program Versions
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
Murali Krishna Ramanathan, Suresh Jagannathan, Ana...
ICIP
2005
IEEE
14 years 9 months ago
Explicit contour model for vehicle tracking with automatic hypothesis validation
This paper addresses the problem of vehicle tracking under a single static, uncalibrated camera without any constraints on the scene or on the motion direction of vehicles. We int...
Boris Wai-Sing Yiu, Kwan-Yee Kenneth Wong, Francis...
HAPTICS
2006
IEEE
14 years 1 months ago
Perceptual Analysis of Haptic Icons: an Investigation into the Validity of Cluster Sorted MDS
The design of usable haptic icons (brief informational signals delivered through the sense of touch) requires a tool for measuring perceptual distances between icons that will be ...
Jérôme Pasquero, Joseph Luk, Shannon ...
COMPSAC
2005
IEEE
14 years 1 months ago
An Empirical Performance Study for Validating a Performance Analysis Approach: PSIM
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
Jinchun Xia, Yujia Ge, Carl K. Chang
SIGCOMM
1998
ACM
13 years 12 months ago
Modeling TCP Throughput: A Simple Model and Its Empirical Validation
In this paper we develop a simple analytic characterization of the steady state throughput, as a function of loss rate and round trip time for a bulk transfer TCP flow, i.e., a ï...
Jitendra Padhye, Victor Firoiu, Donald F. Towsley,...