Sciweavers

571 search results - page 33 / 115
» From Control Flow to Dataflow
Sort
View
PLDI
2012
ACM
11 years 10 months ago
Language-based control and mitigation of timing channels
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
Danfeng Zhang, Aslan Askarov, Andrew C. Myers
ECOOP
2006
Springer
13 years 11 months ago
Modeling Runtime Behavior in Framework-Based Applications
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...
Nick Mitchell, Gary Sevitsky, Harini Srinivasan
ENTCS
2008
138views more  ENTCS 2008»
13 years 7 months ago
Compositionality of Statically Scheduled IP
Timing Closure in presence of long global wire interconnects is one of the main current issues in System-onChip design. One proposed solution to the Timing Closure problem is Late...
Julien Boucaron, Jean-Vivien Millo
GLOBECOM
2006
IEEE
14 years 1 months ago
Analysis of Unfairness between TCP Uplink and Downlink Flows in Wi-Fi Hot Spots
Abstract— This paper focuses on the unfairness problem between TCP uplink and downlink flows in the 802.11 Wi-Fi hot spots and shows that the service is prone to be unfair. The ...
Eun-Chan Park, Dong-Young Kim, Chong-Ho Choi
AUTOMATICA
2006
66views more  AUTOMATICA 2006»
13 years 7 months ago
Stability of a rate control system with averaged feedback and network delay
We study the stability of a variant of Kelly's rate control scheme in a simple setting with a single flow and a single resource. The feedback signal from the resource is a fun...
Richard J. La, Priya Ranjan