Sciweavers

1440 search results - page 77 / 288
» Third-Party Flow Control
Sort
View
IEICET
2010
80views more  IEICET 2010»
15 years 1 months ago
Over-Approximated Control Flow Graph Construction on Pure Esterel
Chul-Joo Kim, Jeong-Han Yun, Seonggun Kim, Kwang-M...
PADL
2011
Springer
14 years 7 months ago
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
Tomas Petricek, Don Syme
CAISE
2009
Springer
15 years 8 months ago
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows
Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for w verification. Most techniques simply abstract fr...
Nikola Trcka, Wil M. P. van der Aalst, Natalia Sid...
ESA
2006
Springer
109views Algorithms» more  ESA 2006»
15 years 7 months ago
Multiline Addressing by Network Flow
We consider an optimization problem arising in the design of controllers for OLED displays. Our objective is to minimize amplitude of the electrical current through the diodes whic...
Friedrich Eisenbrand, Andreas Karrenbauer, Martin ...
ICESS
2005
Springer
15 years 9 months ago
Formalization of fFSM Model and Its Verification
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
Sachoun Park, Gihwon Kwon, Soonhoi Ha