Sciweavers

1477 search results - page 81 / 296
» Token flow control
Sort
View
131
Voted
VMV
2008
164views Visualization» more  VMV 2008»
15 years 5 months ago
Vector Glyphs for Surfaces: A Fast and Simple Glyph Placement Algorithm for Adaptive Resolution Meshes
Visualization of flow on boundary surfaces from computational flow dynamics (CFD) is challenging due to the complex, adaptive resolution nature of the meshes used in the modeling ...
Zhenmin Peng, Robert S. Laramee
131
Voted
IPAW
2010
15 years 1 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
163
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
133
Voted
CORR
2010
Springer
146views Education» more  CORR 2010»
15 years 3 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 9 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