Data Flow And Error Control
Data flow oriented program testing strategy. - all 3 versions »
JW Laski, B Korel - IEEE Transactions on Software Engineering, 1983 - doi.ieeecomputersociety.org
… Reliability of these strategies is discussed with respect to a program containing
an error. Index Terms-Control flow, data context, data environment, data …
Cited by 211 - Related Articles - Web Search
[BOOK] Symbolic Model Checking - all 4 versions »
KL McMillan - 1993 - Kluwer Academic Publishers Norwell, MA, USA
… a path-sensitive interprocedural dataflow engine, Proceedings … at the right time:
comparing data flow analysis algorithms … approach to measure error coverage of …
Cited by 3140 - Related Articles - Web Search
Selecting software test data using data flow information. - all 4 versions »
S Rapps, EJ Weyuker - IEEE Transactions on Software Engineering, 1985 - doi.ieeecomputersociety.org
… then if xl is selected as ti, the error … path selection criteria are based on control
flow analysis, which … We believe that data flow analysis, which is widely …
Cited by 615 - Related Articles - Web Search
A reliable dissemination protocol for interactive collaborative applications - all 14 versions »
R Yavatkar, J Griffoen, M Sudan - Proceedings of the third ACM international conference on …, 1995 - portal.acm.org
… Logically, TMTP’s delivery management protocol can be partitioned into three
components: data transmission, error handling, and flow control. …
Cited by 400 - Related Articles - Web Search
Correction to” An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow … - all 13 versions »
PG Frankl, SN Weiss - IEEE Transactions on Software Engineering, 1993 - ieeexplore.ieee.org
… the Effectiveness of Branch Testing and Data Flow Testing … Due to a typesetting error,
Table VI11 in … Software project control: An experimental investigation of …
Cited by 138 - Related Articles - Web Search
The synchronous data flow programming language LUSTRE - all 11 versions »
N Halbwachs, P Caspi, P Raymond, D Pilaud - Proceedings of the IEEE, 1991 - ieeexplore.ieee.org
… Just think of a design error in a nuclear plant … and in a commercial aircraft flight
control sys- tem! … 1. A data flow description and its associated equations. …
Cited by 843 - Related Articles - Web Search
A Control-Theoretic Approach to Flow Control - all 23 versions »
S Keshav - portal.acm.org
… of analysis, that sources always have data to send … We model this error in measurement
as an observation … strategy used to design the flow-control mechanism, some …
Cited by 569 - Related Articles - Web Search
Myrinet: a gigabit-per-second local area network - all 19 versions »
NJ Boden, D Cohen, RE Felderman, AE Kulawik, CL … - Micro, IEEE, 1995 - ieeexplore.ieee.org
… In contrast to LAN5, the distinctive characteristics of MPP message-passing networks
include high data rates, very low error rates, and flow control on every …
Cited by 1825 - Related Articles - Web Search
TCP-like congestion control for layered multicast data transfer - all 24 versions »
L Vicisano, J Crowcroft, L Rizzo - INFOCOM’98. Seventeenth Annual Joint Conference of the IEEE … - ieeexplore.ieee.org
… We also show how error recovery can be dealt with independently from … acting in
coordination can exercise a simple on/off control the flow data in a subtree …
Cited by 592 - Related Articles - Web Search
Window-based error recovery and flow control with a slowacknowledgement channel: a study of TCP/IP … - all 9 versions »
TV Lakshman, U Madhow, B Suter - INFOCOM’97. Sixteenth Annual Joint Conference of the IEEE …, 1997 - ieeexplore.ieee.org
… reverse channel to control packet flow in the … traffic where some connections send
data packets on … However, since TCP combines error recovery with congestion …
Cited by 151 - Related Articles - Web Search
Experience with control mechanisms for packet video in the internet - all 20 versions »
JC Bolot, T Turletti - ACM SIGCOMM Computer Communication Review, 1998 - portal.acm.org
… for the more important part of the data flow, and use adaptation for the rest of
the data. … Error control mecha- nisms then attempt to minimize the visual …
Cited by 169 - Related Articles - Web Search
Error control for video multicast using hierarchical FEC
WT Tan, A Zakhor - Image Processing, 1999. ICIP 99. Proceedings. 1999 …, 1999 - ieeexplore.ieee.org
… layers of multicast groups to effect flow control [l, 21. … or hybrid schemes employin
forward error correction (FEC … the MBONE tools or financial data distribution …
Cited by 41 - Related Articles - Web Search
Design and evaluation of system-level checks for on-line control flow error detection - all 9 versions »
Z Alkhalifa, VSS Nair, N Krishnamurthy, J Abraham - IEEE Transactions on Parallel and Distributed Systems, 1999 - doi.ieeecs.org
… If is an even number, then it is a data divide by zero; otherwise, it is a control
flow error divide by zero. 3. EXPERIMENTAL EVALUATION. …
Cited by 80 - Related Articles - Web Search
Data flow analysis techniques for test data selection - all 6 versions »
S Rapps, EJ Weyuker - Proceedings of the 6th international conference on Software …, 1982 - portal.acm.org
… occur when an incorrect path is chosen due to a control flow error, and computation …
All-p-uses is our first data flow analysis criterion which includes all …
Cited by 85 - Related Articles - Web Search
NETBLT: A High Throughput Transport Protocol - all 3 versions »
DD Clark, ML Lamberl, L Zhang - portal.acm.org
… handling timers. The problem with windows is that they are both a data
flow control and an error recovery mechanism. The problem …
Cited by 157 - Related Articles - Web Search
[PDF] Control-Flow Analysis of Higher-Order Languages - all 6 versions »
O Shivers - 1991 - repository.readscheme.org
… The whole point of control-flow analysis is that it enables important
data-flow program optimisations. To demonstrate this, I use …
Cited by 331 - Related Articles - View as HTML - Web Search
A robust layered control system for a mobile robot - all 13 versions »
R Brooks - Robotics and Automation, IEEE Journal of [legacy, pre-1988], 1986 - ieeexplore.ieee.org
… readings-sometimes due to normal sensor error and sometimes … which we call the
first-level control system … interfaces of level 0 suppressing the normal data flow. …
Cited by 4502 - Related Articles - Web Search
[PS] … error control for finite element approximations of the lift and drag coefficients in viscous flow
M Giles, M Larson, M Levenstam, E Suli - preprint NA-97/06, Comlab, Oxford University, 1997 - comlab.ox.ac.uk
… APPROXIMATIONS OF THE LIFT AND DRAG COEFFICIENTS IN VISCOUS FLOW … The data for the
dual problem is known, and … ERROR CONTROL FOR THE LIFT AND DRAG COEFFICIENTS 3 …
Cited by 51 - Related Articles - View as HTML - Web Search
The software radio architecture - all 3 versions »
J Mitola - Communications Magazine, IEEE, 1995 - ieeexplore.ieee.org
… quadrature modems + Forward Error Control Analog + operations … de-/spreading devices +
embedded control processors Analog … power management + data rate management …
Cited by 914 - Related Articles - Web Search
Synchronous data flow - all 4 versions »
EA Lee, DG Messerschmitt - Proceedings of the IEEE, 1987 - ieeexplore.ieee.org
… tokens to one of two output paths depending on a control input and … D AKGULAR ERROR
IN 1 … functions, etc.), the paradigm is called large grain data flow (LGDF) [6 …
Cited by 560 - Related Articles - Web Search