Sciweavers

1393 search results - page 5 / 279
» Virtual-Channel Flow Control
Sort
View
CBSE
2011
Springer
12 years 7 months ago
Automating information flow control in component-based distributed systems
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
Takoua Abdellatif, Lilia Sfaxi, Riadh Robbana, Yas...
ESOP
2011
Springer
12 years 11 months ago
Typing Local Control and State Using Flow Analysis
Programs written in scripting languages employ idioms that confound conventional type systems. In this paper, we highlight one important set of related idioms: the use of local con...
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
IEICET
2010
80views more  IEICET 2010»
13 years 4 months ago
Over-Approximated Control Flow Graph Construction on Pure Esterel
Chul-Joo Kim, Jeong-Han Yun, Seonggun Kim, Kwang-M...
PADL
2011
Springer
12 years 10 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
DATE
2006
IEEE
128views Hardware» more  DATE 2006»
14 years 1 months ago
Efficient link capacity and QoS design for network-on-chip
This paper addresses the allocation of link capacities in the automated design process of a network-on-chip based system. Communication resource costs are minimized under Quality-...
Zvika Guz, Isask'har Walter, Evgeny Bolotin, Israe...