Search Sciweavers | Sciweavers

1393 search results - page 63 / 279

» Virtual-Channel Flow Control

click to vote

SAC
2010
ACM

176views Applied Computing» more SAC 2010»

An algorithm to generate the context-sensitive synchronized control flow graph

14 years 2 months ago

Download users.dsic.upv.es

The veriﬁcation of industrial systems speciﬁed with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...

Marisa Llorens, Javier Oliver, Josep Silva, Salvad...

claim paper

Read More »

click to vote

POPL
2010
ACM

206views Programming Languages» more POPL 2010»

Paralocks : Role-Based Information Flow Control and Beyond

14 years 1 months ago

Download www.cse.chalmers.se

Niklas Broberg, David Sands

claim paper

Read More »

click to vote

IFIP
2009
Springer

97views Programming Languages» more IFIP 2009»

Information Flow Control for Cooperation Support in Virtual Enterprises

14 years 1 months ago

Download www.uninova.pt

Peter Bertók, Abdelkamel Tari, Saadia Kedja...

claim paper

Read More »

click to vote

FM
2001
Springer

84views Formal Methods» more FM 2001»

Information Flow Control and Applications - Bridging a Gap

14 years 1 months ago

Download www.mais.informatik.tu-darmstadt.de

Heiko Mantel

claim paper

Read More »

click to vote

ICC
2000
IEEE

82views Communications» more ICC 2000»

A Comparison of Queue Management Algorithms for Intra-Flow Loss Control

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers