Sciweavers

1393 search results - page 34 / 279
» Virtual-Channel Flow Control
Sort
View
ICCD
2006
IEEE
103views Hardware» more  ICCD 2006»
15 years 11 months ago
Architectural Support for Run-Time Validation of Control Flow Transfer
—Current micro-architecture blindly uses the address in the program counter to fetch and execute instructions without validating its legitimacy. Whenever this blind-folded instru...
Yixin Shi, Sean Dempsey, Gyungho Lee
PDPTA
2004
15 years 3 months ago
A Study of Adaptive Rate Algorithm in ATM Network Flow Control
In this paper we present a flow control algorithm designed to improve the performance of ATM network and to gain higher throughput by guaranteeing negotiated cell loss ratio (CLR)...
Surasee Prahmkaew, Chanintorn Jittawiriyanukoon
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 8 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
103
Voted
POPL
1997
ACM
15 years 5 months ago
Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
Hanne Riis Nielson, Flemming Nielson
PEPM
1991
ACM
15 years 5 months ago
The Semantics of Scheme Control-Flow Analysis
This is a follow-on to my 1988PLDIpaper, “Control-Flow Analysis e”[9]. Iusethe methodofabstractsemanticinterpretations to explicate the control-flow analysis technique presen...
Olin Shivers