1440 search results - page 48 / 288 » Third-Party Flow Control |
133
click to vote
TACS
1994
Springer
15 years 4 months ago
1994
Springer
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
94
Voted
ENVSOFT
2011
14 years 7 months ago
2011
Jet fans are applied for control of air flow and support of pollutant dispersal in large enclosures. In The Netherlands, application is well known for car parks as part of the fir...
ICNP
1998
IEEE
15 years 4 months ago
1998
IEEE
Network applications require a certain level of network performance for their proper operation. These individual guarantees can be provided if su cient amounts of network resource...
100
Voted
INFOCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
—We consider a set of flows passing through a set of servers. The injection rate into each flow is governed by a flow control that increases the injection rate when all the se...
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...