Sciweavers

326 search results - page 35 / 66
» Interprocedural Control Flow Analysis
Sort
View
76
Voted
PE
2006
Springer
130views Optimization» more  PE 2006»
14 years 9 months ago
Analysis of manufacturing blocking systems with Network Calculus
In this paper, the manufacturing blocking system (MBS) is studied from the Network Calculus (NetCal) perspective. By dominating an MBS by a window flow controller (WFC), we obtain...
Amit Bose, Xiaoyue Jiang, Bin Liu, Gang Li
ICC
2009
IEEE
128views Communications» more  ICC 2009»
15 years 4 months ago
Approximate Flow-Aware Networking
—A new variation of the Flow-Aware Networking (FAN) concept is presented in the paper. The proposed solution is based on the Approximate Fair Dropping algorithm and called by us ...
Jerzy Domzal, Andrzej Jajszczyk
66
Voted
ENVSOFT
2010
100views more  ENVSOFT 2010»
14 years 9 months ago
Coupled urban wind flow and indoor natural ventilation modelling on a high-resolution grid: A case study for the Amsterdam ArenA
Wind flow in urban environments is an important factor governing the dispersion of heat and pollutants from streets, squares and buildings. This paper presents a coupled CFD model...
T. van Hooff, B. Blocken
CSFW
2004
IEEE
15 years 1 months ago
Enforcing Robust Declassification
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems perform intentional release of sensitive informat...
Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic
CONNECTION
2004
134views more  CONNECTION 2004»
14 years 9 months ago
'Feeling' the flow of time through sensorimotor co-ordination
In this paper, we aim to design decision-making mechanisms for a simulated Khepera robot equipped with simple sensors, which integrates over time its perceptual experience in order...
Elio Tuci, Vito Trianni, Marco Dorigo