Sciweavers

1393 search results - page 72 / 279
» Virtual-Channel Flow Control
Sort
View
NOCS
2010
IEEE
13 years 7 months ago
Fault-Tolerant Flow Control in On-chip Networks
Young Hoon Kang, Taek-Jun Kwon, Jeffrey T. Draper
CAISE
2009
Springer
14 years 29 days 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»
14 years 19 days 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
14 years 2 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
PLDI
1999
ACM
14 years 1 months ago
Whole Program Paths
Whole program paths (WPP) are a new approach to capturing and representing a program’s dynamic—actually executed—control flow. Unlike other path profiling techniques, which ...
James R. Larus