133 search results - page 5 / 27 » Inference of Session Types From Control Flow |
AAAI
2011
12 years 6 months ago
2011
Selection bias, caused by preferential exclusion of samples from the data, is a major obstacle to valid causal and statistical inferences; it cannot be removed by randomized exper...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
GLOBECOM
2009
IEEE
13 years 10 months ago
2009
IEEE
Wireless Mesh Networks (WMNs) is a promising key technology for next generation wireless backhauling that is expected to support various types of applications with different qualit...
MICRO
2012
IEEE
11 years 9 months ago
2012
IEEE
This article presents a general algorithm for transforming sequential imperative programs into parallel data-flow programs. Our algorithm operates on a program dependence graph i...
ECIR
2010
Springer
13 years 8 months ago
2010
Springer
Web pages are often recognized by others through contexts. These contexts determine how linked pages influence and interact with each other. When differentiating such interactions,...