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
13 years 7 days 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 10 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 5 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 ...