Sciweavers

1477 search results - page 56 / 296
» Token flow control
Sort
View
81
Voted
EMSOFT
2005
Springer
15 years 6 months ago
Centralized end-to-end flow control in a best-effort network-on-chip
Run-time communication management in a Network-on-Chip (NoC) is a challenging task. On one hand, the NoC needs to satisfy the communication requirements (e.g. throughput) of runni...
Prabhat Avasare, Vincent Nollet, Jean-Yves Mignole...
SAFECOMP
2005
Springer
15 years 6 months ago
Control and Data Flow Testing on Function Block Diagrams
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha
113
Voted
POPL
1999
ACM
15 years 5 months ago
JFlow: Practical Mostly-Static Information Flow Control
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
Andrew C. Myers
114
Voted
IJISEC
2007
149views more  IJISEC 2007»
15 years 21 days ago
Dynamic security labels and static information flow control
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
Lantian Zheng, Andrew C. Myers
107
Voted
CISS
2008
IEEE
15 years 7 months ago
Game theory for heterogeneous flow control
—A general framework is developed for networks with flows that use all available congestion signals to regulate their rates. It is conceptually a generalization of the existing ...
Ao Tang, Lachlan L. H. Andrew