Sciweavers

1440 search results - page 81 / 288
» Third-Party Flow Control
Sort
View
139
Voted
IPAW
2010
15 years 2 months ago
StarFlow: A Script-Centric Data Analysis Environment
We introduce StarFlow, a script-centric environment for data analysis. StarFlow has four main features: (1) extraction of control and data-flow dependencies through a novel combina...
Elaine Angelino, Daniel Yamins, Margo I. Seltzer
166
Voted
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
15 years 7 months ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
CORR
2010
Springer
146views Education» more  CORR 2010»
15 years 4 months ago
Liberalizing Dependency
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
Avik Chaudhuri
BPM
2007
Springer
125views Business» more  BPM 2007»
15 years 10 months ago
Semantic Analysis of Flow Patterns in Business Process Modeling
Control flow elements are important in process models. Such elements usually appear in graphic models as splits and joins of activity sequences. Workflow patterns reflect possible ...
Pnina Soffer, Yair Wand, Maya Kaner
119
Voted
ICNP
1999
IEEE
15 years 8 months ago
Minimum Rate Guarantee Without Per-Flow Information
This paper introduces a scalable maxmin flow control protocol which guarantees the minimum rate for each connection-oriented flow without requiring per-flow information. The proto...
Yuseok Kim, Wei Kang Tsai, Mahadevan Iyer, Jordi R...