4 search results - page 1 / 1 » Eliminating False Loops Caused by Sharing in Control Path |
ISSS
1996
IEEE
13 years 9 months ago
1996
IEEE
IFIP
2010
Springer
12 years 11 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
ICS
2010
Tsinghua U.
13 years 9 months ago
2010
Tsinghua U.
Because of their tremendous computing power and remarkable cost efficiency, GPUs (graphic processing unit) have quickly emerged as an influential computing platform for a broad ...
SIGCOMM
2010
ACM
13 years 4 months ago
2010
ACM
The Internet is organized as a collection of administrative domains, known as Autonomous Systems (ASes). These ASes interact through the Border Gateway Protocol (BGP) that allows ...